Constructive Formalization of Hybrid Logic with Eventualities
(pdf)
Christian Doczkal, Gert Smolka
Certified Programs and Proofs
Clausal Tableaux for Hybrid PDL
(pdf)
Mark Kaminski, Gert Smolka
M4M-7
Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities
(pdf)
Mark Kaminski, Gert Smolka
Technical Report
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics
(pdf)
Mark Kaminski, Thomas Schneider, Gert Smolka
TABLEAUX 2011
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Mark Kaminski, Sigurd Schneider, Gert Smolka
Logical Methods in Computer Science
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Chad E. Brown, Gert Smolka
Logical Methods in Computer Science
Spartacus: A Tableau Prover for Hybrid Logic
(pdf)
Daniel Götzmann, Mark Kaminski, Gert Smolka
M4M-6
Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference
(pdf)
Mark Kaminski, Gert Smolka
LPAR-17
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
(pdf)
Mark Kaminski, Gert Smolka
TCS 2010
Clausal Tableaux for Hybrid PDL
(pdf)
Mark Kaminski, Gert Smolka
Technical Report
Terminating Tableaux for Hybrid Logic with Eventualities
(pdf)
Mark Kaminski, Gert Smolka
IJCAR 2010
Complete Cut-Free Tableaux for Equational Simple Type Theory
(pdf)
Chad E. Brown, Gert Smolka
Technical Report
Extended First-Order Logic
(pdf)
Chad E. Brown, Gert Smolka
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Proceedings
Terminating Tableaux for the Basic Fragment of Simple Type Theory
(pdf)
Chad E. Brown, Gert Smolka
TABLEAUX 2009
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
(pdf)
Mark Kaminski, Gert Smolka
DL 2009
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
(pdf)
Mark Kaminski, Sigurd Schneider, Gert Smolka
TABLEAUX 2009
Terminating Tableau Systems for Hybrid Logic with Difference and Converse
(pdf)
Mark Kaminski, Gert Smolka
Journal of Logic, Language and Information
Hybrid Tableaux for the Difference Modality
(pdf)
Mark Kaminski, Gert Smolka
M4M-5
A Minimal Propositional Type Theory
(pdf)
Mark Kaminski, Gert Smolka
Technical Report
A Finite Axiomatization of Propositional Type Theory in Pure Lambda Calculus
(pdf)
Mark Kaminski, Gert Smolka
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
Terminating Tableau Systems for Modal Logic with Equality
(pdf)
Mark Kaminski, Gert Smolka
Technical Report
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse
(pdf)
Mark Kaminski, Gert Smolka
IJCAR 2008
Higher-Order Syntax and Saturation Algorithms for Hybrid Logic
(pdf)
Moritz Hardt, Gert Smolka
Electronic Notes in Theoretical Computer Science
A Straightforward Saturation-Based Decision Procedure for Hybrid Logic
(pdf)
Mark Kaminski, Gert Smolka
International Workshop on Hybrid Logic 2007 (HyLo 2007)
Multi-dimensional Dependency Grammar as Multigraph Description
(pdf)
Ralph Debusmann, Gert Smolka
Proceedings of FLAIRS-19
A Concurrent Lambda Calculus with Futures
(pdf)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
Theoretical Computer Science
Alice Through the Looking Glass
(pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Trends in Functional Programming, Volume 5
Generating Propagators for Finite Set Constraints
(pdf)
Guido Tack, Christian Schulte, Gert Smolka
12th International Conference on Principles and Practice of Constraint Programming
Generic Pickling and Minimization
(pdf)
Guido Tack, Leif Kornstaedt, Gert Smolka
Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005)
A Concurrent Lambda Calculus with Futures
(pdf)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
5th International Workshop on Frontiers in Combining Systems
Alice Through the Looking Glass (Extended Mix)
(pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Technical Report
A Relational Syntax-Semantics Interface Based on Dependency Grammar
(pdf)
Ralph Debusmann, Denys Duchier, Alexander Koller, Marco Kuhlmann, Gert Smolka, Stefan Thater
Proceedings of the 20th International Conference on Computational Linguistics (COLING 2004)
Efficient Logic Variables for Distributed Computing
(pdf)
Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka
ACM Transactions on Programming Languages and Systems
A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling
(pdf)
Denys Duchier, Leif Kornstaedt, Christian Schulte, Gert Smolka
Technical Report
Futures and By-need Synchronization
(pdf)
Michael Mehl, Christian Schulte, Gert Smolka
Technical Report
Concurrent Constraint Programming Based on Functional Programming
(pdf)
Gert Smolka
Programming Languages and Systems
An Overview of the Design of Distributed Oz
(pdf)
Seif Haridi, Peter Van Roy, Gert Smolka
Proceedings of the Second International Symposium on Parallel Symbolic Computation (PASCO '97)
Mobile Objects in Distributed Oz
(pdf)
Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, Ralf Scheidhauer
ACM Transactions on Programming Languages and Systems
Oz: Nebenläufige Programmierung mit Constraints
(pdf)
Martin Müller, Gert Smolka
KI - Künstliche Intelligenz
Problem Solving with Constraints and Programming
(pdf)
Gert Smolka
ACM Computing Surveys
A Complete and Recursive Feature Theory
(pdf)
Rolf Backofen, Gert Smolka
Theoretical Computer Science
Operational Semantics of Constraint Logic Programs with Coroutining
(pdf)
Andreas Podelski, Gert Smolka
Proceedings of the 1995 International Conference on Logic Programming
Situated Simplification
(pdf)
Andreas Podelski, Gert Smolka
Proceedings of the 1st Conference on Principles and Practice of Constraint Programming
The Oz Programming Model
(pdf)
Gert Smolka
Computer Science Today
Object-Oriented Concurrent Constraint Programming in Oz
(pdf)
Gert Smolka, Martin Henz, Jörg Würtz
Principles and Practice of Constraint Programming
The Definition of Kernel Oz
(pdf)
Gert Smolka
Constraints: Basics and Trends
A Feature-based Constraint System for Logic Programming with Entailment
(pdf)
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
Theoretical Computer Science
A Confluent Relational Calculus for Higher-Order Programming with Constraints
(pdf)
Joachim Niehren, Gert Smolka
1st International Conference on Constraints in Computational Logics
Encapsulated Search in Higher-order Concurrent Constraint Programming
(pdf)
Christian Schulte, Gert Smolka
Logic Programming: Proceedings of the 1994 International Symposium
Encapsulated Search and Constraint Programming in Oz
(pdf)
Christian Schulte, Gert Smolka, Jörg Würtz
Second Workshop on Principles and Practice of Constraint Programming
A Foundation for Higher-order Concurrent Constraint Programming
(pdf)
Gert Smolka
1st International Conference on Constraints in Computational Logics
A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards
(pdf)
Gert Smolka
Technical Report
Records for Logic Programming
(pdf)
Gert Smolka, Ralf Treinen
Journal of Logic Programming
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
(pdf)
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
Journal of Logic, Language and Information
Oz---A Programming Language for Multi-Agent Systems
(pdf)
Martin Henz, Gert Smolka, Jörg Würtz
13th International Joint Conference on Artificial Intelligence
Residuation and Guarded Rules for Constraint Logic Programming
(pdf)
Gert Smolka
Constraint Logic Programming: Selected Research
Feature Constraint Logics for Unification Grammars
(pdf)
Gert Smolka
Journal of Logic Programming
Attributive Description Formalisms and the Rest of the World
(pdf)
Bernhard Nebel, Gert Smolka
Text Understanding in LILOG
Representation and Reasoning with Attributive Descriptions
(pdf)
Bernhard Nebel, Gert Smolka
Sorts and Types in Artificial Intelligence
Logic Programming over Polymorphically Order-Sorted Types
(pdf)
Gert Smolka
PhD Thesis, Fachbereich Informatik,Universität Kaiserslautern
Definite Relations over Constraint Languages
(pdf)
Markus Höhfeld, Gert Smolka
Technical Report
TEL (Version 0.9), Report and User Manual
(pdf)
Gert Smolka
Technical Report
A Feature Logic with Subsorts
(pdf)
Gert Smolka
Technical Report