scientific article; zbMATH DE number 4119669

MaRDI QIDQ4733441zbMATH OpenFDO

Authors Dov Gabbay

Publication date 1987

zbMATH Keywords

temporal logic programmingTemporal Prologmodal logic programming

Mathematics Subject Classification ID

Artificial intelligence (68T99) Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• Temporal logic programming
• A Temporal extension of Prolog
• scientific article; zbMATH DE number 4081517
• scientific article; zbMATH DE number 4119670
• Temporal logic CTL \(+\) Prolog

Cited in

(20)

• An infinitary encoding of temporal equilibrium logic
• Model Theoretic Syntax and Parsing
• The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic
• On temporal logic S4Dbr
• Abstract minimality and circumscription
• Temporal disjunctive logic programming
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
• Extending Temporal Logic Programming with Choice Predicates Non-determinism
• Temporal logic programming
• scientific article; zbMATH DE number 65739 (Why is no real title available?)
• Programming in metric temporal logic
• scientific article; zbMATH DE number 4119672 (Why is no real title available?)
• scientific article; zbMATH DE number 4081517 (Why is no real title available?)
• scientific article; zbMATH DE number 1536571 (Why is no real title available?)
• scientific article; zbMATH DE number 1522996 (Why is no real title available?)
• Modality and interrupts
• Extensions of the branching-time logic programming language CACTUS
• A Temporal extension of Prolog
• Temporal logic CTL \(+\) Prolog
• Multi-modal logic programming using equational and order-sorted logic

This page was built for publication:

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