KI 2003: Advances in Artificial Intelligence

DOI10.1007/B13477MaRDI QIDQ5897302zbMATH OpenOpenAlexFDO

Authors Ozan Kahramanoğulları, Michael Thielscher

Publication date 3 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b13477

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A Fluent Calculus Semantics for ADL with Plan Constraints
• scientific article; zbMATH DE number 1231609
• scientific article; zbMATH DE number 1696832
• scientific article; zbMATH DE number 1748588
• The concurrent, continuous fluent calculus
• A formal framework for specifying sequent calculus proof systems
• A functional calculus for specification and verification of nondeterministic interactive systems
• scientific article; zbMATH DE number 1696781

Cited in

(3)

• scientific article; zbMATH DE number 1748588 (Why is no real title available?)
• Some properties of system descriptions of \(\mathcal{AL}_d\)
• A history based approximate epistemic action theory for efficient postdictive reasoning

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: KI 2003: Advances in Artificial Intelligence

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