1223 search results - page 30 / 245 » A Logic for Reasoning about Evidence |
130
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
113
click to vote
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
112
click to vote
PODS
2007
ACM
16 years 2 months ago
2007
ACM
In a recent paper, Martens et al. introduced a specification mechanism for XML tree languages, based on rules of the form r s, where r, s are regular expressions. Sets of such ru...
158
Voted
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
127
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...