An infinitary encoding of temporal equilibrium logic

DOI10.1017/S1471068415000307zbMath1379.68047OpenAlexW2403059872MaRDI QIDQ4593006

Concepción Vidal, Pedro Cabalar, Martín Diéguez

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068415000307

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Temporal logic (03B44)

Related Items (3)

Stable Models for Temporal Theories ⋮ Temporal Answer Set Programming on Finite Traces ⋮ Temporal Here and There

Cites Work

• Equilibrium logic
• MOLOG: A system that extends PROLOG with modal logic
• Logic programs with stable model semantics as a constraint programming paradigm
• Connecting First-Order ASP and the Logic FO(ID) through Reducts
• Temporal Equilibrium Logic: A First Approach
• The Semantics of Predicate Logic as a Programming Language
• Representing action and change by logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Temporal equilibrium logic: a survey
• On the Complexity of Temporal Equilibrium Logic
• Logic Programming and Nonmonotonic Reasoning
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• The sentential calculus with infinitely long expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An infinitary encoding of temporal equilibrium logic