Stable Models for Temporal Theories
From MaRDI portal
Publication:3449185
DOI10.1007/978-3-319-23264-5_1zbMath1467.68084OpenAlexW2211234402MaRDI QIDQ3449185
Publication date: 4 November 2015
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-23264-5_1
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Temporal logic (03B44)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic-based calculus of events
- A generalization of the Lin-Zhao theorem
- Circumscription - a form of non-monotonic reasoning
- Modality, si! Modal logic, no!
- Logic programs with stable model semantics as a constraint programming paradigm
- Temporal Here and There
- Integrating Temporal Extensions of Answer Set Programming
- Loop Formulas for Splitable Temporal Logic Programs
- Infinitary Equilibrium Logic and Strong Equivalence
- Temporal Equilibrium Logic: A First Approach
- Representing action and change by logic programs
- Ramification and causality in a modal action logic
- Temporal equilibrium logic: a survey
- An infinitary encoding of temporal equilibrium logic
- On the Complexity of Temporal Equilibrium Logic
- Automata-Based Computation of Temporal Equilibrium Models
- A Normal Form for Linear Temporal Equilibrium Logic
- Formalizing action and change in modal logic I: the frame problem
- Propositional theories are strongly equivalent to logic programs
- Quantified Equilibrium Logic and Foundations for Answer Set Programs
- Strongly equivalent logic programs
