11436 search results - page 320 / 2288 » Modeling Real Reasoning |
229
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
219
click to vote
DLOG
2008
15 years 9 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
183
click to vote
AAAI
1990
15 years 8 months ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...
192
click to vote
IJVR
2008
15 years 7 months ago
2008
This paper describes the architecture for a virtual agent and the implementation of its Affection Module. A novel affective model is proposed based on Probabilistic Fuzzy Cognitive...
285
click to vote
LPNMR
2011
Springer
14 years 10 months ago
2011
Springer
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...