Alan: An action language for modelling non-Markovian domains

DOI10.1007/S11225-005-0498-5zbMath1101.68856OpenAlexW1977501780MaRDI QIDQ2574883

Michael Gelfond, Graciela Adriana González, Chitta R. Baral

Publication date: 2 December 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-0498-5

zbMATH Keywords

specification of systems

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items (1)

Non-Markovian control in the Situation Calculus

Uses Software

• Smodels

Cites Work

• Non-Markovian control in the Situation Calculus
• On the correctness of unfold/fold transformation of normal and extended logic programs
• Representing action and change by logic programs
• Representing actions: Laws, observations and hypotheses
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Unnamed Item
• Unnamed Item

This page was built for publication: Alan: An action language for modelling non-Markovian domains