Stop the war!
Остановите войну!
for scientists:
default search action
ECSQARU/FAPR 1997: Bad Honnef, Germany
- Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach:
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
- Robert Demolombe, Andrew J. I. Jones, José Carmo:
Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. 614-620
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.