A logic-based calculus of events
New Generation Computing
Nonmonotonic logic and temporal projection
Artificial Intelligence
Representations of commonsense knowledge
Representations of commonsense knowledge
Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Proceedings of the eleventh international conference on Logic programming
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Answer set programming and plan generation
Artificial Intelligence
Nested expressions in logic programs
Annals of Mathematics and Artificial Intelligence
A New Logical Characterisation of Stable Models and Answer Sets
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Reasoning about Dynamic Depth Profiles
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
System f2lp --- Computing Answer Sets of First-Order Formulas
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Strings and holes: an exercise on spatial reasoning
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Representation for knot-tying tasks
IEEE Transactions on Robotics
Artificial Intelligence
Learning spatial relationships between objects
International Journal of Robotics Research
Biological, computational and robotic connections with Kant's theory of mathematical knowledge
AI Communications - ECAI 2012 Turing and Anniversary Track
| Hi-index | 0.00 |
This paper investigates the challenging problem of encoding the common sense knowledge involved in the manipulation of spatial objects from a reasoning about actions and change perspective. In particular, we propose a formal solution to a puzzle composed of non-trivial objects (such as holes and strings) assuming a version of the Situation Calculus written over first-order Equilibrium Logic, whose models generalise the stable model semantics.