8337 search results - page 199 / 1668 » Reasoning With Characteristic Models |
156
click to vote
IJVR
2008
15 years 5 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...
226
click to vote
LPNMR
2011
Springer
14 years 8 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...
173
Voted
ILP
2001
Springer
15 years 9 months ago
2001
Springer
In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...
168
Voted
ICAI
2003
15 years 6 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
130
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...