ECSQARU/FAPR 1997:
Bad Honnef,
Germany
Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (Eds.):
Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings.
Lecture Notes in Computer Science 1244 Springer 1997, ISBN 3-540-63095-3
@proceedings{DBLP:conf/ecsqaru/1997,
editor = {Dov M. Gabbay and
Rudolf Kruse and
Andreas Nonnengart and
Hans J{\"u}rgen Ohlbach},
title = {Qualitative and Quantitative Practical Reasoning, First International
Joint Conference on Qualitative and Quantitative Practical Reasoning
ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings},
booktitle = {ECSQARU-FAPR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1244},
year = {1997},
isbn = {3-540-63095-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
- Alain Appriou:
Multisensor Data Fusion in Situation Assessment Processes.
1-15
- Siegfried Bell:
Dependency Mining in Relational Databases.
16-29
- Salem Benferhat, Didier Dubois, Henri Prade:
Syntactic Combination of Uncertain Information: A Possibilistic Approach.
30-42
- Salem Benferhat, Laurent Garcia:
A Coherence-Based Approach to Default Reasoning.
43-57
- Paolo Bison, Gaetano Chemello, Claudio Sossai, Gaetano Trainito:
A Syntactical Approach to Data Fusion.
58-70
- Christian Borgelt, Rudolf Kruse:
Some Experimental Results on Learning Probabilistic and Possibilistic Networks with Different Evaluation Measures.
71-85
- Laurence Cholvy, Anthony Hunter:
Information Fusion in Logic: A Brief Overview.
86-95
- Didier Dubois, Henri Prade:
Focusing vs. Belief Revision: A Fundamental Distinction When Dealing with Generic Knowledge.
96-107
- Jörg Gebhardt, Rudolf Kruse:
Background and Perspectives of Possibilistic Graphical Models.
108-121
- Bertrand Mazure, Lakhdar Sais, Éric Grégoire:
Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases.
122-130
- Philippe Smets:
The alpha-junctions: Combination Operators Applicable to Belief Functions.
131-153
- John Woods:
Just How Stupid is Postmodernism.
154-158
Accepted Papers
- Leila Amgoud, Claudette Cayrol:
Integrating Preference Orderings into Argument-Based Reasoning.
159-170
- Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Norbert Lehmann:
Assumption-Based Modeling Using ABEL.
171-182
- Philippe Besnard, Jean-Marc Guinnebault, Emmanuel Mayer:
Propositional Quantification for Conditional Logic.
183-197
- R. Bissig, Jürg Kohlas, Norbert Lehmann:
Fast-Division Architecture for Dempster-Shafer Belief Functions.
198-209
- J. Delechamp, Bernadette Bouchon-Meunier:
Graduality by Means of Analogical Reasoning.
210-222
- Florence Dupin de Saint-Cyr, Jérôme Lang:
Reasoning About Unpredicted Change and Explicit Time.
223-236
- Uwe Egly, Hans Tompits:
Non-elementary Speed-Ups in Default Reasoning.
237-251
- Joeri Engelfriet, Jan Treur:
A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning.
252-266
- Dov M. Gabbay, Odinaldo Rodrigues:
Structured Belief Bases: A Practical Approach to Prioritised Base Revision.
267-281
- Konstantinos Georgatos:
Entrenchment Relations: A Uniform Approach to Nonmonotonicity.
282-297
- Bernhard Heinemann:
A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees.
298-310
- Andreas Herzig:
How to Change Factual Beliefs Using Laws and Dependence Information.
311-321
- Anthony Hunter:
Using Default Logic for Lexical Knowledge.
322-353
- Pablo H. Ibargüengoytia, Sunil Vadera, Luis Enrique Sucar:
A Layered, Any Time Approach to Sensor Validation.
336-349
- Nathalie Jitnah, Ann E. Nicholson:
treeNets: A Framework for Anytime Evaluation of Belief Networks.
350-364
- Gabriele Kern-Isberner:
A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals.
365-379
- Ivan Kramosil:
Belief Functions with Nonstandard Values.
380-391
- Soowoo Lee:
Error Tolerance Method in Multiple-Valued Logic.
392-405
- Miguel Leith, Jim Cunningham:
Representing and Reasoning with Events fron Natural Language.
406-420
- Fabio Massacci:
Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control.
421-435
- Wolfgang May:
Process Modeling with Different Qualities of Knowledge.
436-450
- Daniel Pacholczyk:
A Fuzzy Analysis of Linguistic Negation of Nuanced Property in Knowledge-Based Systems.
451-465
- Simon Parsons:
Normative Argumentation and Qualitative Probability.
466-480
- Anna Radzikowska:
Towards a Formalization of Narratives: Actions with Duration, Concurrent Actions and Qualifications.
481-495
- Chris Reed, Derek Long:
Multiple Subarguments in Logic, Argumentation, Rhetoric and Text Generation.
496-510
- Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos:
Cactus: A Branching-Time Logic Programming Language.
511-524
- Johan Schubert:
Creating Prototypes for Fast Classification in Dempster-Shafer Clustering.
525-535
- Gerhard Schurz:
Probabilistic Default Logic Based on Irrelevance and Relevance Assumptions.
536-553
- John K. Slaney, Robert Meyer:
Logic for Two: The Semantics of Distributive Substructural Logics.
554-567
- Anna Slobodová:
Multivalued Extension of Conditional Belief Functions.
568-573
- Frans Voorbraak:
Combining Evidence under Partial Ignorance.
574-588
- Emil Weydert:
Rational Default Quantifier Logic.
589-599
- Yan Zhang:
Disjunctive Update, Minimal Change, and Default Reasoning.
600-613
Position Papers and System Descriptions
Copyright © Fri Nov 20 23:49:06 2009
by Michael Ley (ley@uni-trier.de)