×

zbMATH — the first resource for mathematics

Found 64 Documents (Results 1–64)

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, 304-320 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Phillips, Iain (ed.) et al., Reversible computation. 9th international conference, RC 2017, Kolkata, India, July 6–7, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-59935-9/pbk; 978-3-319-59936-6/ebook). Lecture Notes in Computer Science 10301, 19-34 (2017).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
SpringerBriefs in Computer Science. Cham: Springer (ISBN 978-3-319-69867-0/pbk; 978-3-319-69868-7/ebook). x, 106 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Brewka, Gerhard (ed.) et al., Nonmonotonic reasoning. Essays celebrating its 30th anniversary. Papers from the conference (NonMon30), Lexington, KY, USA, October 22–25, 2010. London: College Publications (ISBN 978-1-84890-042-4/pbk). Studies in Logic (London) 31, 145-180 (2011).
MSC:  68T27 68T37
PDF BibTeX XML Cite
DISKI. Dissertationen zur Künstlichen Intelligenz 328. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft Aka (ISBN 978-1-60750-098-8/pbk; 978-3-89838-328-8/pbk). xi, 223 p. (2010).
PDF BibTeX XML Cite
Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 376-388 (2003).
MSC:  03B48 03G30 68T27
PDF BibTeX XML Cite
Lecture Notes in Computer Science. 2087. Berlin: Springer. x, 190 p. (2001).
PDF BibTeX XML Cite
Full Text: DOI
Zhong, Ning (ed.) et al., New directions in rough sets, data mining, and granular-soft computing. 7th international workshop, RSFDGrC ’99, Yamaguchi, Japan, November 9-11, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1711, 334-342 (1999).
MSC:  03B70 68T37
PDF BibTeX XML Cite
Goutsias, John (ed.) et al., Random sets. Theory and applications. Proceedings of the IMA workshop, Minneapolis, MN, USA, 1996. New York, NY: Springer. IMA Vol. Math. Appl. 97, 209-242 (1997).
PDF BibTeX XML Cite
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
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 175-185 (1991).
MSC:  68T15 68T27
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