MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 3. Type of Publication - 1. All Types

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
#Author/EditorYearTitle
Nonnengart, Andreas
Ohlbach, Hans Jürgen		1992Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Gabbay, Dov M.		2001Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486
Nonnengart, Andreas
Szalas, Andrzej		1999A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18
Nonnengart, Andreas
Weidenbach, Christoph		2001Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich		1996Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291
Schmidt, Renate A.2000Relational Grammars for Knowledge Representation
In: Variable-Free Semantics, 162-180
Schmidt, Renate A.1998Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208
Schmidt, Renate A.
Tishkovsky, Dmitry		2003Combining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391
Sofronie-Stokkermans, Viorica2003Attachment IconRepresentation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100
Sofronie-Stokkermans, Viorica2000Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7
Stuber, Jürgen1998Superposition theorem proving for commutative rings
In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55
van der Torre, Leendert W. N.
Tan, Yao-Hua		1999An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90
van der Torre, Leendert W. N.
Tan, Yao-Hua		1999Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192
Weidenbach, Christoph2001Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013
Weidenbach, Christoph1998Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197
Weidenbach, Christoph1998Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320
Weydert, Emil1999JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Spinning Ideas - Electronic Essays Dedicated to Peter Gaerdenfors on His Fiftieth Birthday, 1-11
Weydert, Emil1996Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
In: Logic, Action, and Information, 152-171
Wu, Jinzhao2000First-Order Polynomial based Theorem Proving
In: Mathematics Mechanizations and Applications, 273-294
9
Hide details for ProceedingsProceedings
de Nivelle, Schulz (ed.)2001Proceedings of the 2nd International Workshop on the Implementation of Logics
Furbach, Ganzinger, Hasegawa, Kapur (ed.)2000Deduction
Gabbay, Ohlbach (ed.)1994Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic
Ganzinger (ed.)1999Proceedings of the 16th International Conference on Automated Deduction (CADE-16)
Ganzinger (ed.)1996Rewriting Techniques and Applications, 7th International Conference, RTA-96
Ganzinger, McAllester, Voronkov (ed.)1999Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)
Jensen, Podelski (ed.)2004Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004
Podelski (ed.)1995Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328
Weydert, Brewka, Witteveen (ed.)1997Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97)
1
Show details for Electronic ProceedingsElectronic Proceedings

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