Publications of the Programming Systems Lab

Saarland University Computer Science

Select author:

2023

Constructive and Synthetic Reducibility Degrees: Post’s Problem for Many-one and Truth-table Reducibility in Coq   (pdf)
Yannick Forster, Felix Jahn
Computer Science Logic (CSL'23), Warsaw, Poland

Gödel's Theorem Without Tears: Essential Incompleteness in Synthetic Computability   (pdf)
Dominik Kirst, Benjamin Peters
Computer Science Logic (CSL'23), Warsaw, Poland

A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory   (pdf)
Yannick Forster, Felix Jahn, Gert Smolka
CPP 2023 - Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

2022

An Analysis of Tennenbaum's Theorem in Constructive Type Theory   (pdf)
Marc Hermes, Dominik Kirst
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Haifa, Israel

Computational Back-and-Forth Arguments in Constructive Type Theory   (pdf)
Dominik Kirst
13th International Conference on Interactive Theorem Proving (ITP 2022), Haifa, Israel

Undecidability of Dyadic First-Order Logic in Coq   (pdf)
Johannes Hostert, Andrej Dudenhefner, Dominik Kirst
13th International Conference on Interactive Theorem Proving (ITP 2022), Haifa, Israel

Undecidability, Incompleteness, and Completeness of Second-Order Logic in Coq   (pdf)
Mark Koch, Dominik Kirst
Certified Programs and Proofs (CPP), January 17-18, 2022, Philadelphia, Pennsylvania, U.S.A.

Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic   (pdf)
Christian Hagemeier, Dominik Kirst
Logical Foundations of Computer Science (LFCS), January 10-13, 2022, Deerfield Beach, Florida, U.S.A.

Constructive Many-one Reduction from the Halting Problem to Semi-unification   (pdf)
Andrej Dudenhefner
30th EACSL Annual Conference on Computer Science Logic (CSL 2022)

2021

Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory: Extended Version   (pdf)
Yannick Forster, Dominik Kirst, Dominik Wehr
Journal of Logic and Computation

Computability in Constructive Type Theory
Yannick Forster
PhD Thesis, Saarland University

Kripke Semantics for Intersection Formulas   (pdf)
Andrej Dudenhefner, Paweł Urzyczyn
Transactions on Computational Logic

A Mechanised Proof of the Time Invariance Thesis for the Weak Call-by-value λ-Calculus   (pdf)
Yannick Forster, Fabian Kunze, Gert Smolka, Maximilian Wuttke
12th International Conference on Interactive Theorem Proving (ITP 2021)

Mechanising Complexity Theory: The Cook-Levin Theorem in Coq   (pdf)
Lennard Gäher, Fabian Kunze
12th International Conference on Interactive Theorem Proving (ITP 2021)

Synthetic Undecidability and Incompleteness of First-Order Axiom Systems in Coq   (pdf)
Dominik Kirst, Marc Hermes
12th International Conference on Interactive Theorem Proving (ITP 2021)

The Undecidability of System F Typability and Type Checking for Reductionists   (pdf)
Andrej Dudenhefner
LICS 2021, (36th Annual ACM/IEEE Symposium on Logic in Computer Science)

The Generalised Continuum Hypothesis Implies the Axiom of Choice in Coq   (pdf)
Dominik Kirst, Felix Rech
10th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2021, Copenhagen, Denmark

Church’s Thesis and Related Axioms in Coq’s Type Theory   (pdf)
Yannick Forster
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

2020

A History of the Oz Multiparadigm Language   (pdf)
Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka
Proceedings of the ACM on Programming Languages

Undecidability of Semi-Unification on a Napkin   (pdf)
Andrej Dudenhefner
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Paris, France

Mechanising Syntax with Binders in Coq   (pdf)
Kathrin Stark
PhD Thesis, Saarland University

Trakhtenbrot's Theorem in Coq: A Constructive Approach to Finite Model Theory   (pdf)
Dominik Kirst, Dominique Larchey-Wendling
International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France

Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq   (pdf)
Matthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau, Théo Winterhalter
47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), New Orleans, USA

Verified Programming of Turing Machines in Coq   (pdf)
Yannick Forster, Fabian Kunze, Maximilian Wuttke
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20–21, 2020

Coq à la Carte - A Practical Approach to Modular Syntax with Binders   (pdf)
Yannick Forster, Kathrin Stark
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, USA

Undecidability of Higher-Order Unification Formalised in Coq   (pdf)
Simon Spies, Yannick Forster
9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, USA

Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory   (pdf)
Yannick Forster, Dominik Kirst, Dominik Wehr
Symposium on Logical Foundations Of Computer Science (LFCS 2020), January 4-7, 2020, Deerfield Beach, Florida, U.S.A.

The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space   (pdf)
Yannick Forster, Fabian Kunze, Marc Roth
47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), New Orleans, USA

2019

Formal Verification of the Equivalence of System F and the Pure Type System L2   (pdf)
Jonas Kaiser
PhD Thesis

Engineering Formal Systems in Constructive Type Theory   (pdf)
Steven Schäfer
PhD Thesis, Saarland University

A certifying extraction with time bounds from Coq to call-by-value λ-calculus   (pdf)
Yannick Forster, Fabian Kunze
Interactive Theorem Proving - 10th International Conference, ITP 2019, Portland, USA

Hilbert's Tenth Problem in Coq   (pdf)
Dominique Larchey-Wendling, Yannick Forster
4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany

Autosubst 2: Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions   (pdf)
Kathrin Stark, Steven Schäfer, Jonas Kaiser
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019

Call-By-Push-Value in Coq: Operational, Equational and Denotational Theory   (pdf)
Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019

On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem   (pdf)
Yannick Forster, Dominik Kirst, Gert Smolka
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019

Certified Undecidability of Intuitionistic Linear Logic via Binary Stack Machines and Minsky Machines   (pdf)
Yannick Forster, Dominique Larchey-Wendling
8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019

2018

A Verified Compiler for a Linear Function/Imperative Intermediate Language   (pdf)
Sigurd Schneider
PhD Thesis, Saarland University

Call-by-Value Lambda Calculus as a Model of Computation in Coq   (pdf)
Yannick Forster, Gert Smolka
Journal of Automated Reasoning

Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory   (pdf)
Dominik Kirst, Gert Smolka
Journal of Automated Reasoning

Formal Small-step Verification of a Call-by-value Lambda Calculus Machine   (pdf)
Fabian Kunze, Gert Smolka, Yannick Forster
16th Asian Symposium on Programming Languages and Systems, APLAS 2018, Wellington, New Zealand, December 2-6

Embedding Higher-Order Abstract Syntax in Type Theory   (pdf)
Steven Schäfer, Kathrin Stark
24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, June 18 - 21

Constructive Analysis of S1S and Büchi Automata   (pdf)
Moritz Lichter, Gert Smolka
arXiv:1804.04967

Completeness and decidability of converse PDL in the constructive type theory of Coq   (pdf)
Christian Doczkal, Joachim Bard
7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, USA, January 8-9, 2018

Binder Aware Recursion over Well-Scoped de Bruijn Syntax   (pdf)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
Certified Programs and Proofs - 7th International Conference, CPP 2018, Los Angeles, USA, January 8-9, 2018

Large Model Constructions for Second-Order ZF in Dependent Type Theory   (pdf)
Dominik Kirst, Gert Smolka
Certified Programs and Proofs - 7th International Conference, CPP 2018, Los Angeles, USA, January 8-9, 2018

Verification of PCP-Related Computational Reductions in Coq   (pdf)
Yannick Forster, Edith Heiter, Gert Smolka
Interactive Theorem Proving - 9th International Conference, ITP 2018, Oxford, UK, July 9-12, 2018

Regular Language Representations in the Constructive Type Theory of Coq   (pdf)
Christian Doczkal, Gert Smolka
Journal of Automated Reasoning

2017

Autosubst 2: Towards Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions   (pdf)
Jonas Kaiser, Steven Schäfer, Kathrin Stark
LFMTP

Verified Spilling and Translation Validation with Repair   (pdf)
Julian Rosemann, Sigurd Schneider, Sebastian Hack
ITP

Relating System F and λ2: A Case Study in Coq, Abella and Beluga   (pdf)
Jonas Kaiser, Brigitte Pientka, Gert Smolka
Proceedings of FSCD 2017

On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control   (pdf)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
International Conference on Functional Programming, ICFP 2017, Oxford, United Kingdom, September 3-9, 2017

Tower Induction and Up-To Techniques for CCS with Fixed Points   (pdf)
Steven Schäfer, Gert Smolka
Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq   (pdf)
Yannick Forster, Gert Smolka
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017

Categoricity Results for Second-Order ZF in Dependent Type Theory   (pdf)
Dominik Kirst, Gert Smolka
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017

Equivalence of System F and λ2 in Abella   (pdf)
Jonas Kaiser, Gert Smolka
Workshop Presentation at TTT 2017, Paris

Equivalence of System F and λ2 in Coq Based on Context Morphism Lemmas   (pdf)
Jonas Kaiser, Tobias Tebbi, Gert Smolka
Proceedings of CPP 2017

2016

An Inductive Proof Method for Simulation-based Compiler Correctness
Sigurd Schneider, Gert Smolka, Sebastian Hack
Technical Report

Hereditarily Finite Sets in Constructive Type Theory   (pdf)
Gert Smolka, Kathrin Stark
Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-27, 2016

Two-Way Automata in Coq   (pdf)
Christian Doczkal, Gert Smolka
Interactive Theorem Proving (ITP 2016)

A Machine-Checked Constructive Metatheory of Computation Tree Logic   (pdf)
Christian Doczkal
PhD Thesis, Saarland University

Axiomatic Semantics for Compiler Verification   (pdf)
Steven Schäfer, Sigurd Schneider, Gert Smolka
5th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2016, St. Petersburg, FL, USA, January 20-22

Completeness and Decidability Results for CTL in Constructive Type Theory   (pdf)
Christian Doczkal, Gert Smolka
Journal of Automated Reasoning

2015

Transfinite Constructions in Classical Type Theory   (pdf)
Gert Smolka, Steven Schäfer, Christian Doczkal
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015

Autosubst: Reasoning with de Bruijn Terms and Parallel Substitutions   (pdf)
Steven Schäfer, Tobias Tebbi, Gert Smolka
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015

A Linear First-Order Functional Intermediate Language for Verified Compilers   (pdf)
Sigurd Schneider, Gert Smolka, Sebastian Hack
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015

Completeness and Decidability of de Bruijn Substitution Algebra in Coq   (pdf)
Steven Schäfer, Gert Smolka, Tobias Tebbi
Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015

2014

Glivenko and Kuroda for Simple Type Theory
Chad E. Brown, Christine Rizkallah
The Journal of Symbolic Logic

Completeness and Decidability Results for CTL in Coq   (pdf)
Christian Doczkal, Gert Smolka
Interactive Theorem Proving (ITP 2014)

A Goal-Directed Decision Procedure for Hybrid PDL   (pdf)
Mark Kaminski, Gert Smolka
Journal of Automated Reasoning

2013

Reconsidering Pairs and Functions as Sets   (pdf)
Chad E. Brown
Technical Report, Technical Report of Article Submitted to Journal of Automated Reasoning

From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction   (pdf)
Chad E. Brown, Christine Rizkallah

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification   (pdf)
Tobias Tebbi
Master's Thesis, Saarland University

Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification   (pdf)
Gert Smolka, Tobias Tebbi
24rd International Conference on Rewriting Techniques and Applications (RTA'13)

A Constructive Theory of Regular Languages in Coq   (pdf)
Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
Certified Programs and Proofs, Third International Conference (CPP 2013)

Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems   (pdf)
Chad E. Brown
Journal of Automated Reasoning

InKreSAT: Modal Reasoning via Incremental Reduction to SAT   (pdf)
Mark Kaminski, Tobias Tebbi
CADE-24

2012

Formal Costruction of a Set Theory in Coq   (pdf)
Jonas Kaiser
Master's Thesis, Programming Systems Lab, Saarland University

Constructive Completeness for Modal Logic with Transitive Closure   (pdf)
Christian Doczkal, Gert Smolka
Certified Programs and Proofs, Second International Conference (CPP 2012)

Satallax: An Automated Higher-Order Prover   (pdf)
Chad E. Brown
6th International Joint Conference on Automated Reasoning (IJCAR 2012)

Step-indexed Relational Reasoning for Countable Nondeterminism   (pdf)
Jan Schwinghammer, Lars Birkedal
Submitted

Incremental Decision Procedures for Modal Logics with Nominals and Eventualities   (pdf)
Mark Kaminski
PhD Thesis, Saarland University

First steps in synthetic guarded domain theory: step-indexing in the topos of trees   (pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logical Methods in Computer Science

A Step-indexed Kripke Model of Hidden State   (pdf)
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
Mathematical Structures in Computer Science

2011

Correctness of Tableau-Based Decision Procedures with Backjumping   (pdf)
Tobias Tebbi
B.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University

Glivenko and Kuroda for Simple Type Theory   (pdf)
Chad E. Brown, Christine Rizkallah
Technical Report, Submitted

Clausal Tableaux for Hybrid PDL   (pdf)
Mark Kaminski, Gert Smolka
M4M-7

Constructive Formalization of Hybrid Logic with Eventualities   (pdf)
Christian Doczkal, Gert Smolka
Certified Programs and Proofs, First International Conference (CPP 2011)

Step-indexed Relational Reasoning for Countable Nondeterminism   (pdf)
Jan Schwinghammer, Lars Birkedal
Computer Science Logic (CSL'11)

Nested Hoare Triples and Frame Rules for Higher-order Store
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Logical Methods in Computer Science

Faithful Reproductions of the Automath Landau Formalization   (pdf)
Chad E. Brown
Technical Report

Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities   (pdf)
Mark Kaminski, Gert Smolka
Technical Report

Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems   (pdf)
Chad E. Brown
CADE – the 23rd International Conference on Automated Deduction

Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics   (pdf)
Mark Kaminski, Thomas Schneider, Gert Smolka
TABLEAUX 2011

First steps in synthetic guarded domain theory: step-indexing in the topos of trees   (pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logic in Computer Science (LICS'11)

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 Higher-Order Logic with Choice   (pdf)
Julian Backes, Chad E. Brown
Journal of Automated Reasoning

A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces   (pdf)
Jan Schwinghammer, Lars Birkedal, Kristian Støvring
Foundations of Software Science and Computation Structures (FOSSACS'11)

Step-indexed Kripke Models over Recursive Worlds   (pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
Principles of Programming Languages (POPL'11)

2010

Reconsidering Lucid - a modern approach   (pdf)
Jonas Kaiser
B.A. Dissertation, Churchill College, University of Cambridge, Bachelors Thesis

Correctness of Program Translations for Observational Semantics   (pdf)
Manfred Schmidt-Schauß, David Sabel, Joachim Niehren, Jan Schwinghammer
Draft

Analytic Tableaux for Higher-Order Logic with Choice   (pdf)
Julian Backes, Chad E. Brown
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference   (pdf)
Mark Kaminski, Gert Smolka
LPAR-17

A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces   (pdf)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
Fixed Points in Computer Science (FICS'10)

A Metric Model of Lambda Calculus with Guarded Recursion   (pdf)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
Fixed Points in Computer Science (FICS'10)

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

Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Chad E. Brown, Gert Smolka
Logical Methods in Computer Science

A Semantic Foundation for Hidden State   (pdf)
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
Foundations of Software Science and Computation Structures (FOSSACS 2010)

Spartacus: A Tableau Prover for Hybrid Logic   (pdf)
Daniel Götzmann, Mark Kaminski, Gert Smolka
M4M-6

2009

File upload test   (pdf)
Alexander Aiken

Formalizing TT-lifting in Isabelle/HOL-Nominal   (pdf)
Christian Doczkal
Master's Thesis, Saarland University

Proof Representations for Higher-Order Logic   (pdf)
Christine Rizkallah
Master's Thesis, Saarland University

Dynamic Programming based RNA Pseudoknot Alignment   (pdf)
Mathias Möhl
Doctoral Dissertation, Saarland University

Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Geoff Sutcliffe, Christoph E. Benzmüller, Chad E. Brown, Frank Theiss
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

View-based Propagator Derivation   (pdf)
Christian Schulte, Guido Tack
Technical Report

Fast RNA Structure Alignment for Crossing Input Structures   (pdf)
Rolf Backofen, Gad Landau, Mathias Möhl, Dekel Tsur, Oren Weimann
Proceedings of the 20th Annual Symposium on Combinatorial Pattern Matching (CPM 2009)

Maintaining State in Propagation Solvers   (pdf)
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
Proceedings of the 15th international conference on principles and practice of constraint programming

Weakly Monotonic Propagators   (pdf)
Christian Schulte, Guido Tack
Proceedings of the 15th international conference on principles and practice of constraint programming

Correctly Translating Concurrency Primitives   (pdf)
Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauß, Joachim Niehren
2009 ACM SIGPLAN Workshop on ML (ML'09)

Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles   (pdf)
Mark Kaminski, Gert Smolka
DL 2009

Formalizing a Strong Normalization Proof for Moggi's Computational Metalanguage   (pdf)
Christian Doczkal, Jan Schwinghammer
4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'09)

Nested Hoare Triples and Frame Rules for Higher-Order Store   (pdf)
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Computer Science Logic (CSL'09)

Complete Cut-Free Tableaux for Equational Simple Type Theory   (pdf)
Chad E. Brown, Gert Smolka
Technical Report

Cut-Simulation and Impredicativity
Christoph Benzmueller, Chad E. Brown, Michael Kohlhase
Logical Methods in Computer Science

Extended First-Order Logic   (pdf)
Chad E. Brown, Gert Smolka
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Proceedings

On Correctness of Buffer Implementations in a Concurrent Lambda Calculus with Futures   (pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report

Lifting Prediction to Alignment of RNA Pseudoknots   (pdf)
Mathias Möhl, Sebastian Will, Rolf Backofen
Proceedings of the 13th Annual International Conferences on Computational Molecular Biology (RECOMB'09)

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

Spartacus: A Tableau Prover for Hybrid Logic   (pdf)
Daniel Götzmann
M.Sc. Thesis, Programming Systems Lab, Department of Computer Science, Saarland University

Terminating Tableaux for the Basic Fragment of Simple Type Theory   (pdf)
Chad E. Brown, Gert Smolka
TABLEAUX 2009

Constraint Propagation -- Models, Techniques, Implementation   (pdf)
Guido Tack
Doctoral Dissertation, Saarland University

A Step-indexed Semantics of Imperative Objects
Catalin Hritcu, Jan Schwinghammer
Logical Methods in Computer Science

Hybrid Tableaux for the Difference Modality   (pdf)
Mark Kaminski, Gert Smolka
M4M-5

Coherence of Subsumption for Monadic Types   (pdf)
Jan Schwinghammer
Journal of Functional Programming

2008

On Proving the Equivalence of Concurrency Primitives   (pdf)
Jan Schwinghammer, David Sabel, Joachim Niehren, Manfred Schmidt-Schauß
Technical Report

A Minimal Propositional Type Theory   (pdf)
Mark Kaminski, Gert Smolka
Technical Report

M-set Models   (pdf)
Chad E. Brown
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Cut Elimination with xi-Functionality   (pdf)
Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

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

Perfect Derived Propagators   (pdf)
Christian Schulte, Guido Tack
14th International Conference on Principles and Practice of Constraint Programming

Terminating Tableau Systems for Modal Logic with Equality   (pdf)
Mark Kaminski, Gert Smolka
Technical Report, Submitted

Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse   (pdf)
Mark Kaminski, Gert Smolka
IJCAR 2008

Perfect Derived Propagators   (pdf)
Christian Schulte, Guido Tack
Technical Report, Available from http://arxiv.org/abs/0806.1806

Fixed Parameter Tractable Alignment of RNA Structures Including Arbitrary Pseudoknots   (pdf)
Mathias Möhl, Sebastian Will, Rolf Backofen
Proceedings of the 19th Annual Symposium on Combinatorial Pattern Matching (CPM 2008)

Adequacy of Compositional Translations for Observational Semantics   (pdf)
Manfred Schmidt-Schauß, Joachim Niehren, David Sabel, Jan Schwinghammer
5th IFIP International Conference on Theoretical Computer Science

A Simple Model of Separation Logic for Higher-order Store   (pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
Int. Conference Automata Logic and Programming (ICALP'08)

On Normalization by Evaluation for Object Calculi   (pdf)
Jan Schwinghammer
TYPES'07

Decomposition During Search for Propagation-Based Constraint Solvers   (pdf)
Martin Mann, Guido Tack, Sebastian Will
Technical Report, Available from http://arxiv.org/abs/0712.2389

Dependency Grammar: Classification and Exploration   (pdf)
Ralph Debusmann, Marco Kuhlmann
Technical Report

A Step-indexed Semantics of Imperative Objects (Extended Abstract)   (pdf)
Catalin Hritcu, Jan Schwinghammer
Workshop Proceedings Foundations of Object-Oriented Languages (FOOL'08)

2007

A Proof of Strong Normalization for Call-by-push-value   (pdf)
Christian Doczkal, Jan Schwinghammer

Strong Normalization of Call-by-push-value   (pdf)
Christian Doczkal
B.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University

A Principle Compiler for Extensible Dependency Grammar   (pdf)
Jochen Setz
Technical Report

A Step-indexed Semantics of Imperative Objects (Extended Version)   (pdf)
Catalin Hritcu, Jan Schwinghammer
Technical Report

Dependency Structures and Lexicalized Grammars   (pdf)
Marco Kuhlmann
Doctoral Dissertation, Saarland University

MiniZinc: Towards a Standard CP Modelling Language   (pdf)
Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
13th International Conference on Principles and Practice of Constraint Programming

Status Report: HOT Pickles, and how to serve them   (pdf)
Andreas Rossberg, Guido Tack, Leif Kornstaedt
2007 ACM SIGPLAN Workshop on ML

The string-generative capacity of regular dependency languages   (pdf)
Marco Kuhlmann, Mathias Möhl
Twelfth Conference on Formal Grammar (FG)

A Step-indexed Semantic Model of Types for the Functional Object Calculus   (pdf)
Catalin Hritcu
M.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University

Mildly Context-Sensitive Dependency Languages   (pdf)
Marco Kuhlmann, Mathias Möhl
45th Annual Meeting of the Association for Computational Linguistics (ACL)

Typed Open Programming -- A higher-order, typed approach to dynamic modularity and distribution   (pdf)
Andreas Rossberg
PhD Thesis, Universität des Saarlandes, Preliminary version

A Straightforward Saturation-Based Decision Procedure for Hybrid Logic   (pdf)
Mark Kaminski, Gert Smolka
International Workshop on Hybrid Logic 2007 (HyLo 2007)

Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures   (pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
23rd Conference on Mathematical Foundations of Programming Semantics (MFPS XXIII)

Higher-Order Syntax and Saturation Algorithms for Hybrid Logic   (pdf)
Moritz Hardt, Gert Smolka
Electronic Notes in Theoretical Computer Science

Scrambling as the Combination of Relaxed Context-Free Grammars in a Model-Theoretic Grammar Formalism   (pdf)
Ralph Debusmann
Model-Theoretic Syntax at 10, ESSLLI 2007

2006

Program Equivalence for a Concurrent Lambda Calculus with Futures   (pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Technical Report, Revised version appeared Proc. of Mathematical Foundations of Programming Semantics (23rd MFPS), April 2007

Effectful Computation in Moggi's Calculus with Records and Subtyping   (pdf)
Dieter Brunotte
Bachelor's Thesis, Saarland University

A Sandboxing Infrastructure for Alice ML   (pdf)
Andi Scharfstein
Bachelor's Thesis

Proof Nets for Intuitionistic Logic   (pdf)
Matthias Horbach
Master's Thesis

A Semantics For Lazy Types   (pdf)
Georg Neis
Bachelor's Thesis

The Missing Link - Dynamic Components for ML (Extended)   (pdf)
Andreas Rossberg
Technical Report, Extended version of ICFP'06 paper

Extended cross-serial dependencies in Tree Adjoining Grammars   (pdf)
Marco Kuhlmann, Mathias Möhl
Eighth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+8)

Lexicalised Configuration Grammars (Extended Version)   (pdf)
Robert Grabowski, Marco Kuhlmann, Mathias Möhl
Technical Report

Mildly Non-Projective Dependency Structures   (pdf)
Marco Kuhlmann, Joakim Nivre
22nd International Conference on Computational Linguistics and 43rd Annual Meeting of the Association for Computational Linguistics (COLING-ACL), Companion Volume

Completeness Results for Higher-Order Equational Logic   (pdf)
Mark Kaminski
Master's Thesis, Saarland University

Reasoning about Denotations of Recursive Objects   (pdf)
Jan Schwinghammer
PhD Thesis, Department of Informatics, University of Sussex

Extensible Dependency Grammar --- A Modular Grammar Formalism Based On Multigraph Description   (pdf)
Ralph Debusmann
PhD Thesis

Computational Aspects of Non-Projective Dependency Grammars   (pdf)
Robert Grabowski
Diploma thesis, Programming Systems Lab, Universitat des Saarlandes

Separation Logic for Higher-order Store   (pdf)
Bernhard Reus, Jan Schwinghammer
Computer Science Logic (CSL'06)

Generating Propagators for Finite Set Constraints   (pdf)
Guido Tack, Christian Schulte, Gert Smolka
12th International Conference on Principles and Practice of Constraint Programming

The Missing Link - Dynamic Components for ML   (pdf)
Andreas Rossberg
11th International Conference on Functional Programming

Run-Time Byte Code Compilation, Optimization, and Interpretation for Alice   (pdf)
Christian Müller
Master's Thesis

Views and Iterators for Generic Constraint Implementations   (pdf)
Christian Schulte, Guido Tack
Recent Advances in Constraints

Drawings as Models of Syntactic Structure: Theory and Algorithms   (pdf)
Mathias Möhl
Diploma thesis, Programming Systems Lab, Universitat des Saarlandes, Saarbrucken

Multi-dimensional Dependency Grammar as Multigraph Description   (pdf)
Ralph Debusmann, Gert Smolka
Proceedings of FLAIRS-19

Design and Implementation of a Programmable Middleware   (pdf)
Leif Kornstaedt
PhD Thesis, Universität des Saarlandes

A Concurrent Lambda Calculus with Futures   (pdf)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
Theoretical Computer Science

Denotational Semantics for a Program Logic of Objects   (pdf)
Bernhard Reus, Jan Schwinghammer
Mathematical Structures in Computer Science

Permutation Semantics of Separation Logic   (pdf)
Murat Baktiev
Master's Thesis, Saarland University

Generic Pickling and Minimization   (pdf)
Guido Tack, Leif Kornstaedt, Gert Smolka
Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005)

Alice Through the Looking Glass   (pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Trends in Functional Programming, Volume 5

First-Order Theory of Subtyping Constraints   (pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems

2005

Studies in Higher-Order Equational Logic, Bachelor's Thesis   (pdf)
Mark Kaminski
Bachelor's Thesis

Denotational Semantics for Abadi and Leino's Logic of Objects   (pdf)
Bernhard Reus, Jan Schwinghammer
The European Symposium on Programming (ESOP'05)

A Typed Semantics of Higher-Order Store and Subtyping   (pdf)
Jan Schwinghammer
Italian Conference on Theoretical Computer Science (ICTCS'05)

Well-Nested Drawings as Models of Syntactic Structure (Extended Version)   (pdf)
Manuel Bodirsky, Marco Kuhlmann, Mathias Möhl
Technical Report

Lexicalised Configuration Grammars   (pdf)
Robert Grabowski, Marco Kuhlmann, Mathias Möhl
Second International Workshop on Constraint Solving and Language Processing (CSLP 2005)

Views and Iterators for Generic Constraint Implementations   (pdf)
Christian Schulte, Guido Tack
11th International Conference on Principles and Practice of Constraint Programming

Views and Iterators for Generic Constraint Implementations   (pdf)
Christian Schulte, Guido Tack
Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS)

Modular Grammar Design with Typed Parametric Principles   (pdf)
Ralph Debusmann, Denys Duchier, Andreas Rossberg
10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language

Well-Nested Drawings as Models of Syntactic Structure   (pdf)
Manuel Bodirsky, Marco Kuhlmann, Mathias Möhl
10th Conference on Formal Grammar and 9th Meeting on Mathematics of Language

Alice Through the Looking Glass (Extended Mix)   (pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Technical Report, Draft, \urlhttp://www.ps.uni-sb.de/Papers/

A Modular Account of Information Structure in Extensible Dependency Grammar   (pdf)
Ralph Debusmann, Oana Postolache, Maarika Traat
Proceedings of the CICLING 2005 Conference

The Definition of Standard ML with Packages   (pdf)
Andreas Rossberg
Technical Report

The Complexity of Subtype Satisfiability over Posets   (pdf)
Joachim Niehren, Tim Priesnitz, Zhendong Su
14th European Symposium on Programming

A Concurrent Lambda Calculus with Futures   (pdf)
Joachim Niehren, Jan Schwinghammer, Gert Smolka
5th International Workshop on Frontiers in Combining Systems

2004

Set Comprehension in Church's Type Theory   (pdf)
Chad E. Brown
PhD Thesis, Department of Mathematical Sciences, Carnegie Mellon University

Evaluation of the Stochastic Extension of a Constraint-Based Dependency Parser   (pdf)
Renjini Narendranath
Bachelor's Thesis, Saarland University

Efficiently Computing the Density of Regular Languages
Manuel Bodirsky, Tobias Gärtner, Timo vonOertzen, Jan Schwinghammer
LATIN 2004: Theoretical Informatics: 6th Latin American Symposium

Subtype Satisfiability and Entailment   (pdf)
Tim Priesnitz
PhD Thesis

From Proof Nets to the Free *-Autonomous Category   (pdf)
François Lamarche, Lutz Straßburger
Submitted

Naming Proofs in Classical Propositional Logic   (pdf)
François Lamarche, Lutz Straßburger
Submitted.

Constraint-based and graph-based resolution of ambiguities in natural language   (pdf)
Alexander Koller
PhD Thesis, Saarland University, Department of Computer Science

Compositional Abstractions for Search Factories   (pdf)
Guido Tack, Didier Le Botlan
2nd International Conference on Multiparadigm Programming in Mozart/Oz

Multi-dimensional Graph Configuration for Natural Language Processing   (pdf)
Ralph Debusmann, Denys Duchier, Marco Kuhlmann
Proceedings of the International Workshop on Constraint Solving and Language Processing

The XDG Grammar Development Kit   (pdf)
Ralph Debusmann, Denys Duchier, Joachim Niehren
2nd International Conference on Multiparadigm Programming in Mozart/Oz

Multiword expressions as dependency subgraphs   (pdf)
Ralph Debusmann
Proceedings of the ACL 2004 Workshop on Multiword Expressions: Integrating Processing

Extensible Dependency Grammar: A New Methodology   (pdf)
Ralph Debusmann, Denys Duchier, Geert-Jan M. Kruijff
Proceedings of the COLING 2004 Workshop on Recent Advances in Dependency Grammar

Global Constraints for Round Robin Tournament Scheduling   (pdf)
Martin Henz, Tobias Müller, Sven Thiel
European Journal for Operational Research

Efficient Algorithms for Constraint Propagation and for Processing Tree Descriptions   (pdf)
Sven Thiel
Dissertation, Universität des Saarlandes

Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis   (pdf)
Ruth Fuchss, Alexander Koller, Joachim Niehren, Stefan Thater
42th Meeting of the Association for Computational Linguistics

TAG Parsing as Model Enumeration   (pdf)
Ralph Debusmann, Denys Duchier, Marco Kuhlmann, Stefan Thater
Proceedings of the Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7)

A New Algorithm for Normal Dominance Constraints   (pdf)
Manuel Bodirsky, Denys Duchier, Sebastian Miele, Joachim Niehren
ACM-SIAM Symposium on Discrete Algorithms

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)

Put my galakmid coin into the dispenser and kick it: Computational Linguistics and Theorem Proving in a Computer Game   (pdf)
Alexander Koller, Ralph Debusmann, Malte Gabsdil, Kristina Striegnitz

2003

Bridging the Gap Between Underspecification Formalisms: Hole Semantics as Dominance Constraints   (pdf)
Alexander Koller, Joachim Niehren, Stefan Thater
Meeting of the European Chapter of the Association of Computational Linguistics

Open Programming Services for Virtual Machines: The Design of Mozart and SEAM   (pdf)
Thorsten Brunklaus, Leif Kornstaedt

Generativity and Dynamic Opacity for Abstract Types (Extended Version)   (pdf)
Andreas Rossberg
Technical Report, Extended version of PPDP'2003 paper

A Parser System for Extensible Dependency Grammar   (pdf)
Ralph Debusmann
Prospects and Advances of the Syntax/Semantics Interface

Generativity and Dynamic Opacity for Abstract Types   (pdf)
Andreas Rossberg
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Linearisation, Minimisation and Transformation of Data Graphs with Transients   (pdf)
Guido Tack
Diploma thesis, Programming Systems Lab, Universität des Saarlandes, Saarbrücken

Dependency Grammar as Graph Description   (pdf)
Ralph Debusmann
Prospects and Advances of the Syntax/Semantics Interface

Statistical A-Star Dependency Parsing   (pdf)
Péter Dienes, Alexander Koller, Marco Kuhlmann
Prospects and Advances of the Syntax/Semantics Interface

Well-Nested Parallelism Constraints for Ellipsis Resolution   (pdf)
Katrin E. Erk, Joachim Niehren
11th Conference of the European Chapter of the Association of Computational Linguistics

Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints   (pdf)
Joachim Niehren, Stefan Thater
41st Meeting of the Association of Computational Linguistics

An Efficient Graph Algorithm for Dominance Constraints   (pdf)
Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
Journal of Algorithms

Non-Structural Subtype Entailment in Automata Theory   (pdf)
Joachim Niehren, Tim Priesnitz
Information and Computation

2002

IOzSeF - The Integrated Oz Search Factory   (pdf)
Guido Tack
Technical Report

A Theory of Overloading Part II: Semantics and Coherence   (pdf)
Martin Sulzmann, Andreas Rossberg
Technical Report

Ressourcenoptimierung von Workflow Problemen   (pdf)
Martin Homik
Master's Thesis

Parallelism and Tree Regular Constraints   (pdf)
Joachim Niehren, Mateu Villaret
International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Constraint Programming in Computational Linguistics   (pdf)
Alexander Koller, Joachim Niehren
Words, Proofs, and Dialog

Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures   (pdf)
Katrin E. Erk, Alexander Koller, Joachim Niehren
Journal of Research on Language and Computation

First-Order Theory of Subtyping Constraints   (pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

A Concurrent Lambda-Calculus with Promises and Futures   (pdf)
Jan Schwinghammer
Master's Thesis, Programming Systems Lab, Universität des Saarlandes

Parallelism Constraints in Underspecified Semantics   (pdf)
Katrin E. Erk
PhD Thesis, Saarland University

Towards a Constraint Parser for Categorial Type Logics   (pdf)
Marco Kuhlmann
Master's Thesis, Division of Informatics, University of Edinburgh

Dynamic Opacity for Abstract Types   (pdf)
Andreas Rossberg
Technical Report

Linking syntactic and semantic arguments in a dependency-based formalism   (pdf)
Christian Korthals, Ralph Debusmann
Proceedings of COLING 2002

Beyond Type Classes   (pdf)
Andreas Rossberg, Martin Sulzmann
Technical Report

A Virtual Machine for Multi-Language Execution   (pdf)
Thorsten Brunklaus, Leif Kornstaedt

2001

Defects in the Revised Definition of Standard ML   (pdf)
Andreas Rossberg
Technical Report, Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18., 2007/01/22

A Declarative Grammar Formalism For Dependency Grammar   (pdf)
Ralph Debusmann
Master's Thesis, Computational Linguistics, Universität des Saarlandes

Dominance Constraints in Context Unification   (pdf)
Joachim Niehren, Alexander Koller
Proceedings of the 3$^rm rd$ International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France)

Dominance Constraints: Algorithms and Complexity   (pdf)
Alexander Koller, Joachim Niehren, Ralf Treinen
Third International Conference on Logical Aspects of Computational Linguistics (Dec. 1998, Grenoble, France)

An Efficient Algorithm for the Configuration Problem of Dominance Graphs   (pdf)
Ernst Althaus, Denys Duchier, Alexander Koller, Kurt Mehlhorn, Joachim Niehren, Sven Thiel
Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms

The First-Order Theory of Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Discrete Mathematics and Theoretical Computer Science

Non-Structural Subtype Entailment in Automata Theory   (pdf)
Joachim Niehren, Tim Priesnitz
Fourth International Symposium on Theoretical Aspects of Computer Software

Topological Dependency Trees: A Constraint-based Account of Linear Precedence   (pdf)
Denys Duchier, Ralph Debusmann
Proceedings of ACL 2001

Beta Reduction Constraints   (pdf)
Manuel Bodirsky, Katrin E. Erk, Alexander Koller, Joachim Niehren
International Conference on Rewriting Techniques and Applications

QTk -- A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces   (pdf)
Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
8th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'01)

Underspecified Beta Reduction   (pdf)
Manuel Bodirsky, Katrin E. Erk, Alexander Koller, Joachim Niehren
39th Annual Meeting of the Association for Computational Linguistics

A compositional account of VP ellipsis   (pdf)
Markus Egg, Katrin E. Erk
8th International Conference on Head-Driven Phrase Structure Grammar

Beta Reduction Constraints   (pdf)
Manuel Bodirsky
Master's Thesis

Lexicalized Syntax and Topology for Non-projective Dependency Grammar   (pdf)
Denys Duchier
Joint Conference on Formal Grammars and Mathematics of Language FGMOL'01

VP Ellipsis by Tree Surgery   (pdf)
Katrin E. Erk, Alexander Koller
Technical Report, Submitted. Extended version available at \urlhttp://www.ps.uni-sb.de/Papers/abstracts/jparal.html

The Constraint Language for Lambda Structures   (pdf)
Markus Egg, Alexander Koller, Joachim Niehren
Journal of Logic, Language, and Information

When Do Bounds and Domain Propagation Lead to the Same Search Space   (pdf)
Christian Schulte, Peter J. Stuckey
Third International Conference on Principles and Practice of Declarative Programming

Alice in the Land of Oz -- An Interoperability-based Implementation of a Functional Language on Top of a Relational Language   (pdf)
Leif Kornstaedt
Proceedings of the First Workshop on Multi-language Infrastructure and Interoperability (BABEL'01), Electronic Notes in Computer Science

QTk -- An Integrated Model-Based Approach to Designing Executable User Interfaces   (pdf)
Donatien Grolaux, Peter Van Roy
8th Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 2001)

Tree Descriptions, Constraints and Incrementality   (pdf)
Denys Duchier, Claire Gardent
Computing Meaning, Volume 2

Constraint Propagation in Mozart   (pdf)
Tobias Müller
Doctoral dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik

2000

Uniform Confluence in Concurrent Computation   (pdf)
Joachim Niehren
Journal of Functional Programming

Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic   (pdf)
Martin Müller, Joachim Niehren
Information and Computation

Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Constraints, an International Journal

A Lightweight Reliable Object Migration Protocol   (pdf)
Peter Van Roy, Per Brand, Seif Haridi, Raphaël Collet

On Rewrite Constraints and Context Unification   (pdf)
Joachim Niehren, Ralf Treinen, Sophie Tison
Information Processing Letters

Programming Deep Concurrent Constraint Combinators   (pdf)
Christian Schulte
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000

On Underspecified Processing of Dynamic Semantics   (pdf)
Alexander Koller, Joachim Niehren
Proceedings of the 18th International Conference on Computational Linguistics

Parallelism Constraints   (pdf)
Katrin E. Erk, Joachim Niehren
International Conference on Rewriting Techniques and Applications

Dominance Constraints with Set Operators   (pdf)
Denys Duchier, Joachim Niehren
Proceedings of the First International Conference on Computational Logic (CL2000)

An Implementation of the Programming Language DML in Java: Compiler   (pdf)
Andreas Walter
Master's Thesis

An Implementation of the Programming Language DML in Java: Runtime Environment   (pdf)
Daniel Simon
Master's Thesis

Relaxing Underspecified Semantic Representations for Reinterpretation   (pdf)
Alexander Koller, Joachim Niehren, Kristina Striegnitz
Grammars

Integrating Constraint Solving into Proof Planning   (pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Frontiers of Combining Systems -- Third International Workshop, FroCos 2000

An Overview of Finite Domain Constraint Programming   (pdf)
Martin Henz, Tobias Müller
Proceedings of the Fifth Conference of the Association of Asia-Pacific Operational Research Societies

A Polynomial-Time Fragment of Dominance Constraints   (pdf)
Alexander Koller, Kurt Mehlhorn, Joachim Niehren
Proceedings of the 38th Annual Meeting of the Association of Computational Linguistics

Entailment von nicht-strukturellen Teiltyp-Constraints   (pdf)
Tim Priesnitz
Master's Thesis, Diplomarbeit. Fachbereich Informatik, Universität des Saarlandes

A Model-Eliminative Treatment of Quantifier-free Tree Descriptions   (pdf)
Denys Duchier
Algebraic Methods in Language Processing, AMILP~2000, TWLT~16

Constraint Programming For Natural Language Processing   (pdf)
Denys Duchier

Parallel Search Made Simple   (pdf)
Christian Schulte
Technical Report, To appear.

Promoting Constraints to First-class Status   (pdf)
Tobias Müller
Proceedings of the First International Conference on Computational Logic -- CL2000

Der Oz Inspector - Browsen: Interaktiver, einfacher, effizienter   (pdf)
Thorsten Brunklaus
Master's Thesis

Dominance Constraints With Boolean Connectives: A Model-Eliminative Treatment   (pdf)
Denys Duchier

Scheduling of Time-Triggered Real-Time Systems
Klaus Schild, Jörg Würtz
Constraints

Type Inference for First-Class Messages with Feature Constraints   (pdf)
Martin Müller, Susumu Nishimura
International Journal of Foundations of Computer Science

Practical Investigation of Constraints with Graph Views   (pdf)
Tobias Müller
Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming -- CP 2000

GIFT: a Generic Interface for Reusing Filtering Algorithms.   (pdf)
Ka Boon Ng, Chiu Wo Choi, Martin Henz, Tobias Müller
Proceedings of the Workshop on Techniques for Implementing Constraint Programming Systems - TRICS

Extensions of Constraint Solving for Proof Planning   (pdf)
Erica Melis, Jürgen Zimmer, Tobias Müller
Proceedings of the 14th European Conference on Artificial Intelligence

Die Verarbeitung von Parallelismus-Constraints   (pdf)
Katrin E. Erk
Informatik 2000 -- 30. Jahrestagung der Gesellschaft für Informatik

Fault-Tolerant Mobile Agents in Mozart   (pdf)
Iliès Alouini, Peter Van Roy
2nd International Symposium on Agent Systems and Applications (ASA2000) and 4th International Symposium on Mobile Agents (MA2000)

ML mit Typklassen   (pdf)
Gerhard Schneider
Master's Thesis

Configuration Of Labeled Trees Under Lexicalized Constraints And Principles   (pdf)
Denys Duchier

Programming Constraint Services   (pdf)
Christian Schulte
Doctoral dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik

1999

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 Constraint-Based Treatment of Descriptions   (pdf)
Denys Duchier, Claire Gardent
Third International Workshop on Computational Semantics (IWCS-3)

Le protocole r'eparti de Distributed Oz (in French)   (pdf)
Iliès Alouini, Peter Van Roy
Colloque Francophone sur l'Ing'enierie des Protocoles (CFIP 99)

Relaxing Underspecified Semantic Representations for Reinterpretation   (pdf)
Alexander Koller, Joachim Niehren, Kristina Striegnitz
Proceedings of the Sixth Meeting on Mathematics of Language (MOL6)

Taming Complexity: Constraint-Based Dependency Parsing   (pdf)
Denys Duchier
Submitted to 6th Meeting on the Mathematics of Language

Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs   (pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Proceedings of ESOP'99, the European Symposium of Programmin

Constraint Languages for Semantic Underspecification   (pdf)
Alexander Koller
Diplom thesis, Universität des Saarlandes

Entailment of Non-Structural Subtype Constraints   (pdf)
Joachim Niehren, Tim Priesnitz
Asian Computing Science Conference

State-space Planning by Integer Optimization   (pdf)
Henry Kautz, Joachim Paul Walser
Proceedings Fifteenth National Conference on Artificial Intelligence (AAAI-99)

The Oz Virtual Machine - Records, Transients, and Deep Guards   (pdf)
Michael Mehl
PhD Thesis, Technische Fakultät der Universität des Saarlandes

Ein Debugger für Oz   (pdf)
Benjamin Lorenz
Master's Thesis

Entailment of Atomic Set Constraints is PSPACE-Complete   (pdf)
Martin Müller, Joachim Niehren, Jean-Marc Talbot
Fourteenth Annual IEEE Symposium on Logic in Computer Sience

Embedding Propagators in a Concurrent Constraint Language   (pdf)
Tobias Müller, Jörg Würtz
The Journal of Functional and Logic Programming

Practical Investigation of Constraints with Graph Views   (pdf)
Tobias Müller
Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99)

Set Constraints in Computational Linguistics -- Solving Tree Descriptions   (pdf)
Denys Duchier
Workshop on Declarative Programming with Sets (DPS'99)

Axiomatizing Dependency Parsing Using Set Constraints   (pdf)
Denys Duchier
Sixth Meeting on Mathematics of Language

Parsing with Tree Descriptions: a constraint-based approach   (pdf)
Denys Duchier, Stefan Thater
Sixth International Workshop on Natural Language Understanding and Logic Programming (NLULP'99)

Scope Underspecification and Processing   (pdf)
Alexander Koller, Joachim Niehren
Reader for the ESSLLI summer school.

A new mobile state protocol for Distributed Oz   (pdf)
Mustapha Hadim, Peter Van Roy
ISCA 12th International Conference on Parallel and Distributed Computing Systems (PDCS 99)

Logic Programming in Oz with Mozart   (pdf)
Peter Van Roy
International Conference on Logic Programming

Comparing Trailing and Copying for Constraint Programming   (pdf)
Christian Schulte
Proceedings of the Sixteenth International Conference on Logic Programming

Simulating Boolean circuits by finite splicing   (pdf)
Katrin E. Erk
Proc. Congress on Evolutionary Computation (CEC '99)

On the separation of concerns in distributed programming: Application to distribution structure and fault tolerance in Mozart   (pdf)
Peter Van Roy

Mozart: A Programming System for Agent Applications   (pdf)
Peter Van Roy, Seif Haridi
International Workshop on Distributed and Internet Programming with Logic and Constraint Languages

Figaro: Yet Another Constraint Programming Library   (pdf)
Martin Henz, Tobias Müller, Ka Boon Ng
Workshop on Parallelism and Implementation Technology for Constraint Logic Programming

1998

Concurrent Constraint Programming in Oz for Natural Language Processing
Denys Duchier, Claire Gardent, Joachim Niehren
Available at \urlhttp://www.ps.uni-sb.de/~niehren/Web/Vorlesungen/Oz-NL-SS01/BookHomePage.html

The First-Order Theory of Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Ralf Treinen
Thirteenth annual IEEE Symposium on Logic in Computer Sience (LICS98)

Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic   (pdf)
Martin Müller, Joachim Niehren
International Conference on Rewriting Techniques and Applications

Constraints over Lambda-Structures in Semantic Underspecification   (pdf)
Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu
Proceedings of the 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics

Concurrent Constraint Programming Based on Functional Programming   (pdf)
Gert Smolka
Programming Languages and Systems

Solving Set Partitioning Problems with Constraint Programming   (pdf)
Tobias Müller
Proceedings of the Sixth International Conference on the Practical Application of Prolog and the Forth International Conference on the Practica

Programming Languages for Distributed Applications   (pdf)
Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
New Generation Computing

An Integer Local Search Method with Application to Capacitated Production Planning   (pdf)
Joachim Paul Walser, Ramesh Iyer, Narayan Venkatasubramanyan
Proceedings of the 15th National Conference on Artificial Intelligence, AAAI-98

Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz   (pdf)
Jörg Würtz
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik

Abstract Local Search   (pdf)
James M. Crawford, Mukesh Dalal, Joachim Paul Walser
Proceedings of the AIPS-98 Workshop on Planning as Combinatorial Search

Off-Line Scheduling of a Real-Time System   (pdf)
Klaus Schild, Jörg Würtz
Proceedings of the 1998 ACM Symposium on Applied Computing, SAC98

A Platform for Constructing Virtual Spaces   (pdf)
Per Brand, Nils Franzen, Erik Klintskog, Seif Haridi
Proceedings of the Virtual Worlds and Simulation Conference

Scheduling a Major College Basketball Conference - Revisited   (pdf)
Martin Henz
Under revision.

Type Inference for First-Class Messages with Feature Constraints   (pdf)
Martin Müller, Susumu Nishimura
Asian Computer Science Conference (ASIAN 98)

Set-based Failure Diagnosis for Concurrent Constraint Programming   (pdf)
Martin Müller
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik

Futures and By-need Synchronization   (pdf)
Michael Mehl, Christian Schulte, Gert Smolka
Technical Report, DRAFT

A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling   (pdf)
Denys Duchier, Leif Kornstaedt, Christian Schulte, Gert Smolka
Technical Report, DRAFT

Domain-Independent Local Search for Linear Integer Optimization   (pdf)
Joachim Paul Walser
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik

Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz   (pdf)
Ralf Scheidhauer
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik

1997

Objects in Oz   (pdf)
Martin Henz
PhD Thesis, Saarland University

The First-Order Theory of Lexicographic Path Orderings is Undecidable   (pdf)
Hubert Comon, Ralf Treinen
Theoretical Computer Science

Constraint-Based Scheduling in Oz   (pdf)
Jörg Würtz
Operations Research Proceedings 1996

Inclusion Constraints over Non-Empty Sets of Trees   (pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS

Oz Explorer: A Visual Constraint Programming Tool   (pdf)
Christian Schulte
Proceedings of the Fourteenth International Conference on Logic Programming

Solving Linear Pseudo-Boolean Constraint Problems with Local Search   (pdf)
Joachim Paul Walser
Proceedings of the fourteenth National Conference on Artificial Intelligence (AAAI '97)

A Uniform Approach to Underspecification and Parallelism   (pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the 35th Annual Meeting of the Association of Computational Linguistics (ACL)

On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting   (pdf)
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg
Proceedings of the International Conference on Automated Deduction

Programming Constraint Inference Engines   (pdf)
Christian Schulte
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming

Ordering Constraints over Feature Trees   (pdf)
Martin Müller, Joachim Niehren, Andreas Podelski
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming

Extending a Concurrent Constraint Language by Propagators   (pdf)
Tobias Müller, Jörg Würtz
Proceedings of the International Logic Programming Symposium

Finite Set Constraints in Oz   (pdf)
Tobias Müller, Martin Müller
13. Workshop Logische Programmierung

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

Set-based Error Diagnosis of Concurrent Constraint Programs   (pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Technical Report, \URL\tt http://www.ps.uni-sb.de/Paper/abstracts/Diagnosis-97.html. Submitted.

A Parallel Abstract Machine for the Thread-Based Concurrent Constraint Language Oz   (pdf)
Konstantin Popov
Workshop On Parallism and Implementation Technology for (Constraint) Logic Programming Languages

1996

Using Oz for College Time Tabling   (pdf)
Martin Henz, Jörg Würtz
The Practice and Theory of Automated Time Tabling: The Selected Proceedings of the 1st International Conference on the Practice and Theory of Automated Time Tabling, Edinburgh 1995

Functional Computation as Concurrent Computation   (pdf)
Joachim Niehren
$23^th$ Proceedings of the ACM Symposium on Principles of Programming Languages

Feature Trees over Arbitrary Structures   (pdf)
Ralf Treinen
Specifying Syntactic Structures

Tuning local search for satisfiability testing   (pdf)
A.J. Parkes, Joachim Paul Walser
Proceedings of the thirteenth national conference on artificial intelligence (AAAI '96)

Feasible Cellular Frequency Assignment Using Constraint Programming Abstractions   (pdf)
Joachim Paul Walser
Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practi

Don't Be Puzzled!   (pdf)
Martin Henz
Proceedings of the Workshop on Constraint Programming Applications, in conjunction with the Second International Conference on Principles and Practi

Smallest Horn Clause Programs   (pdf)
P. Devienne, P. Lebegue, A. Parrain, J.C. Routier, Jörg Würtz
Journal of Logic Programming

Constructive Disjunction Revisited   (pdf)
Jörg Würtz, Tobias Müller
20th German Annual Conference on Artificial Intelligence

Constraint-based Time Tabling---A Case Study
Martin Henz, Jörg Würtz
Applied Artificial Intelligence

Integrating Efficient Records into Concurrent Constraint Programming   (pdf)
Peter Van Roy, Michael Mehl, Ralf Scheidhauer
International Symposium on Programming Languages, Implementations, Logics, and Programs

COMPOzE --- Intention-based Music Composition through Constraint Programming   (pdf)
Martin Henz, Stefan Lauer, Detlev Zimmermann
Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence

Oz Scheduler: A Workbench for Scheduling Problems   (pdf)
Jörg Würtz
Proceedings of the 8th IEEE International Conference on Tools with Artificial Intelligence

Interfacing Propagators with a Concurrent Constraint Language   (pdf)
Tobias Müller, Jörg Würtz
JICSLP96 Post-conference workshop and Compulog Net Meeting on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages

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

Definition und Implementierung eines Front-End-Generators für Oz   (pdf)
Leif Kornstaedt
Master's Thesis

1995

Functional Computation as Concurrent Computation   (pdf)
Joachim Niehren
Technical Report, shorter version appeared in: \em Proceedings of POPL'96\/, The ACM Press

Adding Constraint Systems to DFKI Oz   (pdf)
Tobias Müller
WOz'95, International Workshop on Oz Programming

Multi-Paradigm Programming in Oz   (pdf)
Martin Müller, Tobias Müller, Peter Van Roy
Visions for the Future of Logic Programming: Laying the Foundations for a Modern successor of Prolog

Constructive Disjunction in Oz   (pdf)
Tobias Müller, Jörg Würtz
11. Workshop Logische Programmierung

The Oz Programming Model   (pdf)
Gert Smolka
Computer Science Today

A Type is a Type is a Type   (pdf)
Martin Müller, Joachim Niehren
Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing

Constraints for Free in Concurrent Computation   (pdf)
Martin Müller, Joachim Niehren
Asian Computing Science Conference

Operational Semantics of Constraint Logic Programs with Coroutining   (pdf)
Andreas Podelski, Gert Smolka
Proceedings of the 1995 International Conference on Logic Programming

Constraint Deduction in an Interval-based Temporal Logic   (pdf)
Jana Koehler, Ralf Treinen
Executable Modal and Temporal Logics

An Abstract Machine for Oz   (pdf)
Michael Mehl, Ralf Scheidhauer, Christian Schulte
Technical Report, Also in: \em Proceedings of PLILP'95\/, Springer-Verlag, LNCS, Utrecht, The Netherlands

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 Complete and Recursive Feature Theory   (pdf)
Rolf Backofen, Gert Smolka
Theoretical Computer Science

Situated Simplification   (pdf)
Andreas Podelski, Gert Smolka
Proceedings of the 1st Conference on Principles and Practice of Constraint Programming

1994

A Constraint-Based Recast of ML-Polymorphism   (pdf)
Martin Müller
8$^th$ # International Workshop on Unification

1983-1993: The Wonder Years of Sequential Prolog Implementation   (pdf)
Peter Van Roy
Journal of Logic Programming

Towards the verification of concurrent constraint programs in finite domain reasoning   (pdf)
Jörg Würtz
Post-conference workshop at ICLP: Verification and analysis of (concurrent) logic languages

One binary Horn clause is enough   (pdf)
P. Devienne, P. Lebegue, J.C. Routier, Jörg Würtz
Symposium on Theoretical Aspects of Computer Science

How to Win a Game with Features   (pdf)
Rolf Backofen, Ralf Treinen
1st International Conference on Constraints in Computational Logics

A Foundation for Higher-order Concurrent Constraint Programming   (pdf)
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

Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen   (pdf)
Joachim Niehren
PhD Thesis, Universität des Saarlandes, Fachbereich Informatik

A Calculus for Higher-Order Concurrent Constraint Programming with Deep Guards   (pdf)
Gert Smolka
Technical Report

A Confluent Relational Calculus for Higher-Order Programming with Constraints   (pdf)
Joachim Niehren, Gert Smolka
1st International Conference on Constraints in Computational Logics

Ordering Constraints on Trees   (pdf)
Hubert Comon, Ralf Treinen
Colloquium on Trees in Algebra and Programming

Records for Logic Programming   (pdf)
Gert Smolka, Ralf Treinen
Journal of Logic Programming

A Feature-based Constraint System for Logic Programming with Entailment   (pdf)
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
Theoretical Computer Science

Polymorphic Type Inference for Object-Oriented Programming Languages   (pdf)
Andreas V. Hense
PhD Thesis, Saarland University

Expressivity and Decidability of First-order Languages over Feature Trees   (pdf)
Rolf Backofen
PhD Thesis, Universität des Saarlandes

1993

Feature Automata and Recognizable Sets of Feature Trees   (pdf)
Joachim Niehren, Andreas Podelski
Theory and Practice of Software Development, International Joint Conference CAAP/FASE/TOOLS

Residuation and Guarded Rules for Constraint Logic Programming   (pdf)
Gert Smolka
Constraint Logic Programming: Selected Research

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

Equational and Membership Constraints for Infinite Trees   (pdf)
Joachim Niehren, Andreas Podelski, Ralf Treinen
5th International Conference on Rewriting Techniques and Applications

Satisfiability of the smallest binary program   (pdf)
Philipp Hanschke, Jörg Würtz
Information Processing Letters

Feature Constraints with First-Class Features   (pdf)
Ralf Treinen
Mathematical Foundations of Computer Science

Oz---A Programming Language for Multi-Agent Systems   (pdf)
Martin Henz, Gert Smolka, Jörg Würtz
13th International Joint Conference on Artificial Intelligence

1992

A New Method for Undecidability Proofs of First Order Theories   (pdf)
Ralf Treinen
Journal of Symbolic Computation

Feature Constraint Logics for Unification Grammars   (pdf)
Gert Smolka
Journal of Logic Programming

Cycle Unification   (pdf)
Wolfgang Bibel, Steffen Hölldobler, Jörg Würtz
11th International Conference on Automated Deduction

Unifying Cycles   (pdf)
Jörg Würtz
10th European Conference on Artificial Intelligence

1991

Attributive concept descriptions with complements   (pdf)
Manfred Schmidt-Schauß, Gert Smolka
Artificial Intelligence

Nichtmonotone Aspekte des fallbasierten Schliessens und deren Fundierung in Default-Logik mit Prioritäten   (pdf)
Michael Mehl
Technical Report, Diploma Thesis, Universität Kaiserslautern, Fachbereich Informatik, 1991. In German. Short Version \em Retrieval in Case-Based Reasoning using preferred subtheories appeared in G. Brewka, K. P. Jantke

Attributive Description Formalisms and the Rest of the World   (pdf)
Bernhard Nebel, Gert Smolka
Text Understanding in LILOG

Term Rewriting in Associative Commutative Theories with Identities   (pdf)
Martin Henz
Master's Thesis, State University of New York at Stony Brook

First Order Data Types and First Order Logic   (pdf)
Ralf Treinen
Theoretical Aspects of Computer Software

Modulare Datentypdefinitionen und Ihre Beziehungen zur Logik erster Stufe   (pdf)
Ralf Treinen
PhD Thesis, Universität des Saarlandes, In german

1990

Representation and Reasoning with Attributive Descriptions   (pdf)
Bernhard Nebel, Gert Smolka
Sorts and Types in Artificial Intelligence

1989

Logic Programming over Polymorphically Order-Sorted Types   (pdf)
Gert Smolka
PhD Thesis, Fachbereich Informatik,Universität Kaiserslautern

1988

TEL (Version 0.9), Report and User Manual   (pdf)
Gert Smolka
Technical Report

Definite Relations over Constraint Languages   (pdf)
Markus Höhfeld, Gert Smolka
Technical Report

A Feature Logic with Subsorts   (pdf)
Gert Smolka
Technical Report, To appear in: J. Wedekind and C. Rohrer (eds.), Unification in Grammar; The MIT Press, 1991


Login to edit


Legal notice, Privacy policy