BibTeX cite key | Author/Editor | Year | | Title | Type |
Weydert2000a | Weydert, Emil | 2000 | | How to revise ranked probabilities
In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), 38-42 | Proceedings Article |
Weydert2000b | Weydert, Emil | 2000 | | Thoughts on Evolving Science and Belief
In: Proceedings of the Workshop "Scientific Reasoning in AI and Philosophy of Science" at the 14th European Conference on Artificial Intelligence (ECAI-00), 62-69 | Proceedings Article |
Weydert2000c | Weydert, Emil | 2000 | | Rankings in flux
In: Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00), 37-48 | Proceedings Article |
Weydert2001a | Lang, Jérôme
van der Torre, Leendert W. N.
Weydert, Emil | 2001 | | Two Kinds of Conflicts between Desires (and how to resolve them)
In: Proceedings of the AAAI Symposium on Game and Decision Theoretic Agents, 54-59 | Proceedings Article |
Weydert2001b | Weydert, Emil | 2001 | | Rankings we prefer: a rational minimal construction semantics for default reasoning
In: Proceedings of the 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-01), 1-12 | Proceedings Article |
Weydert2001c | van der Torre, Leendert W. N.
Weydert, Emil | 2001 | | Parameters for Utilitarian Desires in a Qualitative Decision Theory
In: Applied Artificial Intelligence [14], 285-301 | Journal Article |
Weydert2001d | Weydert, Emil | 2001 | | Defaults, Logic and Probability - A theoretical perspective
In: KI - Künstliche Intelligenz [4/01], 44-49 | Journal Article |
Weydert2001e | Weydert, Emil | 2001 | | Rankings we prefer: a minimal construction semantics for default reasoning
In: Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-01), 616-627 | Proceedings Article |
Weydert2001f | Lang, Jérôme
van der Torre, Leendert W. N.
Weydert, Emil | 2002 | | Utilitarian Desires
In: Autonomous Agents and Multi-Agent Systems [5], 329-363 | Journal Article |
Weydert93a | Weydert, Emil | 1993 | | Plausible Inference for Default Conditionals
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363 | Proceedings Article |
Weydert93b | Weydert, Emil | 1993 | | Default Quantifiers: About Plausible Reasoning in First-Order Contexts
In: Working Notes of the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, ? | Proceedings Article |
Weydert94a | Weydert, Emil | 1994 | | General Belief Measures
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, 575-582 | Proceedings Article |
Weydert94b | Weydert, Emil | 1994 | | Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332 | Proceedings Article |
Weydert95 | Weydert, Emil | 1995 | | Numeric Defaults. About an expressive first-order framework for reasoning with infinitesimal probabilities
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 95), 420-427 | Proceedings Article |
Weydert95b | Weydert, Emil | 1995 | | Default Entailment. A preferential construction semantics for defeasible inference
In: Advances in Artificial Intelligence: Proceedings of the 19th German Annual Conference on Artificial Intelligence, 173-184 | Proceedings Article |
Weydert95c | Weydert, Emil | 1995 | | Defaults and Infinitesimals. Defeasible inference by nonarchimedean entropy maximization
In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI 95), 540-547 | Proceedings Article |
Weydert96a | Weydert, Emil | 1996 | | System J - Revision Entailment: Default Reasoning through Ranking Measure Updates
In: Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR'96, 637-649 | Proceedings Article |
Weydert96b | Weydert, Emil | 1996 | | Default Quantifier Logic
In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, - | Proceedings Article |
Weydert96c | Weydert, Emil | 1996 | | Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
In: Logic, Action, and Information, 152-171 | Part of a Book |
Weydert97a | Weydert, Brewka, Witteveen (ed.) | 1997 | | Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97) | Proceedings |
Weydert97b | Weydert, Emil | 1997 | | Qualitative Entropy Maximization - A preliminary report
In: Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97), 63-72 | Proceedings Article |
Weydert97c | Weydert, Emil | 1997 | | Rational Default Quantifier Logic
In: Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESQARU-FAPR-97), 589-600 | Proceedings Article |
Wies2004 | Wies, Thomas | 2004 | | Symbolic Shape Analysis
Universität des Saarlandes | Thesis - Masters thesis |
WiesETAL06FieldConstraintAnalysis | Wies, Thomas
Kuncak, Viktor
Lam, Patrick
Podelski, Andreas
Rinard, Martin C. | 2006 | | Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | Proceedings Article |
Wu1999 | Wu, Jinzhao | 2000 | | First-Order Polynomial based Theorem Proving
In: Mathematics Mechanizations and Applications, 273-294 | Part of a Book |
Wuliu1998 | Wu, Jinzhao
Liu, Zhuojun | 1998 | | Well-Behaved Inference Rules for First-Order Theorem Proving
In: Journal of Automated Reasoning [21], 381-400 | Journal Article |
Wulu1998 | Wu, Jinzhao
Lu, Mi | 1998 | | CWA in Multi-Valued Logics
In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), 259-270 | Proceedings Article |
Wutanli1998 | Wu, Jinzhao
Tan, Hongyan
Li, Yongli | 1998 | | An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
In: Journal of Applied Non-Classical Logics [8], 353-360 | Journal Article |
XiaYang02 | Xia, Bican
Yang, Lu | 2002 | | An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
In: Journal of Symbolic Computation [34], 461-477 | Journal Article |
Yoshida94 | Yoshida, Tetsuja
Bundy, Alan
Green, Ian
Walsh, Toby
Basin, David A. | 1994 | | Coloured Rippling: An Extension of a Theorem Proving Heuristic
In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89 | Proceedings Article |