×

zbMATH — the first resource for mathematics

Found 136 Documents (Results 1–100)

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 (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 608-626 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 29-42 (2018).
MSC:  03B53 03B45 03F05
PDF BibTeX XML Cite
Galmiche, Didier (ed.) et al., Automated reasoning. 9th international joint conference, IJCAR 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94204-9/pbk; 978-3-319-94205-6/ebook). Lecture Notes in Computer Science 10900. Lecture Notes in Artificial Intelligence, 1-18 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 475-493 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Baaz, Matthias (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth. Cambridge: Cambridge University Press (ISBN 978-0-521-76144-4/hbk). 307-321 (2011).
MSC:  03A05 03B45 03-03
PDF BibTeX XML Cite
Dress, Andreas (ed.) et al., Combinatorial optimization and applications. First international conference, COCOA 2007, Xi’an, China, August 14–16, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73555-7/pbk). Lecture Notes in Computer Science 4616, 136-145 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Fourth colloquium on mathematics and computer science IV. Algorithms, trees, combinatorics and probabilities. Papers based on the presentations at the colloquium, Nancy, France, September 18–22, 2006. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 161-170, electronic only (2006).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: Link
Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 31-49 (2003).
MSC:  03B45
PDF BibTeX XML Cite
Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 9-30 (2003).
PDF BibTeX XML Cite
Jennings, Nicholas R. (ed.) et al., Intelligent agents VI. Agent theories, architectures, and languages. 6th international workshop, ATAL ’99. Orlando, FL, USA, July 15-17, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1757, 13-26 (2000).
MSC:  03B42 68T30
PDF BibTeX XML Cite
Gabbay, Dov M. (ed.) et al., Practical reasoning. International conference on formal and applied practical reasoning, FAPR ’96, Bonn, Germany, June 3–7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1085, 141-150 (1996).
MSC:  68T27 03B45 03B60
PDF BibTeX XML Cite
Full Text: DOI
Wansing, Heinrich (ed.) et al., Knowledge and belief in philosophy and artificial intelligence. Based on a workshop ‘Modellierung epistemischer Propositionen’, held during the German AI conference in Saarbrücken, Germany, September 20-21, 1994. Berlin: Akademie Verlag. Logica Nova. 87-102 (1995).
PDF BibTeX XML Cite
Ziarko, Wojciech P. (ed.), Rough sets, fuzzy sets and knowledge discovery. Proceedings of the international workshop, RSKD ’93, Banff, Alberta, Canada, 12-15 October 1993. London: Springer-Verlag (in collab. with the British Computer Society). Workshops in Computing. 196-207 (1994).
PDF BibTeX XML Cite
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 301-312 (1991).
MSC:  68T27 68T30 03B45
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