×

zbMATH — the first resource for mathematics

Found 146 Documents (Results 1–100)

100
MathJax
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 93-110 (2020).
PDF BibTeX XML Cite
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, 709-725 (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. 123-142 (2018).
MSC:  03B42 03B05
PDF BibTeX XML Cite
Hansen, Helle Hvid (ed.) et al., Logic, language, and computation. 11th international Tbilisi symposium, TbiLLC 2015, Tbilisi, Georgia, September 21–26, 2015. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 10148, 205-228 (2017).
MSC:  03B42
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 (ISBN 978-3-319-40580-3/pbk; 978-3-319-40581-0/ebook). Communications in Computer and Information Science 611, 569-580 (2016).
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., 83-110 (2016).
MSC:  03A05 03B42
PDF BibTeX XML Cite
Full Text: DOI
Roy, Olivier (ed.) et al., Deontic logic and normative systems. 13th international conference, DEON 2016, Bayreuth, Germany, July 18–21, 2016. Proceedings. London: College Publications. 32-48 (2016).
MSC:  03B42 68T27 03B70
PDF BibTeX XML Cite
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 322-341 (2016).
MSC:  03B42 03F05
PDF BibTeX XML Cite
Grzegorzewski, Przemysław (ed.) et al., Strengthening links between data analysis and soft computing. Collected papers based on the presentations at the 7th international conference on soft methods in probability and statistics, SMPS 2014, Warsaw, Poland, September 22–24, 2014. Cham: Springer (ISBN 978-3-319-10764-6/pbk; 978-3-319-10765-3/ebook). Advances in Intelligent Systems and Computing 315, 71-78 (2015).
MSC:  62C10 62F15
PDF BibTeX XML Cite
Full Text: DOI
Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 444, 223-232 (2014).
MSC:  68T30 68T37
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). 569-587 (2014).
MSC:  03B42
PDF BibTeX XML Cite
van Ditmarsch, Hans (ed.) et al., Logic, rationality, and interaction. Third international workshop, LORI 2011, Guangzhou, China, October 10–13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24129-1/pbk). Lecture Notes in Computer Science 6953. Lecture Notes in Artificial Intelligence, 286-299 (2011).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI
Greco, Salvatore (ed.) et al., Preferences and decisions. Models and applications. Papers based on the presentations at the international workshop TRENTO 2009, Trento, Italy, April 6–8, 2009. Dedicated to Professor Mario Fedrizzi on the occasion on his 60th birthday. Berlin: Springer (ISBN 978-3-642-15975-6/hbk; 978-3-642-15976-3/ebook). Studies in Fuzziness and Soft Computing 257, 69-84 (2010).
MSC:  60A86
PDF BibTeX XML Cite
Full Text: DOI
Hosni, Hykel (ed.) et al., Probability, uncertainty and rationality. Pisa: Edizioni della Normale (ISBN 978-88-7642-347-5/hbk). Centro di Ricerca Matematica Ennio De Giorgi (CRM) Series (Nuova Serie) 10, 105-140 (2010).
MSC:  03B48 03A10 03B42
PDF BibTeX XML Cite
Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 5-21 (2006).
MSC:  03B42 68T27 68T42
PDF BibTeX XML Cite
Full Text: DOI
Nielsen, Thomas Dyhre (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 7th European conference, ECSQARU 2003, Aalborg, Denmark, July 2–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40494-5/pbk). Lect. Notes Comput. Sci. 2711, 291-305 (2003).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Benferhat, Salem (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 6th European conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2143, 340-349 (2001).
MSC:  68T37
PDF BibTeX XML Cite
Lecture Notes in Computer Science. 2087. Berlin: Springer. x, 190 p. (2001).
PDF BibTeX XML Cite
Full Text: DOI
McNamara, P. (ed.) et al., Norms, logics and information systems. New studies in deontic logic and computer science. Selected papers of the 4th \(\Delta\)EON workshop, Bologna, Italy, January 8-10, 1998. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 49, 219-230 (1999).
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