Temporal disjunctive logic programming

DOI10.1007/BF03037535MaRDI QIDQ5929097zbMATH OpenOpenAlexFDO

Authors Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos

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)

Recommendations

• Foundations of linear-time logic programming
• scientific article; zbMATH DE number 4119669
• Dealing with multiple granularity of time in temporal logic programming
• scientific article; zbMATH DE number 54243

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 88998 (Why is no real title available?)
• scientific article; zbMATH DE number 1536571 (Why is no real title available?)
• scientific article; zbMATH DE number 1368932 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• A fixpoint semantics for disjunctive logic programs
• A logic-based calculus of events
• Branching-time logic programming: the language Cactus and its applications
• Depth-bounded bottom-up evaluation of logic programs
• GOLOG: A logic programming language for dynamic domains
• Reasoning about time in the situation calculus
• Representing action and change by logic programs
• Representing actions: Laws, observations and hypotheses
• Semantics of Horn and disjunctive logic programs
• Temporal disjunctive logic programming
• Towards a unified theory of intensional logic programming

Cited in

(6)

• Towards Temporal Contextual Logic Programming
• Temporal disjunctive logic programming
• Temporal logic programs with variables
• Extending Temporal Logic Programming with Choice Predicates Non-determinism
• Semantics for possibilistic disjunctive programs
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

Describes a project that uses

Uses Software

• Datalog
• CACTUS

This page was built for publication: Temporal disjunctive logic programming

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