×

zbMATH — the first resource for mathematics

Found 848 Documents (Results 1–100)

100
MathJax
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 211-228 (2019).
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, 794-802 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
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, 85-101 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2017. Proceedings of the 31st annual international symposium Logica, Hejnice Monastery, Czech Republic, June 19–23, 2017. London: College Publications. 109-123 (2018).
MSC:  03B47
PDF BibTeX XML Cite
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 196-213 (2018).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 53-67 (2017).
MSC:  03B47 03F52
PDF BibTeX XML Cite
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-61659-9/pbk; 978-3-319-61660-5/ebook). Lecture Notes in Computer Science 10377. Lecture Notes in Artificial Intelligence, 160-175 (2017).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3–6, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-61659-9/pbk; 978-3-319-61660-5/ebook). Lecture Notes in Computer Science 10377. Lecture Notes in Artificial Intelligence, 85-100 (2017).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Full Text: DOI
Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 418-432 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 392-405 (2016).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 87-105 (2016).
MSC:  03B60
PDF BibTeX XML Cite
Black, Elizabeth (ed.) et al., Theory and applications of formal argumentation. Third international workshop, TAFA 2015, Buenos Aires, Argentina, July 25–26, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-28459-0/pbk; 978-3-319-28460-6/ebook). Lecture Notes in Computer Science 9524. Lecture Notes in Artificial Intelligence, 92-111 (2015).
MSC:  68T27 68T42
PDF BibTeX XML Cite
Full Text: DOI
Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23263-8/pbk; 978-3-319-23264-5/pbk). Lecture Notes in Computer Science 9345. Lecture Notes in Artificial Intelligence, 565-571 (2015).
MSC:  68N17 68T27
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, 385-407 (2015).
MSC:  03B48 03B05 03B60
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 202-217 (2015).
MSC:  68T27 68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9060, 112-124 (2015).
MSC:  68T27 03B25 68T30
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, 446-455 (2014).
MSC:  68T27 68T37
PDF BibTeX XML Cite
Full Text: DOI
Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 282-296 (2014).
MSC:  03B42
PDF BibTeX XML Cite
Full Text: DOI
Studienbücher Informatik. Wiesbaden: Springer Vieweg (ISBN 978-3-8348-1887-4/pbk; 978-3-8348-2295-6/ebook). xii, 232 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software