Sciweavers

ECAI
1998
Springer
14 years 6 hour ago
A Declarative Formalization of STRIPS
Josefina Sierra-Santibáñez
ECAI
1998
Springer
14 years 6 hour 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
14 years 6 hour 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
ECAI
1998
Springer
14 years 6 hour ago
Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis
An experiment was conducted in order to evaluate what normative framework is pertinent for dealing with confidence judgements in human experts. 24 films were shown to 4 experimente...
Eric Raufaste, Rui Da Silva Neves
ECAI
1998
Springer
14 years 6 hour ago
What You See Is What You Meant: direct knowledge editing with natural language feedback
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
Richard Power, Donia Scott, Roger Evans
ECAI
1998
Springer
14 years 6 hour ago
Contextual Reasoning
Laurent Perrussel
ECAI
1998
Springer
14 years 6 hour ago
Optimal Scheduling of Dynamic Progressive Processing
Progressive processing allows a system to satisfy a set of requests under time pressure by limiting the amount of processing allocated to each task based on a predefined hierarchic...
Abdel-Illah Mouaddib, Shlomo Zilberstein
ECAI
1998
Springer
14 years 6 hour ago
The Complexity of Model Checking for Propositional Default Logics
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...
Paolo Liberatore, Marco Schaerf