Sciweavers

ECAI
1998
Springer
13 years 7 months ago
Ideal Agents Sharing (some!) Knowledge
A well-known framework by Fagin, Halpern, Moses and Vardi models knowledge-based agents as \Interpreted Systems". In this paper we analyse a particular class of interpreted sy...
Alessio Lomuscio, Mark Ryan
ECAI
1998
Springer
13 years 7 months ago
Description Logics with Concrete Domains and Aggregation
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
Franz Baader, Ulrike Sattler
ECAI
1998
Springer
13 years 7 months ago
Probabilistic Logic Programming
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
Thomas Lukasiewicz
ECAI
1998
Springer
13 years 7 months ago
A Knowledge-theoretic Approach to Distributed Problem Solving
Traditional approaches to distributed problem solving have treated the problem as one of distributed search. In this paper, we propose an alternative, logic-based view of distribut...
Michael Wooldridge
ECAI
1998
Springer
13 years 7 months ago
Algebraic Topology for Knowledge Representation in Analogy Solving
We propose a computational model for analogy solving based on a topological formalism of representation. The source and the target analogs are represented as simplexes and the anal...
Erika Valencia, Jean-Louis Giavitto, Jean-Paul San...
ECAI
1998
Springer
13 years 7 months ago
The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
Munindar P. Singh
ECAI
1998
Springer
13 years 7 months ago
A Declarative Formalization of STRIPS
Josefina Sierra-Santibáñez
ECAI
1998
Springer
13 years 7 months ago
Causal Logic
This paper proposes a logic for causal based on event trees. Event trees provide a natural and familiar framework for probability and decision theory, but they lack the modularity...
Glenn Shafer
ECAI
1998
Springer
13 years 7 months ago
Integrating Abduction and Induction
In this paper we describe an approach for integrating abduction and induction in the ILP setting of learning from interpretations with the aim of solving the problem of incomplete...
Fabrizio Riguzzi