Some properties of system descriptions of

DOI10.1080/11663081.2013.798954zbMath1400.68207OpenAlexW2047434003MaRDI QIDQ4583309

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

knowledge representationaction languagesanswer set programmingaction and change

Mathematics Subject Classification ID

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

Related Items (5)

Modular action language ⋮ Unnamed Item ⋮ What do you really want to do? Towards a theory of intentions for human-robot collaboration ⋮ plasp 3: Towards Effective ASP Planning ⋮ Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons

Uses Software

• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic causal theories
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic programming with strong negation

This page was built for publication: Some properties of system descriptions of