11436 search results - page 190 / 2288 » Modeling Real Reasoning |
135
click to vote
PPSWR
2005
Springer
15 years 8 months ago
2005
Springer
The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatability, has severe problems when expressive Semantic Web languages are incorpo...
150
click to vote
PADL
2004
Springer
15 years 8 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
110
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
132
click to vote
UAI
1994
15 years 4 months ago
1994
A logic is de ned that allows to express information about statistical probabilities and about degrees of belief in speci c propositions. By interpreting the twotypes of probabili...
128
click to vote
LOGCOM
2006
15 years 3 months ago
2006
In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The ...