×

zbMATH — the first resource for mathematics

Found 56 Documents (Results 1–56)

100
MathJax
De Vos, Marina (ed.) et al., Technical communications of the 31st international conference on logic programming, ICLP 2015, Cork, Ireland, August 31 – September 4, 2015. Aachen: RWTH Aachen. CEUR Workshop Proc. 1433, 13 p. (2015).
MSC:  68T30 68N17 68T27
PDF BibTeX XML Cite
Full Text: Link
McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8312, 759-775 (2013).
MSC:  68N17 68T27 92D10
PDF BibTeX XML Cite
Full Text: DOI
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 12-32 (2012).
MSC:  68N17 68P15
PDF BibTeX XML Cite
Full Text: DOI
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 240-250, electronic only (2011).
MSC:  68N17 03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI Link
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 175-186, electronic only (2011).
MSC:  68T42 68T37 68N17
PDF BibTeX XML Cite
Full Text: DOI Link
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 192-201, electronic only (2010).
MSC:  68N17 03B48 68T37
PDF BibTeX XML Cite
Full Text: DOI Link
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 54-63, electronic only (2010).
MSC:  68T27 68T05 68N17
PDF BibTeX XML Cite
Full Text: DOI Link
Dix, Jürgen (ed.) et al., Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14976-4/pbk). Lecture Notes in Computer Science 6245. Lecture Notes in Artificial Intelligence, 200-218 (2010).
MSC:  68T27 68Q55 68T42
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, 84-98 (2009).
MSC:  68T42 68N17
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2173, 393-396 (2001).
MSC:  68U99 68N17 68T20
PDF BibTeX XML Cite
Lamma, Evelina (ed.) et al., AI*IA 99: Advances in artificial intelligence. 6th congress of Italian Association for Artificial Intelligence. Bologna, Italy, September 14-17, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1792, 49-60 (2000).
MSC:  68N17 68P15
PDF BibTeX XML Cite
Jaffar, Joxan (ed.), Logic programming. Proceedings of the joint international conference and symposium (JICSLP ’98), Manchester, GB, June 16-19, 1998. 4th joint event for the international conference on Logic programming (ICLP ’98) and the international logic programming symposium (ILPS ’98), and it is the 15th conference in each of the two series of premier international conference on Logic programming. Cambridge, MA: MIT Press. MIT Press Series in Logic Programming. 343-344 (1998).
MSC:  68N17
PDF BibTeX XML Cite
Lecture Notes in Computer Science 927. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. vi, 229 p. (1995).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite
Full Text: DOI
Institute for New Generation Computer Technology (ed.), 5th generation computer systems 1992. International conference, FGCS ’92. Japan 1992, Vol. 2. Amsterdam: IOS Press. 650-657 (1992).
MSC:  68N17 68T27
PDF BibTeX XML Cite
Institute for New Generation Computer Technology (ed.), 5th generation computer systems 1992. International conference, FGCS ’92. Japan 1992, Vol. 2. Amsterdam: IOS Press. 539-545 (1992).
MSC:  68N17 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