2291 search results - page 85 / 459 » Representational Reasoning and Verification |
CONTEXT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Context-aware systems must be able to deal with uncertain context information. We propose a generic context architecture and representation that incorporates the uncertai...
CAV
2010
Springer
14 years 25 days 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...
AMAI
2004
Springer
14 years 20 days ago
2004
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...
IJCAI
1997
13 years 10 months ago
1997
The objective of this work is to interpret inductive results obtained by the unsupervised learning method OSHAM. We briefly introduce the learning process of OSHAM, that extracts ...
AI
2002
Springer
13 years 8 months ago
2002
Springer
We present different constructions for non-prioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept...