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

DOI10.1007/978-3-642-30743-0MaRDI QIDQ428469zbMATH OpenOpenAlexFDO

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)

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

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)