Temporal disjunctive logic programming
From MaRDI portal
Publication:5929097
DOI10.1007/BF03037535zbMath0973.68028OpenAlexW1984909320MaRDI QIDQ5929097
Manolis Gergatsoulis, Themis Panayiotopoulos, Panos Rondogiannis
Publication date: 17 April 2001
Published in: New Generation Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03037535
Related Items (3)
A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING ⋮ Temporal disjunctive logic programming ⋮ Semantics for Possibilistic Disjunctive Programs
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic-based calculus of events
- Semantics of Horn and disjunctive logic programs
- Reasoning about time in the situation calculus
- Depth-bounded bottom-up evaluation of logic programs
- A fixpoint semantics for disjunctive logic programs
- Towards a unified theory of intensional logic programming
- Representing action and change by logic programs
- GOLOG: A logic programming language for dynamic domains
- Representing actions: Laws, observations and hypotheses
- Branching-time logic programming: the language Cactus and its applications
- Temporal disjunctive logic programming
This page was built for publication: Temporal disjunctive logic programming