×

zbMATH — the first resource for mathematics

Found 64 Documents (Results 1–64)

100
MathJax
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-60291-1/pbk; 978-3-662-60292-8/ebook). Lecture Notes in Computer Science 11813, 297-312 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 23, 18 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Yang, Syraya Chin-Mu (ed.) et al., Structural analysis of non-classical logics. The proceedings of the second Taiwan philosophical logic colloquium, TPLC 2014, Taipei, Taiwan, October 24–25, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 253-278 (2016).
MSC:  03B42 03A05
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 52, No. 2, 206-218 (2016); translation from Kibern. Sist. Anal. 2016, No. 2, 37-50 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-30023-8/pbk; 978-3-319-30024-5/ebook). Lecture Notes in Computer Science 9616, 211-234 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Tamir, Dan E. (ed.) et al., Fifty years of fuzzy logic and its applications. Cham: Springer (ISBN 978-3-319-19682-4/hbk; 978-3-319-19683-1/ebook). Studies in Fuzziness and Soft Computing 326, 79-106 (2015).
MSC:  93C42 60A86 60J20
PDF BibTeX XML Cite
Full Text: DOI
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 513-532 (2014).
MSC:  03B42 03B53
PDF BibTeX XML Cite
Beierle, Christoph (ed.) et al., Foundations of information and knowledge systems. 8th international symposium, FoIKS 2014, Bordeaux, France, March 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8367, 97-116 (2014).
MSC:  68T42
PDF BibTeX XML Cite
Full Text: DOI
Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and methods. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part I. Berlin: Springer (ISBN 978-3-642-14054-9/pbk; 978-3-642-14055-6/ebook). Communications in Computer and Information Science 80, 199-208 (2010).
MSC:  68T37 68T20
PDF BibTeX XML Cite
Full Text: DOI
van Benthem, Johan (ed.) et al., The age of alternative logics. Assessing philosophy of logic and mathematics today. Based on the conference on philosophical insights into logic and mathematics, Nancy, France, September 30–October 4, 2002. Dordrecht: Springer (ISBN 978-1-4020-5011-4/hbk; 978-1-4020-5012-7/e-book). Logic, Epistemology, and the Unity of Science 3, 11-23 (2006).
MSC:  03A05 03B42 03B47
PDF BibTeX XML Cite
Giunchiglia, Fausto (ed.), Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA ’98. Sozopol, Bulgaria, September 21–23, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1480, 254-266 (1998).
MSC:  03B42 68T27 03B70
PDF BibTeX XML Cite
Dubois, Didier (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 3: Belief change. Dordrecht: Kluwer Academic Publishers. 311-392 (1998).
MSC:  03B42 68T30 68T35
PDF BibTeX XML Cite
Dubois, Didier (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 3: Belief change. Dordrecht: Kluwer Academic Publishers. 147-188 (1998).
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, 178-192 (1996).
MSC:  03B35 03B42 03B44
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. 152-171 (1996).
MSC:  03B60 03B42 68T27
PDF BibTeX XML Cite
Bimbó, Katalin (ed.) et al., Proceedings of the 4th symposium on logic and language, Budapest, Hungary, August 5-9, 1992. Budapest: Áron Kiadó. 105-120 (1993).
MSC:  03B60
PDF BibTeX XML Cite
Bicchieri, Cristina (ed.) et al., Knowledge, belief and strategic interaction. Papers presented at the workshop, held in Castiglioncello, Italy, June 1989. Cambridge: Cambridge University Press. Cambridge Studies in Probability, Induction, and Decision Theory. 377-396 (1992).
MSC:  91A99
PDF BibTeX XML Cite
Bouchon-Meunier, Bernadette (ed.) et al., Uncertainty in knowledge bases. 3rd international conference on information processing and management of uncertainty in knowlege-based systems, IPMU ’90. Paris, France, July 2-6, 1990. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 521, 2-13 (1991).
MSC:  68T30
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