×

zbMATH — the first resource for mathematics

Found 57 Documents (Results 1–57)

100
MathJax
Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 81-115 (2019).
MSC:  03B47
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 798-808 (2016).
MSC:  68T37
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). 239-254 (2014).
MSC:  03B47 03B60
PDF BibTeX XML Cite
Béziau, Jean-Yves (ed.), Universal logic: An anthology. From Paul Hertz to Dov Gabbay. Basel: Birkhäuser (ISBN 978-3-0346-0144-3/pbk; 978-3-0346-0145-0/ebook). Studies in Universal Logic, 3-10 (2012).
PDF BibTeX XML Cite
Ramanujam, R. (ed.) et al., Logic and its applications. Third Indian conference, ICLA 2009, Chennai, India, January 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92700-6/pbk). Lecture Notes in Computer Science 5378. Lecture Notes in Artificial Intelligence, 162-169 (2009).
MSC:  03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Flavio (ed.) et al., Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20–22, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 169, 87-97 (2007).
PDF BibTeX XML Cite
Full Text: Link
Bazzan, Ana L. C. (ed.) et al., Advances in artificial intelligence – SBIA 2004. 17th Brazilian symposium on artificial intelligence, São Luis, Maranhão, Brazil, September 29 – October 1, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23237-0/pbk). Lecture Notes in Computer Science 3171. Lecture Notes in Artificial Intelligence, 21-30 (2004).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Seligman, Jerry (ed.) et al., Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12–15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 58, 121-136 (1996).
Reviewer: M.Urchs (Berlin)
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, 361-374 (1996).
MSC:  68T27 03B47 68T30
PDF BibTeX XML Cite
Full Text: DOI
Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 109-151 (1994).
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