756 search results - page 21 / 152 » Using Logic Programs to Reason about Infinite Sets |
171
Voted
QEST
2010
IEEE
15 years 18 days ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
142
Voted
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...
133
Voted
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...
144
Voted
LPNMR
1993
Springer
15 years 6 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
135
Voted
AAAI
2010
15 years 3 months ago
2010
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...