Result 1 to 20 of 711 total
Full hybrid $μ$-calculus, its bisimulation invariance and application to argumentation. (English)
Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 13th international workshop, CLIMA XIII, Montpellier, France, August 27‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32896-1/pbk). Lecture Notes in Computer Science 7486. Lecture Notes in Artificial Intelligence, 181-194 (2012).
1
Affordance-based intention recognition in virtual spatial environments. (English)
Desai, Nirmit (ed.) et al., Principles and practice of multi-agent systems. 13th international conference, PRIMA 2010, Kolkata, India, November 12‒15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25919-7/pbk). Lecture Notes in Computer Science 7057. Lecture Notes in Artificial Intelligence, 304-319 (2012).
2
GOAL agents instantiate intention logic. (English)
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 196-219 (2012).
3
Arguing about preferences and decisions. (English)
McBurney, Peter (ed.) et al., Argumentation in multi-agent systems. 7th international workshop, ArgMAS 2010, Toronto, ON, Canada, May 10, 2010. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-642-21939-9/pbk). Lecture Notes in Computer Science 6614. Lecture Notes in Artificial Intelligence, 68-85 (2011).
4
A formal argumentation framework for deliberation dialogues. (English)
McBurney, Peter (ed.) et al., Argumentation in multi-agent systems. 7th international workshop, ArgMAS 2010, Toronto, ON, Canada, May 10, 2010. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-642-21939-9/pbk). Lecture Notes in Computer Science 6614. Lecture Notes in Artificial Intelligence, 31-48 (2011).
5
A seamless model-based development process for automotive systems. (English)
Reussner, Ralf (ed.) et al., Software Engineering 2011 ‒ Workshopband. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-278-9). Lect. Notes Inform. 184, 79-88 (2011).
6
Reasoning about plan revision in BDI agent programs. (English)
Theor. Comput. Sci. 412, No. 44, 6115-6134 (2011).
7
Validity of a virtual negotiation training. (English)
Vilhjálmsson, Hannes Högni (ed.) et al., Intelligent virtual agents. 11th international conference, IVA 2011, Reykjavik, Iceland, September 15‒17, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23973-1/pbk). Lecture Notes in Computer Science 6895. Lecture Notes in Artificial Intelligence, 435-436 (2011).
8
Toward an ecological approach to interface design for teaching robots. (English)
Groß, Roderich (ed.) et al., Towards autonomous robotic systems. 12th annual conference, TAROS 2011, Sheffield, UK, August 31‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23231-2/pbk). Lecture Notes in Computer Science 6856. Lecture Notes in Artificial Intelligence, 420-421 (2011).
9
Towards information technology security for universal access. (English)
Stephanidis, Constantine (ed.), Universal access in human-computer interaction. Design for all and einclusion. 6th international conference, UAHCI 2011, held as Part of HCI international 2011, Orlando, FL, USA, July 9‒14, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21671-8/pbk). Lecture Notes in Computer Science 6765, 443-451 (2011).
10
Scenario-based training: director’s cut. (English)
Biswas, Gautam (ed.) et al., Artificial intelligence in education. 15th international conference, AIED 2011, Auckland, New Zealand, June 28 ‒ July 2011. Berlin: Springer (ISBN 978-3-642-21868-2/pbk). Lecture Notes in Computer Science 6738. Lecture Notes in Artificial Intelligence, 264-271 (2011).
11
io-port 05924185 Meyer, Johannes;
Schnitzspan, Paul;
Kohlbrecher, Stefan;
Petersen, Karen;
Andriluka, Mykhaylo;
Schwahn, Oliver;
Klingauf, Uwe;
Roth, Stefan;
Schiele, Bernt;
von Stryk, Oskar
A semantic world model for urban search and rescue based on heterogeneous sensors. (English)
Ruiz-del-Solar, Javier (ed.) et al., RoboCup 2010: Robot Soccer World Cup XIV. Berlin: Springer (ISBN 978-3-642-20216-2/pbk). Lecture Notes in Computer Science 6556. Lecture Notes in Artificial Intelligence, 180-193 (2011).
12
Giga-scale multiresolution volume rendering on distributed display clusters. (English)
Ebert, Achim (ed.) et al., Human aspects of visualization. Second IFIP WG 13.7 workshop on human-computer interaction and visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19640-9/pbk). Lecture Notes in Computer Science 6431, 142-162 (2011).
13
Reasoning about agent deliberation. (English)
Auton. Agents Multi-Agent Syst. 22, No. 2, 356-381 (2011).
14
Aesthetics and usability of in-vehicle navigation displays. (English)
Int. J. Hum.-Comput. Stud. 69, No. 1-2, 80-99 (2011).
15
Expanding the model of competitive business strategy for knowledge-based organizations (English)
IJKBO 1, No. 4, 16-31 (2011).
16
The effect of user characteristics on the efficiency of visual querying (English)
Behaviour & IT 30, No. 6, 809-819 (2011).
17
Distanzschutzalgorithmen zur detektion des schaltlichtbogens (Switching arc detection with algorithms for distance protection) (English)
Automatisierungstechnik 59, No. 3, 196-202 (2011).
18
Modeling the behavior of users who are confronted with security mechanisms (English)
Computers & Security 30, No. 4, 242-256 (2011).
19
Incentive-based self-organization for 2 dimensional event tracking (English)
SASO, 51-60 (2011).
20
Result 1 to 20 of 711 total
Start
Contact
Print
General Help
