Sciweavers

ECSQARU
1997
Springer
14 years 4 months ago
Creating Prototypes for Fast Classification in Dempster-Shafer Clustering
We develop a classification method for incoming pieces of evidence in Dempster-Shafer theory. This methodology is based on previous work with clustering and specification of origin...
Johan Schubert
ECSQARU
1997
Springer
14 years 4 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
ECSQARU
1997
Springer
14 years 4 months ago
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases
Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...
ECSQARU
1997
Springer
14 years 4 months ago
Fast-Division Architecture for Dempster-Shafer Belief Functions
Given a number of Dempster-Shafer belief functions there are different architectures which allow to do a compilation of the given knowledge. These architectures are the Shenoy-Sha...
R. Bissig, Jürg Kohlas, Norbert Lehmann
ECSQARU
1997
Springer
14 years 4 months ago
A Coherence-Based Approach to Default Reasoning
Salem Benferhat, Laurent Garcia
ECSQARU
1997
Springer
14 years 4 months ago
Assumption-Based Modeling Using ABEL
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Nor...