Some properties of system descriptions of AL_d

DOI10.1080/11663081.2013.798954MaRDI QIDQ4583309zbMATH OpenOpenAlexFDO

Authors Daniela Inclezan, Michael Gelfond

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2013.798954

zbMATH Keywords

action and changeaction languagesanswer set programmingknowledge representation

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Two components of an action language
• KI 2003: Advances in Artificial Intelligence
• Action language Hybrid AL
• scientific article; zbMATH DE number 1929151
• Modular action language \(\mathcal{ALM}\)

Cites work

• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programming with strong negation
• Nonmonotonic causal theories
• Reasoning agents in dynamic domains

Cited in

(8)

• What do you really want to do? Towards a theory of intentions for human-robot collaboration
• Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
• Modular action language \(\mathcal{ALM}\)
• plasp 3: towards effective ASP planning
• A human-centered data-driven planner-actor-critic architecture via logic programming
• Plan selection framework for policy-aware autonomous agents
• An ASP framework for the refinement of authorization and obligation policies
• Knowledge-based reasoning and learning under partial observability in ad hoc teamwork

Describes a project that uses

Uses Software

• CCalc

This page was built for publication: Some properties of system descriptions of \(\mathcal{AL}_d\)

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