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