2308 search results - page 191 / 462 » Representing Symbolic Reasoning |
158
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
Interpretation of Proofs: Classical Propositional Calculus Martin Hyland DPMMS, Centre for Mathematical Sciences, University of Cambridge, England Representative abstract interpret...
179
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilist...
148
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present an approach to agents that can reason, react to the environment and are able to update their own knowledge as a result of new incoming information. Each agents...
172
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
188
click to vote
ISMVL
1991
IEEE
15 years 10 months ago
1991
IEEE
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...