ECSQARU 1995:
Fribourg,
Switzerland
Christine Froidevaux, Jürg Kohlas (Eds.):
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'95, Fribourg, Switzerland, July 3-5, 1995, Proceedings.
Lecture Notes in Computer Science 946 Springer 1995, ISBN 3-540-60112-0 BibTeX
@proceedings{DBLP:conf/ecsqaru/1995,
editor = {Christine Froidevaux and
J{\"u}rg Kohlas},
title = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty,
European Conference, ECSQARU'95, Fribourg, Switzerland, July
3-5, 1995, Proceedings},
booktitle = {ECSQARU},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {946},
year = {1995},
isbn = {3-540-60112-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Natasha Alechina:
For All Typical.
1-8 BibTeX
- Matías Alvarado:
A Posteriori Knowledge: from Ambiguous Knowledge and Undefined Information to Knowledge.
9-17 BibTeX
- Pietro Baroni, Giovanni Guida, Silvano Mussi:
Modeling Uncertain Relational Knowledge: the AV-Quantified Production Rules Approach.
18-27 BibTeX
- Mario R. F. Benevides:
Multiple Database Logic.
28-36 BibTeX
- Salem Benferhat, Didier Dubois, Henri Prade:
A Local Approach to Reasoning under Incosistency in Stratified Knowledge Bases.
36-43 BibTeX
- Philippe Besnard, Anthony Hunter:
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information.
44-51 BibTeX
- John Bigham, Zhiyuan Luo, Debashis Banerjee:
A Cost Bounded Possibilistic ATMS.
52-59 BibTeX
- Luca Boldrin:
A Substructural Connective for Possibilistic Logic.
60-68 BibTeX
- Remco R. Bouckaert, Milan Studený:
Chain graphs: semantics and expressiveness.
69-76 BibTeX
- Luis M. de Campos, Jörg Gebhardt, Rudolf Kruse:
Axiomatic Treatment of Possibilistic Independence.
77-88 BibTeX
- Enrique Castillo, José Manuel Gutiérrez, Ali S. Hadi:
Parametric Structure of Probabilities in Bayesian Networks.
89-98 BibTeX
- Claudette Cayrol:
From Non-Monotonic Syntax-Based Entailment to Preference-Based Argumentation.
99-106 BibTeX
- Claudette Cayrol, Marie-Christine Lagasquie-Schiex:
Non-monotonic Syntax-Based Entailment: A Classification of Consequence Relations.
107-114 BibTeX
- Alain Chateauneuf, Jean-Yves Jaffray:
Local Möbius Transforms on Monotone Capacities.
115-124 BibTeX
- Laurence Cholvy:
Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics.
125-132 BibTeX
- Marie-Odile Cordier, Jérôme Lang:
Linking Transition-based Update and Base Revision.
133-142 BibTeX
- Marie-Odile Cordier, Pierre Siegel:
Prioritized Transitions for Updates.
142-150 BibTeX
- Guy-Blaise Douanya Nguetsé, Pierre Hansen, Brigitte Jaumard:
Probabilistic Satisfiability and Decomposition.
151-161 BibTeX
- Didier Dubois, Florence Dupin de Saint-Cyr, Henri Prade:
Update Postulates without Inertia.
162-170 BibTeX
- Didier Dubois, Francesc Esteva, Pere Garcia, Lluis Godo, Henri Prade:
Similarity-based Consequence Relations.
171-180 BibTeX
- Barbara Dunin-Keplicz, Anna Radzikowska:
Epistemic Approach to Actions with Typical Effects.
180-188 BibTeX
- Joeri Engelfriet, Heinrich Herre, Jan Treur:
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract).
189-196 BibTeX
- Kazuo J. Ezawa, Til Schuermann:
A Bayesian Network Based Learning System: Architecture and Performance Comparison with Other Models.
197-206 BibTeX
- P. Geerts, Dirk Vermeir:
Specificity by Default.
207-216 BibTeX
- Sabine Glesner, Daphne Koller:
Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases.
217-226 BibTeX
- Silviu Guiasu:
On the Formalism of Stochastic Logic.
227-234 BibTeX
- Anthony Hunter:
Using Default Logic in Information Retrieval.
235-242 BibTeX
- Finn Verner Jensen, Søren H. Aldenryd, Klaus B. Jensen:
Sensitivity Analysis in Bayesian Networks.
243-250 BibTeX
- A. V. Joshi, S. C. Sahasrabudhe, K. Shankar:
Bayesian Approximation and Invariance of Bayesian Belief Functions.
251-258 BibTeX
- Jürg Kohlas, Paul-André Monney, Rolf Haenni, Norbert Lehmann:
Model-Based Diagnostics Using Hints.
259-266 BibTeX
- Ivan Kramosil:
An Axiomatic Approach to Extensional Probability Measures.
267-276 BibTeX
- Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
The Dynamics of Default Reasoning (Extended Abstract).
277-284 BibTeX
- Thomas Linke, Torsten Schaub:
Lemma Handling in Default Logic Theorem Provers.
285-292 BibTeX
- Thomas Lukasiewicz:
Uncertain Reasoning in Concept Lattices.
293-300 BibTeX
- Jérôme Mengin:
A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle.
301-310 BibTeX
- Pascal Nicolas, Béatrice Duval:
A Theorem Prover for Lukaszewicz` Open Default Theory.
311-319 BibTeX
- Ulrich G. Oppel:
Two Different Types of Discontinuity of Bayesian Learning in Causal Probabilistic Networks.
320-327 BibTeX
- Odile Papini, Antoine Rauzy:
Revision in Extended Propositional Calculus.
328-335 BibTeX
- Simon Parsons:
Using Qualitative Uncertainty in Protein Topology Prediction.
336-343 BibTeX
- Anna Radzikowska:
Circumscribing Features and Fluents: Reasoning about Action with Default Effects.
344-351 BibTeX
- Paul C. Rhodes, Gerald R. Garside:
Using Maximum Entropy to Compute Marginal Probabilities in a Causal Binary Tree Need not Take Exponential Time.
352-363 BibTeX
- Vincent Risch:
Yet Some More Considerations On Cumulativity In Default Logics.
364-378 BibTeX
- Karl Schlechta:
A Two-Stage Approach to First Order Default Reasoning.
379-386 BibTeX
- Karl Schlechta:
A Reduction of the Theory of Confirmation to the Notions of Distance and Measure.
387-394 BibTeX
- Johan Schubert:
Cluster-based Specification Techniques in Dempster-Shafer Theory.
395-404 BibTeX
- Luminita State, Radu State:
And/Or Trees for Knowledge Representation.
405-411 BibTeX
- Yao-Hua Tan, Leendert W. N. van der Torre:
Why Defeasible Deontic Logic needs a Multi Preference Semantics.
412-419 BibTeX
- Emil Weydert:
Numeric Defaults.
420-427 BibTeX
Copyright © Sat May 16 23:08:26 2009
by Michael Ley (ley@uni-trier.de)
