AAAI 1997 | Sciweavers

11

AAAI
1997

123views Intelligent Agents» more AAAI 1997»

James Bond and Michael Ovitz: The Secret Life of Agents

13 years 6 months ago

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

claim paper

Read More »

11

click to vote

AAAI
1997

118views Intelligent Agents» more AAAI 1997»

Efficient Management of Very Large Ontologies

13 years 6 months ago

Download www.aaai.org

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

claim paper

Read More »

9

click to vote

AAAI
1997

148views Intelligent Agents» more AAAI 1997»

Qualitative Rigid Body Mechanics

13 years 6 months ago

Download people.csail.mit.edu

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...

claim paper

Read More »

9

click to vote

AAAI
1997

108views Intelligent Agents» more AAAI 1997»

Smokey: Automatic Recognition of Hostile Messages

13 years 6 months ago

Download people.mills.edu

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

claim paper

Read More »

7

click to vote

AAAI
1997

97views Intelligent Agents» more AAAI 1997»

Detecting Redundant Production Rules

13 years 6 months ago

Download www.aaai.org

James G. Schmolze, Wayne Snyder

claim paper

Read More »

10

click to vote

AAAI
1997

113views Intelligent Agents» more AAAI 1997»

Noise, Non-Determinism and Spatial Uncertainty

13 years 6 months ago

Download www.doc.ic.ac.uk

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

claim paper

Read More »

14

click to vote

AAAI
1997

111views Intelligent Agents» more AAAI 1997»

Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP

13 years 6 months ago

Download www.aaai.org

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

claim paper

Read More »

5

click to vote

AAAI
1997

114views Intelligent Agents» more AAAI 1997»

Real-Time Full-Text Clustering of Networked Documents

13 years 6 months ago

Download ilpubs.stanford.edu

Mehran Sahami, Salim Yusufali, Michelle Q. Wang Ba...

claim paper

Read More »

13

click to vote

AAAI
1997

132views Intelligent Agents» more AAAI 1997»

Ordered Semantic Hyper Linking

13 years 6 months ago

Download www.aaai.org

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

claim paper

Read More »

6

click to vote

AAAI
1997

83views Intelligent Agents» more AAAI 1997»

Stochastic Procedures for Generating Feasible Schedules

13 years 6 months ago