An infinitary encoding of temporal equilibrium logic

DOI10.1017/S1471068415000307zbMATH Open1379.68047OpenAlexW2403059872MaRDI QIDQ4593006FDOQ4593006

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

Recommendations

• Temporal Equilibrium Logic: A First Approach
• On the complexity of temporal equilibrium logic
• Temporal equilibrium logic: a survey
• A normal form for linear temporal equilibrium logic
• Integrating Temporal Extensions of Answer Set Programming

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Temporal Here and There
• Stable Models for Temporal Theories
• Temporal Answer Set Programming on Finite Traces
• Title not available (Why is that?)
• Temporal Equilibrium Logic: A First Approach

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593006)