On the expressiveness of temporal equilibrium logic
From MaRDI portal
Publication:2835869
DOI10.1007/978-3-319-48758-8_11zbMATH Open1483.68372OpenAlexW2545777596MaRDI QIDQ2835869FDOQ2835869
Authors: Laura Bozzelli, D. Pearce 
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
Recommendations
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Temporal logic (03B44)
Cites Work
- Logic Programming and Nonmonotonic Reasoning
- Equilibrium logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- The complementation problem for Büchi automata with applications to temporal logic
- Logics in Artificial Intelligence
- A logical semantics for description logic programs
- On the complexity of temporal equilibrium logic
- Automata-Based Computation of Temporal Equilibrium Models
- Temporal Equilibrium Logic: A First Approach
- On the Expressive Power of QLTL
- Integrating Temporal Extensions of Answer Set Programming
- Reasoning about actions with Temporal Answer Sets
- A Free Logic for Stable Models with Partial Intensional Functions
Cited In (8)
- Temporal equilibrium logic: a survey
- Adding one or more equivalence relations to the interval temporal logic \(\mathsf{AB}\overline{\mathsf{B}}\)
- On the expressiveness of temporal logic programming
- A normal form for linear temporal equilibrium logic
- Temporal equilibrium logic with past operators
- Title not available (Why is that?)
- On the complexity of temporal equilibrium logic
- Past-present temporal programs over finite traces
Uses Software
This page was built for publication: On the expressiveness of temporal equilibrium logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835869)
