Temporal disjunctive logic programming

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

zbMATH Keywords

Disjunctive Chronolog

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items (3)

A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING ⋮ Temporal disjunctive logic programming ⋮ Semantics for Possibilistic Disjunctive Programs

Uses Software

• CACTUS
• Datalog

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