Sciweavers

AAAI
1997
14 years 26 days ago
James Bond and Michael Ovitz: The Secret Life of Agents
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...
Katia P. Sycara
AAAI
1997
14 years 26 days ago
Efficient Management of Very Large Ontologies
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...
Kilian Stoffel, Merwyn G. Taylor, James A. Hendler
AAAI
1997
14 years 26 days ago
Qualitative Rigid Body Mechanics
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...
Thomas F. Stahovich, Randall Davis, Howard E. Shro...
AAAI
1997
14 years 26 days ago
Smokey: Automatic Recognition of Hostile Messages
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...
Ellen Spertus
AAAI
1997
14 years 26 days ago
Detecting Redundant Production Rules
James G. Schmolze, Wayne Snyder
AAAI
1997
14 years 26 days ago
Noise, Non-Determinism and Spatial Uncertainty
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...
Murray Shanahan
AAAI
1997
14 years 26 days ago
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP
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...
Rahul Roy-Chowdhury, Mukesh Dalal
AAAI
1997
14 years 26 days ago
Real-Time Full-Text Clustering of Networked Documents
Mehran Sahami, Salim Yusufali, Michelle Q. Wang Ba...
AAAI
1997
14 years 26 days ago
Ordered Semantic Hyper Linking
In this paper, we present a novel first order theorem proving strategy - ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational th...
David A. Plaisted, Yunshan Zhu