On the Expressiveness of Temporal Equilibrium Logic

DOI10.1007/978-3-319-48758-8_11zbMath1483.68372OpenAlexW2545777596MaRDI QIDQ2835869

No author found.

Publication date: 30 November 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_11

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items (1)

Temporal Equilibrium Logic with past operators

Uses Software

• STeLP

Cites Work

• Unnamed Item
• Unnamed Item
• Equilibrium logic
• The complementation problem for Büchi automata with applications to temporal logic
• Integrating Temporal Extensions of Answer Set Programming
• A Free Logic for Stable Models with Partial Intensional Functions
• Temporal Equilibrium Logic: A First Approach
• On the Expressive Power of QLTL
• On the Complexity of Temporal Equilibrium Logic
• Automata-Based Computation of Temporal Equilibrium Models
• A Logical Semantics for Description Logic Programs
• Reasoning about actions with Temporal Answer Sets
• Logics in Artificial Intelligence
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: On the Expressiveness of Temporal Equilibrium Logic