Non-terminating processes in the situation calculus

DOI10.1007/S10472-019-09643-9MaRDI QIDQ2188782zbMATH OpenOpenAlexWikidataFDO

Authors Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter

Publication date 11 June 2020

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2627

zbMATH Keywords

knowledge representationsituation calculusformal verificationreasoning about actionsinductive definitionsConGolog programsGolog programs

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• On the verification of very expressive temporal properties of non-terminating Golog programs
• scientific article; zbMATH DE number 6606377
• Non-Markovian control in the Situation Calculus
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 3995083

Cites work

• scientific article; zbMATH DE number 44976 (Why is no real title available?)
• scientific article; zbMATH DE number 49477 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1302017 (Why is no real title available?)
• scientific article; zbMATH DE number 517333 (Why is no real title available?)
• scientific article; zbMATH DE number 1142324 (Why is no real title available?)
• scientific article; zbMATH DE number 1142325 (Why is no real title available?)
• scientific article; zbMATH DE number 2088150 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 1390352 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3349291 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Ability and knowing how in the situation calculus
• Abstract interpretation and application to logic programs
• Bounded situation calculus action theories
• ConGolog, a concurrent programming language based on the situation calculus
• Description logic knowledge and action bases
• Elementary induction on abstract structures
• First-order -calculus over generic transition systems and applications to the situation calculus
• GOLOG: A logic programming language for dynamic domains
• LTL verification of online executions with sensing in bounded situation calculus
• On the semantics of deliberation in IndiGolog -- from theory to implementation
• Progression and verification of situation calculus agents with bounded beliefs
• Property persistence in the situation calculus
• Verification of agent-based artifact systems
• Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions
• Verifying Properties of Infinite Sequences of Description Logic Actions

Cited in

(5)

• A framework for belief-based programs and their verification
• scientific article; zbMATH DE number 4047057 (Why is no real title available?)
• On the verification of very expressive temporal properties of non-terminating Golog programs
• scientific article; zbMATH DE number 3995083 (Why is no real title available?)
• Kleene star, subexponentials without contraction, and infinite computations

Describes a project that uses

Uses Software

• GOLOG
• ConGolog

This page was built for publication: Non-terminating processes in the situation calculus

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