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

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

Mathematics Subject Classification ID

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