3776 search results - page 276 / 756 » Partition-Based Logical Reasoning |
171
click to vote
DLOG
2011
14 years 8 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...
136
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
140
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
133
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
162
click to vote
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...