Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

Entries sorted by: 1. Author,Editor - 2. by Group - 3. by Names Including [Non Members]

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#YearTitleType
1
Hide details for Wagner, Podelski [Podelski, Raskin, Thiagarajan]Wagner, Podelski [Podelski, Raskin, Thiagarajan]
2007Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16
Proceedings Article
6
Hide details for Waldmann [-]Waldmann [-]
2002A New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12
Proceedings Article
2002Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861
Journal Article
2002Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829
Journal Article
1998Extending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49
Journal Article
1997Cancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes
Thesis - PhD thesis
1992Semantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35
Journal Article
1
Hide details for Waldmann [Bonacina, Furbach]Waldmann [Bonacina, Furbach]
1997A Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134
Proceedings Article
1
Hide details for Waldmann [Goré, Leitsch, Nipkow]Waldmann [Goré, Leitsch, Nipkow]
2001Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241
Proceedings Article
1
Hide details for Waldmann [Kirchner, Kirchner]Waldmann [Kirchner, Kirchner]
1998Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159
Proceedings Article
1
Hide details for Waldmann [McAllester, Voronkov]Waldmann [McAllester, Voronkov]
1999Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147
Proceedings Article
3
Hide details for Wang [-]Wang [-]
1999Randomness, Stochasticity, and Approximation
In: Theory of Computing Systems [32], 517-529
Journal Article
1997NP-hard sets are superterse unless NP is small
In: Information Processing Letters [61], 1-6
Journal Article
1997Randomization and Approximation Techniques in Computer Science
In: Proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97), 209-225
Proceedings Article
11
Hide details for Weidenbach [-]Weidenbach [-]
2000Entscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
Thesis - Habilitation thesis
1999SPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21
Journal Article
1999Towards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382
Proceedings Article
1997SPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252
Journal Article
1996Computational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes
Thesis - PhD thesis
1996Unification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293
Journal Article
1995First-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906
Journal Article
1994First-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261
Proceedings Article
1994Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316
Proceedings Article
1993A New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54
Proceedings Article
1993Extending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65
Proceedings Article
1
Hide details for Weidenbach [Bibel, Schmitt]Weidenbach [Bibel, Schmitt]
1998Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320
Part of a Book
1
Hide details for Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk]Weidenbach [Fiedler, Gorny, Grass, Hoelldobler, Hotz, Kerner, Reischuk]
1998Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197
Part of a Book
1
Hide details for Weidenbach [Hermann, Salzer]Weidenbach [Hermann, Salzer]
1996Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76
Proceedings Article
1
Hide details for Weidenbach [McRobbie, Slaney]Weidenbach [McRobbie, Slaney]
1996Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357
Proceedings Article
1
Hide details for Weidenbach [Robinson, Voronkov]Weidenbach [Robinson, Voronkov]
2001Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013
Part of a Book
1
Hide details for Weidenbach [Schulz, Kepser]Weidenbach [Schulz, Kepser]
1996Unification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25
Proceedings Article
1
Hide details for Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-]Weidenbach, Afshordel, Brahm, Cohrs, Engel, Keen, Theobalt, Topić [-]
1999System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318
Proceedings Article
1
Hide details for Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov]Weidenbach, Brahm, Hillenbrand, Keen, Theobalt, Topić [Voronkov]
2002Attachment IconSPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279
Proceedings Article
1
Hide details for Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]Weidenbach, Gaede, Rock [Gaede, Rock, McRobbie, Slaney]
1996SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145
Proceedings Article
1
Hide details for Weidenbach, Meyer, Cohrs, Engel, Keen [-]Weidenbach, Meyer, Cohrs, Engel, Keen [-]
1998SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113
Journal Article
3
Hide details for Werner, Bockmayr, Krischer [-]Werner, Bockmayr, Krischer [-]
1993A Concept for the Implementation of LSE Narrowing
In: 9.~Workshop Logische Programmierung, ?
Proceedings Article
1993How to Realize LSE NarrowingReport
1993How to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-?
Proceedings Article
2
Hide details for Werner, Bockmayr, Krischer [Werner, Krischer]Werner, Bockmayr, Krischer [Werner, Krischer]
1998How to realize LSE narrowing
In: New Generation Computing [16], 397-434
Journal Article
1994How to realize LSE narrowing
In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76
Proceedings Article
7
Hide details for Weydert [-]Weydert [-]
2001Defaults, Logic and Probability - A theoretical perspective
In: KI - Künstliche Intelligenz [4/01], 44-49
Journal Article
2001Rankings 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
2000Thoughts 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
1998Some Notes on Nonmonotonic Probabilistic InferenceMiscellaneous
1994Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332
Proceedings Article
1993Default 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
1993Plausible Inference for Default Conditionals
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363
Proceedings Article
1
Hide details for Weydert [Besnard, Hanks]Weydert [Besnard, Hanks]
1995Defaults 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
1
Hide details for Weydert [Brewka, Witteveen, Schaub]Weydert [Brewka, Witteveen, Schaub]
2001Rankings 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
1
Hide details for Weydert [Brewka, Witteveen]Weydert [Brewka, Witteveen]
1997Qualitative 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
1
Hide details for Weydert [Cohn, Schubert, Shapiro]Weydert [Cohn, Schubert, Shapiro]
1998System JZ : How to build a canonical ranking model of a default knowledge base
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 190-201
Proceedings Article
1
Hide details for Weydert [Cunningham, Gabbay]Weydert [Cunningham, Gabbay]
2000Rankings in flux
In: Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00), 37-48
Proceedings Article
1
Hide details for Weydert [de Leon, Wallin, Hulth]Weydert [de Leon, Wallin, Hulth]
1999JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Spinning Ideas - Electronic Essays Dedicated to Peter Gaerdenfors on His Fiftieth Birthday, 1-11
Part of a Book
1
Hide details for Weydert [Delgrande, Truszczynski]Weydert [Delgrande, Truszczynski]
1998Minimal information entailment : A preliminary account
In: Proceedings of the 7th International Workshop on Nonmonotonic Reasoning (Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning), 64-72
Proceedings Article
1
Hide details for Weydert [Froideveaux, Kohlas]Weydert [Froideveaux, Kohlas]
1995Numeric 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
1
Hide details for Weydert [Fuhrmann, Rott]Weydert [Fuhrmann, Rott]
1996Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
In: Logic, Action, and Information, 152-171
Part of a Book
1
Hide details for Weydert [Gabbay, Kruse]Weydert [Gabbay, Kruse]
1997Rational Default Quantifier Logic
In: Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESQARU-FAPR-97), 589-600
Proceedings Article
1
Hide details for Weydert [Gabbay, Ohlbach]Weydert [Gabbay, Ohlbach]
1996System 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
1
Hide details for Weydert [Horn]Weydert [Horn]
2000How to revise ranked probabilities
In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), 38-42
Proceedings Article
1
Hide details for Weydert [Lopez de Mantaraz, Poole]Weydert [Lopez de Mantaraz, Poole]
1994General Belief Measures
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, 575-582
Proceedings Article
1
Hide details for Weydert [Niemelä]Weydert [Niemelä]
1996Default Quantifier Logic
In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, -
Proceedings Article
1
Hide details for Weydert [Rott, Albert, Brewka, Witteveen]Weydert [Rott, Albert, Brewka, Witteveen]
1999JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Proceedings of the 4th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-99), 57-66
Proceedings Article
1
Hide details for Weydert [Wachsmuth, Rollinger, Brauer]Weydert [Wachsmuth, Rollinger, Brauer]
1995Default 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
1
Hide details for Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen]Weydert, Brewka, Witteveen (ed.) [Brewka, Witteveen]
1997Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97)Proceedings
1
Hide details for Weydert, van der Torre [Lang]Weydert, van der Torre [Lang]
1998Goals, desires, utilities and preferences
In: Proceedings of the ECAI-98 Workshop : Decision theory meets artificial intelligence - qualitative and quantitative approaches, 57-64
Proceedings Article
1
Hide details for Weydert, van der Torre [van der Torre]Weydert, van der Torre [van der Torre]
1999Risk parameters for utilitarian desires
In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-99), Workshop on Practial Reasoning and Rationality, 48-54
Proceedings Article
1
Hide details for Wies [-]Wies [-]
2004Attachment IconSymbolic Shape Analysis
Universität des Saarlandes
Thesis - Masters thesis
1
Hide details for Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi]Wies, Kuncak, Lam, Podelski, Rinard [Kuncak, Lam, Rinard, Emerson, Namjoshi]
2006Attachment IconField Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173
Proceedings Article
1
Hide details for Wu [Gao, Wang]Wu [Gao, Wang]
2000First-Order Polynomial based Theorem Proving
In: Mathematics Mechanizations and Applications, 273-294
Part of a Book
1
Hide details for Wu, Liu [Liu]Wu, Liu [Liu]
1998Well-Behaved Inference Rules for First-Order Theorem Proving
In: Journal of Automated Reasoning [21], 381-400
Journal Article
1
Hide details for Wu, Lu [Lu]Wu, Lu [Lu]
1998CWA in Multi-Valued Logics
In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), 259-270
Proceedings Article
1
Hide details for Wu, Tan, Li [Tan, Li]Wu, Tan, Li [Tan, Li]
1998An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
In: Journal of Applied Non-Classical Logics [8], 353-360
Journal Article
1
Hide details for Xia, Yang [Yang]Xia, Yang [Yang]
2002An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
In: Journal of Symbolic Computation [34], 461-477
Journal Article
1
Hide details for Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh]Yoshida, Bundy, Green, Walsh, Basin [Yoshida, Green, Walsh]
1994Coloured Rippling: An Extension of a Theorem Proving Heuristic
In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89
Proceedings Article
1
Hide details for Yuan, Billington, Freiheit [Yuan, Billington]Yuan, Billington, Freiheit [Yuan, Billington]
2005Attachment IconAn Abstract Model of Routing in Mobile Ad Hoc Networks
In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156
Proceedings Article
1
Hide details for Zeyer [-]Zeyer [-]
1997Eine Beobachtungs-Logik für modulare Sprachen
Universität des Saarlandes
Thesis - PhD thesis
782

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)