Publications of the Programming Systems Lab

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

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)

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

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

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

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

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)

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

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

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)

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

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

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

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

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

2008

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 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)

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

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)

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

Decomposition During Search for Propagation-Based Constraint Solvers (pdf)
Martin Mann, Guido Tack, Sebastian Will
Technical Report

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

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

Perfect Derived Propagators (pdf)
Christian Schulte, Guido Tack
Technical Report

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

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

2007

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

2006

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

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

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

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

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

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

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

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

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

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)

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

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

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

A Semantics For Lazy Types (pdf)
Georg Neis

Program Equivalence for a Concurrent Lambda Calculus with Futures (pdf)
Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer
Technical Report

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

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

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

The Missing Link - Dynamic Components for ML (Extended) (pdf)
Andreas Rossberg
Technical Report

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

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

A Sandboxing Infrastructure for Alice ML (pdf)
Andi Scharfstein

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

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

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

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)

2005

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

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

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

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

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

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

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

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

Alice Through the Looking Glass (Extended Mix) (pdf)
Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka
Technical Report

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

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)

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

2004

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

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

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

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

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 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)

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

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

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

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

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

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

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

Subtype Satisfiability and Entailment (pdf)
Tim Priesnitz
PhD Thesis

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

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

2003

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

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

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

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: Hole Semantics as Dominance Constraints (pdf)
Alexander Koller, Joachim Niehren, Stefan Thater
Meeting 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

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

Generativity and Dynamic Opacity for Abstract Types (Extended Version) (pdf)
Andreas Rossberg
Technical Report

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

2002

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

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

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

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

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

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

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

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

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

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

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

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 Theory of Overloading Part II: Semantics and Coherence (pdf)
Martin Sulzmann, Andreas Rossberg
Technical Report

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

2001

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

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

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

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

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

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

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

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

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

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

VP Ellipsis by Tree Surgery (pdf)
Katrin E. Erk, Alexander Koller
Technical Report

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)

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)

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)

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

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

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

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)

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

Defects in the Revised Definition of Standard ML (pdf)
Andreas Rossberg
Technical Report

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

2000

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Parallel Search Made Simple (pdf)
Christian Schulte
Technical Report

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

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

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

1999

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)

A Constraint-Based Treatment of Descriptions (pdf)
Denys Duchier, Claire Gardent
Third International Workshop on Computational Semantics (IWCS-3)

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

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)

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

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)

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

1998

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

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

Concurrent Constraint Programming in Oz for Natural Language Processing
Denys Duchier, Claire Gardent, Joachim Niehren

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1997

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

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)

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

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

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

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

Set-based Error Diagnosis of Concurrent Constraint Programs (pdf)
Andreas Podelski, Witold Charatonik, Martin Müller
Technical Report

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

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 Explorer: A Visual Constraint Programming Tool (pdf)
Christian Schulte
Proceedings of the Fourteenth International Conference on Logic Programming

Programming Constraint Inference Engines (pdf)
Christian Schulte
Proceedings of the Third International Conference on Principles and Practice of Constraint 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)

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

1996

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

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

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

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

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

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

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

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

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

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

Problem Solving with Constraints and Programming (pdf)
Gert Smolka
ACM Computing Surveys

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

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

Constructive Disjunction Revisited (pdf)
Jörg Würtz, Tobias Müller
20th German Annual Conference on 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

1995

A Complete and Recursive Feature Theory (pdf)
Rolf Backofen, Gert Smolka
Theoretical Computer Science

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

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

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

Functional Computation as Concurrent Computation (pdf)
Joachim Niehren
Technical Report

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

1994

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

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

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

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

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

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

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

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

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

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

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

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

1993

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

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

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

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

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

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

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

1992

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

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

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

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

1991

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

Nichtmonotone Aspekte des fallbasierten Schliessens und deren Fundierung in Default-Logik mit Prioritäten (pdf)
Michael Mehl
Technical Report

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

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

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

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

Webmaster, Wed Sep 16 16:33:27 2009