3773 search results - page 649 / 755 » Logical Reasoning |
125
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
147
click to vote
AIPRF
2007
15 years 5 months ago
2007
This paper focuses on the foundational role of interactive epistemology in the problem of generating plans for rational agents in multiagent settings. Interactive epistemology dea...
143
click to vote
AAAI
2004
15 years 5 months ago
2004
From a computational perspective, there is a close connection between various probabilistic reasoning tasks and the problem of counting or sampling satisfying assignments of a pro...
128
click to vote
CASCON
2004
15 years 5 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
160
click to vote
WOODPECKER
2001
15 years 5 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...