Sciweavers

Share
DAGSTUHL
1990
8 years 11 months ago
Integrating Rules and Connectionism for Robust Reasoning
A connectionist model for robust reasoning, CONSYDERR, is proposed to account for some common reasoning patterns found in commonsense reasoning and to remedy the brittleness probl...
Ron Sun
FLAIRS
2004
8 years 11 months ago
A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus
We present a tool for commonsense reasoning in the classical logic event calculus using satisfiability. We describe the tool, which takes event calculus reasoning problems as inpu...
Erik T. Mueller
CSL
2006
Springer
9 years 1 months ago
Nonmonotonic Logics and Their Algebraic Foundations
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
Miroslaw Truszczynski
ECAI
1998
Springer
9 years 2 months ago
The Complexity of Model Checking for Propositional Default Logics
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
Paolo Liberatore, Marco Schaerf
PRICAI
2004
Springer
9 years 3 months ago
On the Intended Interpretations of Actions
Abstract. In this paper we address the problem of commonsense reasoning about action by appealing to Occam’s razor—we should accept the simplest hypothesis explaining the obser...
Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
KR
2004
Springer
9 years 3 months ago
Multidimensional Mereotopology
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...
Antony Galton
ECAI
2004
Springer
9 years 3 months ago
Simplicity in Solving the Frame Problem
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...
Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
books