×

zbMATH — the first resource for mathematics

Found 76 Documents (Results 1–76)

100
MathJax
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11468, 231-246 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 404-414, electronic only (2012).
MSC:  68T30 68T05 90B35
PDF BibTeX XML Cite
Full Text: DOI
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, 103-122 (2012).
MSC:  68T27 68N17
PDF BibTeX XML Cite
Full Text: DOI
Zhang, Shichao (ed.) et al., AI 2005: Advances in artificial intelligence. 18th Australian joint conference on artificial intelligence, Sydney, Australia, December 5–9, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30462-2/pbk). Lecture Notes in Computer Science 3809. Lecture Notes in Artificial Intelligence, 60-69 (2005).
MSC:  68T20 68T05
PDF BibTeX XML Cite
Full Text: DOI
Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 207-225 (2005).
PDF BibTeX XML Cite
Vouros, George A. (ed.) et al., Methods and applications of artificial intelligence. Third Hellenic conference on AI, SETN 2004, Samos, Greece, May 5–8, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21937-4/pbk). Lecture Notes in Computer Science 3025. Lecture Notes in Artificial Intelligence, 331-341 (2004).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
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, 237-248 (2001).
MSC:  03B44 68T27
PDF BibTeX XML Cite
Full Text: Link
Pichler, Franz (ed.) et al., Computer aided systems theory - EUROCAST ’99. A selection of papers from the 7th international workshop, Vienna, Austria, September 29 - October 2, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1798, 105-115 (2000).
MSC:  68U99 68Q85
PDF BibTeX XML Cite
Gelfond, Michael (ed.) et al., Logic programming and nonmonotonic reasoning. 5th international conference, LPNMR ’99. El Paso, TX, USA, December 2-4, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1730, 78-91 (1999).
PDF BibTeX XML Cite
Oxford: Clarendon Press. xvi, 611 p. (1995).
PDF BibTeX XML Cite
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 313-324 (1991).
MSC:  68T27 03B48
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software