×

zbMATH — the first resource for mathematics

Found 41 Documents (Results 1–41)

100
MathJax
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
Å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
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). xv, 383 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16–20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 555-560 (2010).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: Link
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
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
Full Text: DOI
Cappelli, Amedeo (ed.) et al., AI*IA 2003: Advances in artificial intelligence. 8th congress of the Italian association for artificial intelligence, Pisa, Italy, September 23–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20119-X/pbk). Lect. Notes Comput. Sci. 2829, 27-38 (2003).
MSC:  03B45 03A05
PDF BibTeX XML Cite
Full Text: DOI
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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: Link
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
PDF BibTeX XML Cite
Full Text: Link
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
PDF BibTeX XML Cite
Full Text: Link
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
PDF BibTeX XML Cite
Full Text: Link