Sciweavers

159 search results - page 11 / 32
» aaai 1998
Sort
View
AAAI
1998
14 years 11 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
AAAI
1998
14 years 11 months ago
Hermes: Supporting Argumentative Discourse in Multi-Agent Decision Making
This paper describes HERMES,a system that enhances group decision making by providing an argumentation frameworkto the agents involved. Thesystem organizes the existing knowledgei...
Nikos I. Karacapilidis, Dimitris Papadias
AAAI
1998
14 years 11 months ago
Managing Multiple Tasks in Complex, Dynamic Environments
Sketchy planners are designed to achieve goals in realistically complex, time-pressured, and uncertain task environments. However, the ability to manage multiple, potentially inte...
Michael Freed
AAAI
1998
14 years 11 months ago
A Fuzzy Description Logic
In this paper we present a fuzzy version of SHOIN(D), the corresponding Description Logic of the ontology description language OWL DL. We show that the representation and reasonin...
Umberto Straccia
AAAI
1998
14 years 11 months ago
Learning Evaluation Functions for Global Optimization and Boolean Satisfiability
This paper describes STAGE, a learning approach to automatically improving search performance on optimization problems.STAGElearns an evaluation function which predicts the outcom...
Justin A. Boyan, Andrew W. Moore