Modular action language

DOI10.1017/S1471068415000095zbMath1379.68297arXiv1505.05022OpenAlexW1755575350MaRDI QIDQ4593024

Daniela Inclezan, Michael Gelfond

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1505.05022

zbMATH Keywords

logic programmingreasoning about actions and changeaction language

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (5)

<scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp> ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Recursive definitions of tabular transformations ⋮ ALM

Uses Software

• Smodels
• oClingo
• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz
• Updating action domain descriptions
• Representing the Zoo World and the Traffic World in the language of the Causal Calculator
• Elaboration tolerance through object-orientation
• A logic of universal causation
• Combining answer set programming with description logics for the semantic web
• Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17--20, 2006. Proceedings
• Transaction Logic with Defaults and Argumentation Theories
• Reactive Answer Set Programming
• Functional answer set programming
• Multivalued Action Languages with Constraints in CLP(FD)
• Representing action and change by logic programs
• The well-founded semantics for general logic programs
• The integration of functions into logic programming: From theory to practice
• A simple declarative language for describing narratives with actions
• Representing actions in logic programs and default theories a situation calculus approach
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Some properties of system descriptions of
• Diagnostic reasoning with A-Prolog
• A logic programming approach to knowledge-state planning
• The DLV system for knowledge representation and reasoning
• ASP with non-herbrand partial functions: a language and system for practical use
• On the stable model semantics for intensional functions
• cr-models: An Inference Engine for CR-Prolog
• Program development by stepwise refinement

This page was built for publication: Modular action language