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: Download

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

FilenameSize (KB)Can be sorted ascendingAccessTypeAuthor(s) [non member]TitleYear
_03LICS.pdf136Public
Proceedings ArticleGanzinger, Harald
Korovin, Konstantin
New Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64
2003
_03CADE.2.ps211Public
Proceedings ArticleGanzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe
Superposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196
2003
_03CADE.1.ps227Public
Proceedings ArticleGanzinger, Harald
[Stuber, Jürgen]
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349
2003
_02ICLP.pdf156Public
Proceedings ArticleGanzinger, Harald
[McAllester, David]
Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223
2002
_02CADE.pdf176Public
Proceedings ArticleGanzinger, HaraldShostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346
2002
_01LICS.ps.gz56Public
Proceedings ArticleGanzinger, HaraldRelating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01), 81-90
2001
_01IJCAR-2.pdf164Public
Proceedings ArticleGanzinger, Harald
[McAllester, David]
A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528
2001
_01IJCAR-1.pdf149Public
Proceedings ArticleGanzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
Context trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256
2001
_01AIML.ps.gz105Public
Part of a BookGanzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A.
A Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246
2001
_00ISMVL_ps.gz55Public
Proceedings ArticleGanzinger, Harald
Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics
In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), 337-344
2000
YevgenyThesis.pdf3052Public
Thesis - Doctoral dissertationKazakov, YevgenySaturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes
2006
wm.ps393Intranet
Journal Article[Löchner, Bernd]
Hillenbrand, Thomas
A Phytography of WALDMEISTER
In: AI Communications [15], 127-133
2002
wmloop.ps386Public
Proceedings ArticleHillenbrand, Thomas
[Löchner, Bernd]
The Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500
2002
UAI98.ps.gz55
55
Public
Proceedings ArticleJaeger, ManfredMeasure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281
1998
uai98final.ps.gz55
55
Public
Proceedings ArticleJaeger, ManfredMeasure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281
1998
UAI97.ps.gz44Public
Proceedings ArticleJaeger, ManfredRelational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273
1997
tv06proceedings.pdf5023Internal
Internet Download forbidden
Unpublished/DraftMalkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey
Thread-Modular Verification and Cartesian Abstraction2006
thesis.ps1598
Thesis - Doctoral dissertationMukhopadhyay, SupratikA Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes
2001
thesis-thoma_wies.pdf584Public
Thesis - Master's thesisWies, ThomasSymbolic Shape Analysis
Universität des Saarlandes
2004
tableaux-2002.pdf241Public
Proceedings ArticleSofronie-Stokkermans, VioricaOn uniform word problems involving bridging operators on distributive lattices
In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, 235-250
2002
SubDL.pdf154Public
Proceedings ArticleKazakov, Yevgeny
de Nivelle, Hans
Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64
2003
studia-logica-2000-2.pdf1351
807
Intranet
Journal ArticleSofronie-Stokkermans, VioricaDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172
2000
studia-logica-2000-1.pdf1351Intranet
Journal ArticleSofronie-Stokkermans, VioricaDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
In: Studia Logica [64], 93-132
2000
studia-logica-2000-1.pdf1351
807
Intranet
Journal ArticleSofronie-Stokkermans, VioricaDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172
2000
stuber.ps453Public
Thesis - Master's thesisStuber, JürgenInductive Theorem Proving for Horn Clauses
Universität Dortmund
1991
Stuber1999Diss.ps.gz399Public
Thesis - Doctoral dissertationStuber, JürgenSuperposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes
1999
spass2002.ps106Public
Proceedings ArticleWeidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor
SPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279
2002
sofronie-stokkermans-fct-1999.ps.gz92Public
Proceedings ArticleSofronie-Stokkermans, Viorica
[Stokkermans, Karel]
Modeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523
1999
sofronie-ijcar-06.pdf192Public
Proceedings ArticleSofronie-Stokkermans, VioricaInterpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250
2006
sofronie-dam-revised.ps553Intranet
Journal ArticleSofronie-Stokkermans, VioricaAutomated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ?
2007
sofronie-cade2000.ps260Public
Proceedings ArticleSofronie-Stokkermans, VioricaOn unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481
2000
sofronie-cade-2005.pdf518Public
Proceedings ArticleSofronie-Stokkermans, VioricaHierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234
2005
sofronie-acm-tocl-final.pdf427Intranet
Journal ArticleSofronie-Stokkermans, VioricaOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ?
2007
Rybalchenko2007PLDI-Threads.pdf283Internal
Internet Download forbidden
Proceedings Article[Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey
Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330
2007
Rybalchenko2007PLDI-Paths.pdf212Internal
Internet Download forbidden
Proceedings Article[Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey
Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309
2007
Rybalchenko2007PADL.pdf396Internal
Internet Download forbidden
Proceedings Article[Podelski, Andreas]
Rybalchenko, Andrey
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259
2007
rock.ps1107
Thesis - Master's thesisRock, GeorgTransformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes
1995
RecResML.dvi21Public
Proceedings ArticleKazakov, YevgenyRecursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15
2002
RatschanVehi.ps.gz131Public
Proceedings ArticleRatschan, Stefan
Vehi, Josep
Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328
2004
Ratschan2007.pdf201Intranet
Internet Download forbidden
Journal ArticleRatschan, Stefan
She, Zhikun
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23
2007
pwm.ps110Public
Proceedings Article[Gaillourdet, Jean-Marie]
Hillenbrand, Thomas
[Löchner, Bernd]
[Spies, Hendrik]
The New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321
2003
promotion.ps2703
Thesis - Doctoral dissertationGamkrelidze, AlexanderEinige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes
2001
PROBMIV99.ps.gz67
166
Public
Proceedings ArticleJaeger, ManfredFairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66
1999
probmiv99.ps67
166
Public
Proceedings ArticleJaeger, ManfredFairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66
1999
pods98.ps247Internal
Proceedings ArticleVorobyov, Sergei
Voronkov, Andrei
Complexity of Nonrecursive Logic Programs with Complex Values
In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-98), 244-253
1998
PodelskiWagner02_2007.pdf214Intranet
Internet Download forbidden
Poster[Podelski, Andreas]
Wagner, Silke
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753
2007
pgmfinal.ps195Public
Proceedings ArticleJaeger, ManfredProbababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference
In: Proceedings of the First European Workshop on Probabilistic Graphical Models, 81-88
2002
paper80.ps177
Proceedings ArticleVorobyov, Sergei$\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard
In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), 597-606
1998
NOSup.ps104Public
Electronic Proceedings ArticleHillenbrand, ThomasA Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20
2004
next-wm-loop.ps244
Proceedings ArticleHillenbrand, Thomas
[Löchner, Bernd]
The Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21
2001
mvl-book-02.ps375Public
Part of a BookSofronie-Stokkermans, VioricaRepresentation 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
2003
mt.pdf284Public
Thesis - Master's thesisTimm, Jan-GeorgTesting the Satisfiability of RPO Constraints
Universität des Saarlandes
1997
MPI-I-2007-2-001.pdf235Public
Report[Podelski, Andreas]
Wagner, Silke
A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems2007
MPI-I-2004-2-002.ps200Public
ReportMaier, PatrickIntuitionistic LTL and a New Characterization of Safety and Liveness2004
MPI-I-2004-2-001.pdf269Public
Reportde Nivelle, Hans
Kazakov, Yevgeny
Resolution Decision Procedures for the Guarded Fragment with
Transitive Guards
2004
mifinal-main.ps360Public
Electronic Journal ArticleJaeger, ManfredRelational Bayesian Networks: a Survey
In: Electronic Transactions on Artificial Intelligence [6],
2002
meyer.ps1139
Thesis - Master's thesisMeyer, ChristophParallel Unit Resulting Resolution
Universität des Saarlandes
1996
MChristen_MT.ps415
Thesis - Master's thesisChristen, MichaelA Calculus of Simplification for Superposition
Universität des Saarlandes
1997
masterthesis.pdf237Public
Thesis - Master's thesisSchäf, MartinAbstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes
2006
mainsub.ps213
Proceedings ArticleMukhopadhyay, Supratik
Podelski, Andreas
Constraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258
2001
lpar2005.pdf220Public
Unpublished/DraftBaumgartner, Peter
Suchanek, Fabian
Model-Generation Theorem Proving for First-Order Logic Ontologies2005
ln20060912.pdf163Internal
MiscellaneousBrahm, UweEine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik2006
LICS98.ps.gz94
245
Public
Proceedings ArticleJaeger, ManfredConvergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55
1998
lics98final.ps94
245
Public
Proceedings ArticleJaeger, ManfredConvergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55
1998
kv_LICS03.ps196Intranet
Proceedings ArticleKorovin, Konstantin
[Voronkov, Andrei]
Orienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84
2003
kv_cade19.ps323Intranet
Proceedings ArticleKorovin, Konstantin
[Voronkov, Andrei]
AC-compatible Knuth-Bendix Order
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59
2003
KR98.ps.gz70
70
Public
Proceedings ArticleJaeger, ManfredReasoning About Infinite Random Structures with Relational Bayesian Networks
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 570-581
1998
Kaz04GF2N.pdf200Public
Proceedings ArticleKazakov, YevgenyA Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384
2004
JungDipl.ps849
Thesis - Master's thesisJung, GeorgEin Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes
2001
jsc-2003.pdf398Intranet
Journal ArticleSofronie-Stokkermans, VioricaResolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
In: Journal of Symbolic Computation [36], 891-924
2003
jim-03-sofronie.ps.gz126Public
Proceedings ArticleSofronie-Stokkermans, VioricaAutomated theorem proving by resolution in non-classical logics
In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), 151-167
2003
jappreas-final.ps213MPG
Journal ArticleJaeger, ManfredAutomatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22
2001
j-mvl-2001.ps.gz221Intranet
Journal ArticleSofronie-Stokkermans, VioricaAutomated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
In: Multiple-Valued Logic - An International Journal [6], 289-344
2001
j-mvl-2000.ps337Intranet
Journal ArticleSofronie-Stokkermans, VioricaPriestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
In: Multiple-Valued Logic - An International Journal [5], 281-305
2000
isa_mc_lpar05.pdf455Institute
Proceedings Article[Daum, Matthias]
Maus, Stefan
[Schirmer, Norbert]
Seghir, Mohammed Nassim
Integration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395
2005
InstGen-final.pdf428Public
Proceedings ArticleJacobs, Swen
Waldmann, Uwe
Comparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168
2005
InstanceGenerationMethods.ps.gz316Public
Thesis - Master's thesisJacobs, SwenInstance Generation Methods for Automated Reasoning
Universität des Saarlandes
2004
ijcai01final.pdf108Public
Proceedings ArticleJaeger, ManfredConstraints as Data: a New Perspective on Inferring Probabilities
In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 755-760
2001
gjoin.ps264Public
Journal Article[Avenhaus, Jürgen]
Hillenbrand, Thomas
[Löchner, Bernd]
On Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233
2003
gaede.ps511
Thesis - Master's thesisGaede, BerndSuperposition Extended with Sorts
Universität Kaiserslautern
1995
ftp98-lncs-selection.pdf253Public
Proceedings ArticleSofronie-Stokkermans, VioricaResolution-based theorem proving for SHn-logics
In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282
2000
ftp-98.pdf253Public
ReportSofronie-Stokkermans, VioricaResolution-based Theorem Proving for SHn-Logics1998
final_summaries.ps165Intranet
Proceedings ArticlePodelski, Andreas
Schaefer, Ina
Wagner, Silke
Summaries for While Programs with Recursion
In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107
2005
field-constraint-analysis.pdf148Public
Proceedings ArticleWies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.]
Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173
2006
evaluation.ps171
Proceedings Article[Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei]
On the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271
2001
EnhancedWorkflowModels.pdf197Public
Proceedings ArticleFreiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27
2005
engel.ps.gz250Public
Thesis - Master's thesisEngel, ThorstenQuantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes
1996
ecsqaru03final.ps123MPG
Proceedings ArticleJaeger, ManfredA Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61
2003
diss.pdf665
Thesis - Doctoral dissertationMaier, PatrickA Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes
2003
dissview.dvi892
Thesis - Doctoral dissertationBaumeister, HubertRelations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes
1999
DiplomRybalchenko.ps437Public
Thesis - Master's thesisRybalchenko, AndreyA Model Checker based on Abstraction Refinement
Universität des Saarlandes
2002
DIPLOM-90.ps601
Thesis - Master's thesisBaumeister, HubertÜber die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund
1990
deraedtl_inductive.ps181MPG
Proceedings Article[de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki]
A Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130
2002
csl98-final.ps197
Proceedings ArticleVorobyov, SergeiSubtyping Functional+Nonempty Record Types
In: Proceedings of the 12th International Workshop on Computer Science Logic (CSL-98), Annual Conference on the EACSL, 285-297
1999
citius.ps357Public
Electronic Proceedings ArticleHillenbrand, ThomasCitius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13
2003
cade-99.pdf248Public
Proceedings ArticleSofronie-Stokkermans, VioricaOn the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171
1999
beyond.ps208
Proceedings ArticleMukhopadhyay, Supratik
Podelski, Andreas
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244
1999
becker.ps736
Thesis - Master's thesisBecker, JoachimEffiziente Subsumption in Deduktionssystemen
Universität des Saarlandes
1994
bach.ps510Public
Thesis - Master's thesisBach, AlexanderStatic analysis of functional programs via Linear Logic
Universität des Saarlandes
1996
ATTSH4YZ.gz70
70
Public
Proceedings ArticleJaeger, ManfredReasoning About Infinite Random Structures with Relational Bayesian Networks
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 570-581
1998
AtomFinal.ps547
Proceedings ArticleAfshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph
First-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319
2001
analysis.ps81Public
Proceedings ArticleHillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor
Is Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30
2002
An Abstract Model of Routing in Mobile Ad Hoc Networks.pdf286Public
Proceedings Article[Yuan, Cong]
[Billington, Jonathan]
Freiheit, Jörn
An 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
2005
amai.pdf400MPG
Journal ArticleJaeger, ManfredComplex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220
2001
aij00.ps.gz77MPG
Journal ArticleJaeger, ManfredOn the complexity of inference about probabilistic relational models
In: Artificial Intelligence [117], 297-308
2000
abdelwaheb.ps848Public
Thesis - Master's thesisAyari, AbdelwahebA Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes
1995
99LICS_2_ps.gz127
56
Public
Proceedings ArticleGanzinger, Harald
de Nivelle, Hans
A Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303
1999
99LICS_2.pdf127
56
Public
Proceedings ArticleGanzinger, Harald
de Nivelle, Hans
A Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303
1999
85998158.ps213Public
ReportPodelski, Andreas
Schaefer, Ina
Wagner, Silke
Summaries for While Programs with Recursion2004
2003JAR.ps371Public
Journal ArticleGanzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
Fast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120
2004
2001JACM.ps.gz140Public
Journal Article[Basin, David A.]
Ganzinger, Harald
Automated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109
2001
2001Handbook.ps.gz401
Part of a BookBachmair, Leo
Ganzinger, Harald
Resolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99
2001
2001CCL.ps.gz165
182
Public
Proceedings ArticleGanzinger, Harald
[Nieuwenhuis, Robert]
Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201
2001
2001CCL.dvi165
182
Public
Proceedings ArticleGanzinger, Harald
[Nieuwenhuis, Robert]
Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201
2001
13_jacobs_sofronie.pdf173Public
Electronic Proceedings ArticleJacobs, Swen
Sofronie-Stokkermans, Viorica
Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26
2006
0003017.tar.gz19
58
Public
Electronic Proceedings ArticleBooth, RichardThe lexicographic closure as a revision process
In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), ?
2000
0003017.ps.gz19
58
Public
Electronic Proceedings ArticleBooth, RichardThe lexicographic closure as a revision process
In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), ?
2000

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