Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
From MaRDI portal
Publication:428469
DOI10.1007/978-3-642-30743-0zbMath1241.68016OpenAlexW4253659688MaRDI QIDQ428469
No author found.
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
Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30)
Related Items (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 ⋮ 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
