# zbMATH — the first resource for mathematics

## Found 37 Documents (Results 1–37)

100
MathJax
Full Text:
Full Text:
MSC:  68T27
Full Text:
MSC:  68T27 68N17 94A62
Full Text:
Lecture Notes in Computer Science 8249. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-319-03523-9/pbk). xvii, 540 p. (2013).
MSC:  68-06 68Txx 00B25
Full Text:
Lecture Notes in Computer Science 8291. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-44926-0/pbk). xviii, 536 p. (2013).
MSC:  68-06 68T42 00B25
Full Text:
MSC:  68T37 68T42
Full Text:
MSC:  68T30 68T37 68T42
Full Text:
MSC:  68T27 68T30
Full Text:
Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 16-30 (2012).
MSC:  68T27 03B45
Full Text:
MSC:  68T27 68T42
Full Text:
Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). xv, 383 p. (2011).
Full Text:
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 74-85 (2011).
MSC:  68T37
Full Text:
Governatori, Guido (ed.) et al., Deontic logic in computer science. 10th international conference, DEON 2010, Fiesole, Italy, July 7–9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14182-9/pbk). Lecture Notes in Computer Science 6181. Lecture Notes in Artificial Intelligence, 196-213 (2010).
MSC:  68T27 03B45
Full Text:
MSC:  03B42 68T27 68T42
Full Text:
MSC:  68T42 03B45 68T27
Full Text:
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. Third IPM international conference, FSEN 2009, Kish Island, Iran, April 15–17, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11622-3/pbk). Lecture Notes in Computer Science 5961, 402-415 (2010).
MSC:  68N19
Full Text:
MSC:  91D30 68T42
Full Text:
MSC:  68T27
Full Text:
Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 107-118 (2009).
MSC:  91A44 68T27 91A26
Full Text:
MSC:  68T27 91A12
Full Text:
MSC:  68T27
Full Text:
Burkhard, Hans-Dieter (ed.) et al., Multi-agent systems and applications V. 5th international Central and Eastern European conference on multi-agent systems, CEEMAS 2007, Leipzig, Germany, September 25–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75253-0/pbk). Lecture Notes in Computer Science 4696. Lecture Notes in Artificial Intelligence, 42-51 (2007).
MSC:  68T27
Full Text:
Toni, Francesca (ed.) et al., Computational logic in multi-agent systems. 6th international workshop, CLIMA VI, London, UK, June 27–29, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-33996-5/pbk). Lecture Notes in Computer Science 3900. Lecture Notes in Artificial Intelligence, 303-319 (2006).
MSC:  68T42 68T27 68T30
Full Text:
Parsons, Simon (ed.) et al., Argumentation in multi-agent systems. Second international workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-36355-6/pbk). Lecture Notes in Computer Science 4049. Lecture Notes in Artificial Intelligence, 29-41 (2006).
MSC:  68T42 03B45 68T27
Full Text:
Goble, Lou (ed.) et al., Deontic logic and artificial normative systems. 8th international workshop on deontic logic in computer science, DEON 2006, Utrecht, The Netherlands, July 12–14, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35842-0/pbk). Lecture Notes in Computer Science 4048. Lecture Notes in Artificial Intelligence, 36-52 (2006).
MSC:  68T27 03B45 03B60
Full Text:
Goble, Lou (ed.) et al., Deontic logic and artificial normative systems. 8th international workshop on deontic logic in computer science, DEON 2006, Utrecht, The Netherlands, July 12–14, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35842-0/pbk). Lecture Notes in Computer Science 4048. Lecture Notes in Artificial Intelligence, 24-35 (2006).
MSC:  68T27 03B45 03B60
Full Text:
Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 141, No. 5, 135-162 (2005).
MSC:  68T42 03B45 68T27
Full Text:
Bandini, Stefania (ed.) et al., AI$${}^*$$IA 2005: advances in artificial intelligence. 9th congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29041-9/pbk). Lecture Notes in Computer Science 3673. Lecture Notes in Artificial Intelligence, 86-97 (2005).
MSC:  68T99
Full Text:
Lomuscio, Alessio (ed.) et al., Deontic logic in computer science. 7th international workshop on deontic logic in computer science, DEON 2004, Madeira, Portugal, May 26–28, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22111-5/pbk). Lecture Notes in Computer Science 3065. Lecture Notes in Artificial Intelligence, 29-42 (2004).
MSC:  68T27 03B45
Full Text:
Zhong, Ning (ed.) et al., Foundations of intelligent systems. 14th international symposium, ISMIS 2003, Maebashi City, Japan, October 28–31, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20256-0/pbk). Lecture Notes in Computer Science 2871. Lecture Notes in Artificial Intelligence, 618-622 (2003).
MSC:  68T35
Scott, Donia (ed.), Artificial intelligence: methodology, systems, and applications. 10th international conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2443, 183-192 (2002).
MSC:  68U99 68T20
Full Text:
Kuwabara, Kazuhiro (ed.) et al., Intelligent agents and multi-agent systems. 5th Pacific Rim international workshop on multi-agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2413, 1-17 (2002).
MSC:  68U99 68T99
Full Text:
Matoušek, Václav (ed.) et al., Text, speech and dialogue. 4th international conference, TSD 2001, Železná Ruda, Czech Republic, September 11-13, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2166, 381-387 (2001).
MSC:  68U99 68T50
Full Text:
Esposito, Floriana (ed.), AI*IA 2001: Advances in artificial intelligence. 7th congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2175, 225-236 (2001).
MSC:  68T01
Full Text:
Akman, Varol (ed.) et al., Modeling and using context. 3rd international and interdisciplinary conference, CONTEXT 2001, Dundee, GB, July 27-30, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2116, 413-416 (2001).
MSC:  68U99 68U20
Full Text:
Jennings, Nicholas R. (ed.) et al., Intelligent agents VI. Agent theories, architectures, and languages. 6th international workshop, ATAL ’99. Orlando, FL, USA, July 15-17, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1757, 319-333 (2000).
MSC:  68U99 68T99

all top 5
all top 3