7988 search results - page 358 / 1598 » A Useful Undecidable Theory |
158
click to vote
ICAIL
1995
ACM
15 years 10 months ago
1995
ACM
Eisner v. Macomber, 252 U.S. 189 (1920), a corporate tax case, was the principal illustration of a theory of legal reasoning and legal argumentation proposed more than ten years a...
191
click to vote
CTCS
1987
Springer
15 years 10 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
196
click to vote
AAAI
2008
15 years 9 months ago
2008
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
164
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We report the implementation and evaluation of a Simulation Theory (ST) approach to the Theory of Mind in intelligent graphical agents driven by an affective agent architecture FA...
175
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...