×

zbMATH — the first resource for mathematics

Found 68 Documents (Results 1–68)

100
MathJax
Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 364-380 (2021).
MSC:  68T40 68T20
PDF BibTeX XML Cite
Full Text: DOI
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 189-208 (2019).
MSC:  03C13 68W40
PDF BibTeX XML Cite
Full Text: DOI
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 450-462 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 94-106 (2012).
MSC:  68T27 03B42 68T20
PDF BibTeX XML Cite
Full Text: DOI
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, 179-192 (2011).
MSC:  03B42 03B60
PDF BibTeX XML Cite
Full Text: DOI
Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 347-363 (2011).
MSC:  68T42 68T20
PDF BibTeX XML Cite
Full Text: DOI
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 737-748 (2011).
MSC:  68P15 91F10
PDF BibTeX XML Cite
Full Text: DOI
Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 99-114 (2009).
MSC:  68T42 68N17
PDF BibTeX XML Cite
Full Text: DOI
Baldoni, Matteo (ed.) et al., Declarative agent languages and technologies VI. 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-93919-1/pbk). Lecture Notes in Computer Science 5397. Lecture Notes in Artificial Intelligence, 215-232 (2009).
MSC:  68T42 03B44
PDF BibTeX XML Cite
Full Text: DOI

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