Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz

DOI10.1007/978-3-642-30743-0zbMATH Open1241.68016OpenAlexW4253659688MaRDI QIDQ428469FDOQ428469

Authors:

Publication date: 22 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30743-0

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in artificial intelligence (68T27)

Cited In (12)

• ASP with non-herbrand partial functions: a language and system for practical use
• Proving infinitary formulas
• Representing hybrid automata by action language modulo theories
• Abstract gringo
• Program completion in the input language of GRINGO
• Minimal intervention strategies in logical signaling networks with ASP
• Temporal answer set programming on finite traces
• Programming in logic without logic programming
• Rewriting recursive aggregates in answer set programming: back to monotonicity
• Modular action language \(\mathcal{ALM}\)
• Detection and exploitation of functional dependencies for model generation
• Stable models for infinitary formulas with extensional atoms

This page was built for publication: Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q428469)