169 search results - page 14 / 34 » aaai 2000 |
AAAI
2000
14 years 11 months ago
2000
There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting argu...
AAAI
2000
14 years 11 months ago
2000
Certain problems in connection with, for example, cooperating agents and distributed systems require reasoning about time which is measured on incomparable or unsynchronized time ...
AAAI
2000
14 years 11 months ago
2000
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
76
Voted
AAAI
2000
14 years 11 months ago
2000
Many artists are intrigued by the creative possibilities presented to them by virtual worlds populated with autonomous agents. Artists wishing to explore these possibilities face ...
AAAI
2000
14 years 11 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...