AAAI
1997
14 years 1 months ago
1997
AAAI
1997
14 years 1 months ago
1997
We consider the problem of ramifications, i.e., indirect effects of actions, having exceptions. It is argued that straightforward minimization of abnormality is insufficient in th...
AAAI
1997
14 years 1 months ago
1997
Teamwork in complex, dynamic, multi-agent domains mandates highly flexible coordination and communication. Simply fitting individual agents with precomputed coordination plans w...
AAAI
1997
14 years 1 months ago
1997
As agents populate Cyberspace in their many guises and roles, they coordinate and interact in different ways, spanning self-interested, as well as collaborative interactions. Agen...
AAAI
1997
14 years 1 months ago
1997
This paper describes an environment for supporting very large ontologies. The system can be used on single PCs, workstations, a cluster of workstations, and high-end parallel supe...
AAAI
1997
14 years 1 months ago
1997
We present a theory of qualitative rigid body mechanics and describe a program that uses this theory to compute qualitative dynamic simulations.1 The program works directly from a...
AAAI
1997
14 years 1 months ago
1997
Abusive messages (flames) can be both a source of frustration and a waste of time for Internet users. This paper describes some approaches to flame recognition, including a protot...
AAAI
1997
14 years 1 months ago
1997
AAAI
1997
14 years 1 months ago
1997
This paper presents a logical account of sensor data assimilation in a mobile robot, based on abduction. Unlike previous work, the present formulation handles sensor noise as well...
AAAI
1997
14 years 1 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...