A Normal Form for Linear Temporal Equilibrium Logic

DOI10.1007/978-3-642-15675-5_8zbMath1306.68186OpenAlexW1568211702MaRDI QIDQ4930755

Pedro Cabalar

Publication date: 1 October 2010

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15675-5_8

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Temporal logic (03B44)

Related Items (3)

Stable Models for Temporal Theories ⋮ Temporal equilibrium logic: a survey ⋮ Towards Metric Temporal Answer Set Programming

Uses Software

• Unnamed Item

This page was built for publication: A Normal Form for Linear Temporal Equilibrium Logic