Symbolic and Quantitative Approaches to Reasoning and Uncertainty : Proceedings of the European Conference, ECSQARU'99, London, UK, July 5-9, 1998

by Hunter, Anthony; Parsons, Simon

• ISBN13: 9783540661313
• ISBN10: 354066131X
• Format: Paperback
• Copyright: 1999-07-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 1999 European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU'99, held in London, UK, in July 1999.The 35 revised full papers presented were carefully reviewed and selected for inclusion in the book by the program committee. The volume covers theoretical as well as application-oriented aspects of various formalisms for reasoning under uncertainty. Among the issues addressed are default reasoning, nonmonotonic reasoning, fuzzy logic, Bayesian theory, probabilistic reasoning, inductive learning, rough knowledge discovery, Dempster-Shafer theory, qualitative decision making, belief functions, and evidence theory.

Table of Contents

On the dynamics of default reasoning	1	(11)
Grigoris Antoniou
Non-monotonic and paraconsistent reasoning: From basic entailments to plausible relations	11	(11)
Ofer Arieli
Arnon Avron
A comparison of systematic and local search algorithms for regular CNF formulas	22	(10)
Ramon Bejar
Felip Manya
Query-answering in prioritized default logic	32	(11)
Farid Benhammadi
Pascal Nicolas
Torsten Schaub
Updating directed belief networks	43	(12)
Boutheina Ben Yaghlane
Khaled Mellouli
Inferring causal explanations	55	(13)
Philippe Besnard
Marie-Odile Cordier
A critique of inductive causation	68	(12)
Christian Borgelt
Rudolf Kruse
Connecting lexicographic with maximum entropy entailment	80	(12)
Rachel A. Bourne
Simon Parsons
Avoiding non-ground variables	92	(12)
Stefan Bruning
Torsten Schaub
Anchoring symbols to vision data by fuzzy logic	104	(12)
Silvia Coradeschi
Alessandro Saffiotti
Filtering vs revision and update: Let us debate!	116	(12)
Corine Cossart
Catherine Tessier
Irrelevance and independence axioms in quasi-Bayesian theory	128	(9)
Fabio G. Cozman
Assessing the value of a candidate: A qualitative possibilistic approach	137	(11)
Didier Dubois
Michel Grabisch
Henri Prade
Learning default theories	148	(12)
Beatrice Duval
Pascal Nicolas
Knowledge representation for inductive learning	160	(8)
Peter A. Flach
Handling inconsistency efficiently in the incremental construction of stratified belief bases and	168	(11)
Eric Gregoire
Rough knowledge discovery and applications	179	(11)
J. W. Guan
D. A. Bell
Gradient descent training of Bayesian networks	190	(11)
Finn V. Jensen
Open default theories over closed domains: An extended abstract	201	(7)
Michael Kaminski
Shopbot economics	208	(13)
Jeffrey O. Kephart
Amy R. Greenwald
Optimized algorithm for learning Bayesian network from data	221	(12)
Fedia Khalfallah
Khaled Mellouli
Merging with integrity constraints	233	(12)
Sebastien Konieczny
Ramon Pino Perez
Boolean-like interpretation of Sugeno integral	245	(11)
Ivan Kramosil
An alternative to outward propagation for Dempster-Shafer belief functions	256	(12)
Norbert Lehmann
Rolf Haenni
On bottom-up pre-processing techniques for automated default reasoning	268	(11)
Thomas Linke
Torsten Schaub
Probabilistic logic programming under maximum entropy	279	(14)
Thomas Lukasiewicz
Gabriele Kern-Isberner
Lazy propagation and independence of causal influence	293	(12)
Anders L. Madsen
Bruce D'Ambrosio
A Monte Carlo algorithm for combining Dempster-Shafer belief based on approximate pre-computation	305	(11)
Serafin Moral
Antonio Salmeron
An extension of a linguistic negation model allowing us to deny nuanced property combinations	316	(12)
Daniel Pacholczyk
Argumentation and qualitative decision making	328	(12)
Simon Parsons
Shaw Green
Handling different forms of uncertainty in regression analysis: A fuzzy belief structure approach	340	(12)
Simon Petit-Renaud
Thierry Denoeux
State recognition in discrete dynamical systems using Petri nets and evidence theory	352	(10)
Michele Rombaut
Iman Jarkass
Thierry Denoeux
Robot navigation and map building with the event calculus	362	(1)
Murray Shanahan
Mark Witkowski
Information fusion in the context of stock index prediction	363	(11)
Stefan Siekmann
Jorg Gebhardt
Rudolf Kruse
Defeasible goals	374	(12)
Leendert van der Torre
Logical deduction using the local computation framework	386	(11)
Nic Wilson
Jerome Mengin
Author Index	397