×

zbMATH — the first resource for mathematics

Found 41 Documents (Results 1–41)

100
MathJax
Arló-Costa, Horacio (ed.) et al., Readings in formal epistemology. Sourcebook. Edited with the assistance of Henrik Boensvang and Rasmus K. Rendsvig. Cham: Springer (ISBN 978-3-319-20450-5/hbk; 978-3-319-20451-2/ebook). Springer Graduate Texts in Philosophy 1, 269-302 (2016).
MSC:  03B42 91B06
PDF BibTeX XML Cite
Full Text: DOI
Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 187-205 (2014).
MSC:  03B42
PDF BibTeX XML Cite
Barley, Michael Wayne (ed.) et al., Intelligent agents and multi-agent systems. 7th Pacific Rim international workshop on multi-agents, PRIMA 2004, Auckland, New Zealand, August 8–13, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25340-8/pbk). Lecture Notes in Computer Science 3371. Lecture Notes in Artificial Intelligence, 1-17 (2005).
MSC:  68T27 03B42
PDF BibTeX XML Cite
Full Text: DOI
Fuhrmann, André (ed.) et al., Logic, action, and information. Essays on logic in philosophy and artificial intelligence. Based on a meeting held in autumn 1992 in Konstanz, Germany. Berlin: Walter de Gruyter. 129-151 (1996).
MSC:  03B60
PDF BibTeX XML Cite
Fuhrmann, André (ed.) et al., Logic, action, and information. Essays on logic in philosophy and artificial intelligence. Based on a meeting held in autumn 1992 in Konstanz, Germany. Berlin: Walter de Gruyter. 79-100 (1996).
MSC:  03B60
PDF BibTeX XML Cite
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 387-394 (1991).
MSC:  68T35
PDF BibTeX XML Cite
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 163-174 (1991).
MSC:  68T30
PDF BibTeX XML Cite

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification