# | | Author/Editor | Year | | Title | |
| | Barth, Peter | 1994 | | Simplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33 | |
| | Barth, Peter | 1993 | | A Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ? | |
| | Barth, Peter | 1993 | | Linear 0-1 Inequalities and Extended Clauses
In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51 | |
| | Barth, Peter
Bockmayr, Alexander | 1997 | | PLAM: ProLog and Algebraic Modelling
In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82 | |
| | Barth, Peter
Bockmayr, Alexander | 1996 | | Modelling 0-1 Problems in CLP($\cal PB$)
In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9 | |
| | Barth, Peter
Bockmayr, Alexander | 1995 | | Finite domain and cutting plane techniques in CLP($\cal PB$)
In: Proceedings of the Twelfth International Conference on Logic Programming, 133-147 | |
| | Barth, Peter
Bockmayr, Alexander | 1994 | | Global Consistency in CLP($\cal PB$)
In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4 | |
| | Barth, Peter
Bockmayr, Alexander | 1993 | | Solving 0-1 Problems in CLP($\cal PB$)
In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269 | |
| | Barth, Peter
Kleine Büning, Hans
Weidenbach, Christoph | 1995 | | Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72 | |
| | Basin, David A. | 1994 | | IsaWhelk: Whelk Interpreted in Isabelle
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741 | |
| | Basin, David A. | 1994 | | Logic Frameworks for Logic Programs
In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), 1-16 | |
| | Basin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán | 1993 | | A Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171 | |
| | Basin, David A.
Friedrich, Stefan | 1996 | | Modeling a hardware synthesis methodology in Isabelle
In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50 | |
| | Basin, David A.
Ganzinger, Harald | 1996 | | Complexity Analysis Based on Ordered Resolution
In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 456-465 | |
| | Basin, David A.
Giunchiglia, Fausto
Traverso, P. | 1991 | | Automating Meta-Theory Creation and System Extension
In: Proc. Trends in AI: 2nd Congress of the Italian Association for Artificial Intelligence (AI*IA), 48-57 | |
| | Basin, David A.
Howe, D. | 1991 | | Some Normalization Properties of Martin-Löf's Type Theory, and Applications
In: International Conference on Theoretical Aspects of Computer Software (TACS '91), 475-494 | |
| | Basin, David A.
Kaufmann, Matt | 1991 | | The Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119 | |
| | Basin, David A.
Klarlund, Nils | 1995 | | Hardware Verification using Monadic Second-Order Logic
In: Proceedings of the 7th International Conference on Computer-Aided Verification (CAV '95), 31-41 | |
| | Basin, David A.
Matthews, Seán | 1996 | | Structuring metatheory on inductive definitions
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185 | |
| | Basin, David A.
Matthews, Seán | 1993 | | A Conservative Extension of First-Order Logic and its Applications to Theorem Proving
In: Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), 151-160 | |
| | Basin, David A.
Matthews, Seán
Viganò, Luca | 1998 | | A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307 | |
| | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | |
| | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | |
| | Basin, David A.
Matthews, Seán
Viganò, Luca | 1996 | | Implementing Modal and Relevance Logics in a Logical Framework
In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 386-397 | |
| | Basin, David A.
Walsh, Toby | 1994 | | Termination Orderings for Rippling
In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), 466-483 | |
| | Basin, David A.
Walsh, Toby | 1993 | | Difference Unification
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), 116-122 | |
| | Basin, David A.
Walsh, Toby | 1992 | | Difference Matching
In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), 295-309 | |
| | Baumeister, Hubert | 1995 | | Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development (TAPSOFT '95), 756-771 | |
| | Baumeister, Hubert | 1991 | | Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91), 103-120 | |
| | Baumgartner, Peter
Burchardt, Aljoscha | 2004 | | Logic Programming Infrastructure for Inferences on FrameNet
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603 | |