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