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
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
Show details for ProceedingsProceedings
1
Show details for Electronic ProceedingsElectronic Proceedings
429
Show details for Proceedings ArticleProceedings Article
8
Show details for Electronic Proceedings ArticleElectronic Proceedings Article
2
Show details for PosterPoster
176
Show details for Journal ArticleJournal Article
2
Show details for Electronic Journal ArticleElectronic Journal Article
19
Show details for ReportReport
39
Show details for Thesis - Master's thesisThesis - Master's thesis
26
Show details for Thesis - Doctoral dissertationThesis - Doctoral dissertation
9
Show details for Thesis - Habilitation thesisThesis - Habilitation thesis
1
Show details for Thesis - Diploma thesisThesis - Diploma thesis
11
Show details for Unpublished/DraftUnpublished/Draft
4
Show details for MiscellaneousMiscellaneous
782

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