On the expressiveness of temporal equilibrium logic

DOI10.1007/978-3-319-48758-8_11MaRDI QIDQ2835869zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

Recommendations

• On the complexity of temporal equilibrium logic
• Temporal Equilibrium Logic: A First Approach
• A normal form for linear temporal equilibrium logic
• On the expressiveness of temporal logic programming
• Stable Models for Temporal Theories

Cites work

• scientific article; zbMATH DE number 2102709 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A Free Logic for Stable Models with Partial Intensional Functions
• A logical semantics for description logic programs
• Automata-Based Computation of Temporal Equilibrium Models
• Equilibrium logic
• Integrating Temporal Extensions of Answer Set Programming
• Logic Programming and Nonmonotonic Reasoning
• Logics in Artificial Intelligence
• On the Expressive Power of QLTL
• On the complexity of temporal equilibrium logic
• Reasoning about actions with Temporal Answer Sets
• Temporal Equilibrium Logic: A First Approach
• The complementation problem for Büchi automata with applications to temporal logic

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
• scientific article; zbMATH DE number 1059321 (Why is no real title available?)
• On the complexity of temporal equilibrium logic
• Past-present temporal programs over finite traces

Describes a project that uses

Uses Software

• STeLP

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)