Attributive concept descriptions with complements
Artificial Intelligence
From constructivism to computer science
Theoretical Computer Science
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
ASSAT: computing answer sets of a logic program by SAT solvers
Artificial Intelligence - Special issue on nonmonotonic reasoning
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Integrating Action Calculi and Description Logics
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Snapshot Generation in a Constructive Object-Oriented Modeling Language
Logic-Based Program Synthesis and Transformation
A Constructive Object Oriented Modeling Language for Information Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Following the approaches given in recent works about action languages over description logics, we propose an action formalism based on a constructive information terms semantics for ALC. We discuss how a notion of state can be naturally encoded by this semantics. We address the problems of determining executability of an action, building the state obtained by an action application and checking its consistency: we present an algorithm to solve the latter two problems.