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
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 K. 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
Last update Fri May 24 02:29:22 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page