×

zbMATH — the first resource for mathematics

Found 4 Documents (Results 1–4)

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

Filter Results by …

Document Type
Year of Publication
Classification