×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–10)

100
MathJax
Black, Elizabeth (ed.) et al., Theory and applications of formal argumentation. Second international workshop, TAFA 2013, Beijing, China, August 3–5, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-54372-2/pbk). Lecture Notes in Computer Science 8306. Lecture Notes in Artificial Intelligence, 46-62 (2014).
MSC:  68T27 68T42
PDF BibTeX XML Cite
Full Text: DOI
Leite, João (ed.) et al., Computational logic in multi-agent systems. 14th international workshop, CLIMA XIV, Corunna, Spain, September 16–18, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40623-2/pbk). Lecture Notes in Computer Science 8143. Lecture Notes in Artificial Intelligence, 374-390 (2013).
PDF BibTeX XML Cite
Full Text: DOI
De Raedt, Luc (ed.) et al., ECAI 2012. 20th European conference on artificial intelligence, Montpellier, France, August 27–31, 2012. Proceedings. Including proceedings of the 7th conference on prestigious applications of artificial intelligence (PAIS-2012) and the system demonstrations track. Amsterdam: IOS Press (ISBN 978-1-61499-097-0/pbk; 978-1-61499-098-7/ebook). Frontiers in Artificial Intelligence and Applications 242, 342-347 (2012).
MSC:  68T05 68T40
PDF BibTeX XML Cite
Full Text: Link
Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). xx, 425 p. (2012).
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, 222-237 (2006).
MSC:  68T27 03B45 03B60
PDF BibTeX XML Cite
Full Text: DOI
Baral, Chitta (ed.) et al., Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28538-5/pbk). Lecture Notes in Computer Science 3662. Lecture Notes in Artificial Intelligence, 198-210 (2005).
MSC:  68T27 03B60 68T30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
Software