Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Salem Benferhat, Didier Dubois, Henri Prade |
A Local Approach to Reasoning under Incosistency in Stratified Knowledge Bases. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Joeri Engelfriet, Heinrich Herre, Jan Treur |
Nonmonotonic Belief State Frames and Reasoning Frames (extended abstract). |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Claudette Cayrol |
From Non-Monotonic Syntax-Based Entailment to Preference-Based Argumentation. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jürg Kohlas, Paul-André Monney, Rolf Haenni, Norbert Lehmann |
Model-Based Diagnostics Using Hints. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Besnard, Anthony Hunter |
Quasi-classical Logic: Non-trivializable classical reasoning from incosistent information. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Mengin |
A Theorem Prover for Default Logic Based on Prioritized Conflict Resolution and an Extended Resolution Principle. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | John Bigham, Zhiyuan Luo 0001, Debashis Banerjee |
A Cost Bounded Possibilistic ATMS. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | P. Geerts, Dirk Vermeir |
Specificity by Default. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Odile Cordier, Pierre Siegel |
Prioritized Transitions for Updates. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Enrique F. Castillo, José Manuel Gutiérrez, Ali S. Hadi |
Parametric Structure of Probabilities in Bayesian Networks. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Luminita State, Radu State |
And/Or Trees for Knowledge Representation. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Remco R. Bouckaert, Milan Studený |
Chain graphs: semantics and expressiveness. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Glesner, Daphne Koller |
Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Didier Dubois, Florence Dupin de Saint-Cyr, Henri Prade |
Update Postulates without Inertia. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Kramosil |
An Axiomatic Approach to Extensional Probability Measures. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Finn Verner Jensen, Søren H. Aldenryd, Klaus B. Jensen |
Sensitivity Analysis in Bayesian Networks. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alain Chateauneuf, Jean-Yves Jaffray |
Local Möbius Transforms on Monotone Capacities. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Karl Schlechta |
A Reduction of the Theory of Confirmation to the Notions of Distance and Measure. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Alechina |
For All Typical. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Luis M. de Campos, Jörg Gebhardt, Rudolf Kruse |
Axiomatic Treatment of Possibilistic Independence. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Baroni, Giovanni Guida, Silvano Mussi |
Modeling Uncertain Relational Knowledge: the AV-Quantified Production Rules Approach. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Nicolas, Béatrice Duval |
A Theorem Prover for Lukaszewicz' Open Default Theory. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Odile Cordier, Jérôme Lang |
Linking Transition-based Update and Base Revision. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Lukasiewicz |
Uncertain Reasoning in Concept Lattices. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | A. V. Joshi, S. C. Sahasrabudhe, K. Shankar |
Bayesian Approximation and Invariance of Bayesian Belief Functions. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Risch |
Yet Some More Considerations On Cumulativity In Default Logics. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anna Radzikowska |
Circumscribing Features and Fluents: Reasoning about Action with Default Effects. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Hunter |
Using Default Logic in Information Retrieval. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Linke, Torsten Schaub |
Lemma Handling in Default Logic Theorem Provers. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yao-Hua Tan, Leendert W. N. van der Torre |
Why Defeasible Deontic Logic needs a Multi Preference Semantics. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. F. Benevides |
Multiple Database Logic. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Emil Weydert |
Numeric Defaults. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Simon Parsons |
Using Qualitative Uncertainty in Protein Topology Prediction. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer |
The Dynamics of Default Reasoning (Extended Abstract). |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Rhodes, Gerald R. Garside |
Using Maximum Entropy to Compute Marginal Probabilities in a Causal Binary Tree Need not Take Exponential Time. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Laurence Cholvy |
Automated Reasoning with Merged Contradictory Information Whose Reliability Depends on Topics. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Luca Boldrin |
A Substructural Connective for Possibilistic Logic. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich G. Oppel |
Two Different Types of Discontinuity of Bayesian Learning in Causal Probabilistic Networks. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Claudette Cayrol, Marie-Christine Lagasquie-Schiex |
Non-monotonic Syntax-Based Entailment: A Classification of Consequence Relations. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Guy-Blaise Douanya Nguetsé, Pierre Hansen, Brigitte Jaumard |
Probabilistic Satisfiability and Decomposition. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Odile Papini, Antoine Rauzy |
Revision in Extended Propositional Calculus. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Kazuo J. Ezawa, Til Schuermann |
A Bayesian Network Based Learning System: Architecture and Performance Comparison with Other Models. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Silviu Guiasu |
On the Formalism of Stochastic Logic. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Johan Schubert |
Cluster-based Specification Techniques in Dempster-Shafer Theory. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Karl Schlechta |
A Two-Stage Approach to First Order Default Reasoning. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Dunin-Keplicz, Anna Radzikowska |
Epistemic Approach to Actions with Typical Effects. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Matías Alvarado 0001 |
A Posteriori Knowledge: from Ambiguous Knowledge and Undefined Information to Knowledge. |
ECSQARU |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Emil Weydert |
Plausible Inference for Default Conditionals. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Weiru Liu, Alan Bundy, David Stuart Robertson 0001 |
Recovering Incedence Functions. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Mathieu |
A Resolution Method for a Monotonic Multimodal Logic. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luis Fariñas del Cerro, Andreas Herzig |
Interference Logic = Conditional Logic + Frame Axiom. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Silviu Guiasu |
Weighting Independent Bodies of Evidence. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Masoud Noormohammadian, Ulrich G. Oppel |
Examples of Causal Probabilistic Expert Systems. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michael Clarke, Rudolf Kruse, Serafín Moral (eds.) |
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'93, Granada, Spain, November 8-10, 1993, Proceedings |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Kohler |
A Dynamic Ordering Relation for Revision. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Otakar Kríz |
On Extensions of Marginals for Decision-Making. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Odile Papini, Antoine Rauzy |
A Mixed Approach of Revision in Propositional Calculus. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Detlef Fehrer |
A Unifying Logical Framework for Reason Maintenance. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Milan Studený |
Formal Properties of Conditional Independence in Different Calculi of AI. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Gasquet, Andreas Herzig |
Translating Inaccessible Worlds Logic into Bimodal Logic. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Larrañaga, Yosu Yurramendi |
Structure learning approaches in Causal Probalistics Networks. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Bergadano, Vincenzo Cutello |
Learning Membership Functions. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Fargier, Jérôme Lang |
Uncertainty in Constraint Satisfaction Problems: a Probalistic Approach. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Morten Elvang-Gøransson, Paul J. Krause, John Fox 0001 |
Acceptability of arguments as 'logical uncertainty'. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hua Shu |
The Preferential Semantics of A Multi-Modal Nonmonotonic Logic. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Simon Parsons, Alessandro Saffiotti |
Integrating Uncertainty Handling Formalisms in Distributed Artificial Intelligence. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Subrata Kumar Das, John Fox 0001 |
A Logic for Reasoning about Safety in Decision Support Systems. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Fouqueré, Jacqueline Vauzeilles |
Taxonomic Linear Theories. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Joeri Engelfriet |
A Temporal Model Theory for Default Logic. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Gebhardt, Rudolf Kruse |
A New Approach to Semantic Aspects of Possibilistic Reasoning. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Cees Witteveen, Wiebe van der Hoek |
Belief Revision by Expansion. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mike Hopkins |
Default Logic: Orderings and Extensions. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Prakash P. Shenoy |
Information Sets in Decision Theory. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Karl Schlechta |
A Semantics for Open Normal Defaults via a Modified Preferential Approach. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | John-Jules Ch. Meyer, Wiebe van der Hoek |
A Default Logic Based on Epistemic States. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Nic Wilson |
Decision-Making with Belief Functions and Pignistic Probabilities. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Nic Wilson |
Default Logic and Dempster-Shafer Theory. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Juan F. Huete, Luis M. de Campos |
Learning Causal Polytrees. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Remco R. Bouckaert |
IDAGs: a Perfect Map for Any Distribution. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Teow-Hin Ngair, Gregory M. Provan |
A Lattice-Theoretic Analysis of ATMS Problem Solving. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Smets |
Probability of Deductibility and Belief Functions. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Bittencourt, Maurício Marengoni, Sandra A. Sandri |
The Use of Possibilistic Logic PL1 in a Customizable Tool for the Generation of Production-Rule Based Systems. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Salem Benferhat, Didier Dubois, Henri Prade |
Possibilistic Logic: From nonmonotonicity to Logic Programming. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Z. An, Mary McLeish |
RES: A formalism for reasoning with relative-strength defaults. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Els Laenens |
On the Semantics of Negations in Logic Programming. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Remco R. Bouckaert |
Probalistic Network Construction Using the Minimum Description Length Principle. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Maria R. Cravo, João P. Martins |
A Practical System for Defeasible Reasoning and Belief Revision. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Serafín Moral |
A Formal Language for Convex Sets of Probabilities. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yao-Hua Tan |
A Proof Theory for Constructive Default Logic. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jürg Kohlas |
Symbolic Evidence, Arguments, Supports and Valuation Networks. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Luis M. de Campos, Juan F. Huete |
Learning Non Probalistic Belief Networks. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Gilio |
Probabilistic Consistency of Knowledge Bases in Inference Systems. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Weiru Liu, Alan Bundy, David Stuart Robertson 0001 |
On the Relations between Incidence Calculus and ATMS. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay, Anthony Hunter |
Restricted Access Logics for Inconsistent Information. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Torsten Schaub |
Variations of Constrained Default Logic. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay, Anthony Hunter |
Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | François Lévy |
Weak Extensions for Default Theories. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Juan C. Cubero, Juan Miguel Medina 0001, María Amparo Vila Miranda |
Influence of Granularity Level in Fuzzy Functional Dependencies. |
ECSQARU |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christine Froidevaux, Philippe Chatalic, Jérôme Mengin |
Graded Default Logics. |
ECSQARU |
1991 |
DBLP DOI BibTeX RDF |
|