Sciweavers

ECAI
2000
Springer
14 years 3 days ago
Plan Recognition through Goal Graph Analysis
We present a novel approach to plan recognition based on a two-stage paradigm of graph construction and analysis. First, a graph structure called a Goal Graph is constructed to rep...
Jun Hong
ECAI
2000
Springer
14 years 3 days ago
Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis
We introduce here the notions of identity and unity as they have been discussed in Philosophy, and then provide additional clarifications needed to use these notions as fundamental...
Nicola Guarino, Christopher A. Welty
ECAI
2000
Springer
14 years 3 days ago
An Embedding of ConGolog in 3APL
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
Koen V. Hindriks, Yves Lespérance, Hector J...
ECAI
2000
Springer
14 years 3 days ago
Architecture for Agent Programming Languages
As the field of agent-based systems continues to expand rapidly, one of the most significant problems lies in being able to compare and evaluate the relative benefits and disad...
Koen V. Hindriks, Mark d'Inverno, Michael Luck
ECAI
2000
Springer
14 years 3 days ago
Turning High-Level Plans into Robot Programs in Uncertain Domains
The actions of a robot like lifting an object are often best thought of as low-level processes with uncertain outcome. A highlevel robot plan can be seen as a description of a task...
Henrik Grosskreutz, Gerhard Lakemeyer
ECAI
2000
Springer
14 years 3 days ago
An Argumentation-Theoretic Characterization of Defeasible Logic
Defeasible logic is an efficient non-monotonic logic that is defined only proof-theoretically. It has potential application in some legal domains. We present here an argumentatio...
Guido Governatori, Michael J. Maher
ECAI
2000
Springer
14 years 3 days ago
Symmetry Breaking in Constraint Programming
Ian P. Gent, Barbara M. Smith
ECAI
2000
Springer
14 years 3 days ago
Consistency-Based Diagnosis of Configuration Knowledge Bases
Alexander Felfernig, Gerhard Friedrich, Dietmar Ja...
ECAI
2000
Springer
14 years 3 days ago
Background Knowledge, Indexing and Matching Interdependencies of Document Management and Ontology-Maintenance
This position paper presents an algorithm, which determines similarities between text documents. These text documents are indexed with keywords and further background knowledge-ter...
Andreas Faatz, Thomas Kamps, Ralf Steinmetz