Search results for "ALPUK"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Krysia Broda (eds.)	ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992	ALPUK	1993	DBLP DOI BibTeX RDF
1	Geraint A. Wiggins, Chris Mellish, Tim Duncan (eds.)	Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991	ALPUK	1992	DBLP BibTeX RDF
1	Khaled Bsaïes	Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Wilfried Hodges	Orn Clause Logic 1992.	ALPUK	1992	DBLP DOI BibTeX RDF
1	John Florentin, Martin Gittins	Parallel Logic Programming in Strand: A Tutorial.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Yuejun Jiang, Barry Richards	An Amalgamated Temporal Logic.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Jean-Marie Jacquet	Metric Characterizations of Contextual Logic Programs.	ALPUK	1992	DBLP DOI BibTeX RDF
1	R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur	Rewriting Concepts in the Study of Termination of Logic Programs.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Hans Jürgen Ohlbach	From A Hilbert Calculus to its Model Theoretic Semantics.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Lunjin Lu, Peter Greenfield	An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Jian Chen, John Staples	Soft Sorting in Logic Programming.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Timothy K. Shih, Ruth E. Davis, Fuyau Lin	Disciplined Exceptions in Logic Programming.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Catuscia Palamidessi	On the Semantics of Concurrent Constraint Programming.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Ernesto Pimentel 0001, José M. Troya	L2\|\|O2: Operational and Declarative Semantics.	ALPUK	1992	DBLP DOI BibTeX RDF
1	David J. Pym, Lincoln A. Wallen	Logic Programming via Proof-valued Computations.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Derek R. Brough (eds.)	Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990	ALPUK	1992	DBLP BibTeX RDF
1	Antony Francis Bowers, Patricia M. Hill	An Introduction to Gödel.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Giancarlo Succi, Giuseppe A. Martino, Giancarlo Colla, Diego Cò, Sergio Novella, Amedeo Pata, Alexandro Regoli, Luca Viganò 0001	SEL Compiler & Abstract Analyzers.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, Volker Sperschneider	Modularity for Logic Programs.	ALPUK	1992	DBLP DOI BibTeX RDF
1	W. F. Clocksin	The DelPhi Multiprocessor Inference Machine.	ALPUK	1992	DBLP DOI BibTeX RDF
1	Roger S. Scowen	The Predicate consult/1 - A Problem in Prolog Standardisation.	ALPUK	1991	DBLP BibTeX RDF
1	V. S. Lakshmanan 0001, C. H. Yim	Can Filters do Magic for Deductive Databases?	ALPUK	1991	DBLP BibTeX RDF
1	Matthew M. Huntbach	Speculative Computation and Priorities in Concurrent Logic Languages.	ALPUK	1991	DBLP BibTeX RDF
1	David Stuart Robertson 0001	A Simple Prolog Techniques Editor for Novice Users.	ALPUK	1991	DBLP BibTeX RDF
1	Yossi Lichtenstein, Bob Welham, Ajay Gupta 0005	Time Representation in Prolog Circuit Modelling.	ALPUK	1991	DBLP BibTeX RDF
1	Chris Roast	Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems.	ALPUK	1991	DBLP BibTeX RDF
1	John Darlington, Yike Guo, Qian Wu	A General Computational Scheme for Constraint Logic Programming.	ALPUK	1991	DBLP BibTeX RDF
1	Péter Kacsuk	Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers.	ALPUK	1991	DBLP BibTeX RDF
1	Zdravko Markov, Christo Dichev	Distributed Logic Programming.	ALPUK	1991	DBLP BibTeX RDF
1	Robert J. Gaizauskas	Deriving Answers to Logical Queries Via Answer Composition.	ALPUK	1991	DBLP BibTeX RDF
1	Christoph Darxler	Accessing Relational and NF2 Databases Through Database Set Predicates.	ALPUK	1991	DBLP BibTeX RDF
1	Tony Dodd 0001, Richard Owens, Steve Torrance (eds.)	Logic Programming - Expanding the Horizons, Papers from the first ALPUK, London, 1989	ALPUK	1991	RDF
1	Brian J. Ross	Using Algebraic Semantics for Proving Prolog termination and Transformation.	ALPUK	1991	DBLP BibTeX RDF
1	Phil W. Grant, C. P. Jobling, C. Rezvani	Some Control Engineering Applications of Prolog.	ALPUK	1990	DBLP BibTeX RDF
1	Jiwei Wang, Simon H. Lavington	The Wivenhoe Computational Model: In Search of More Parallelisms.	ALPUK	1990	DBLP BibTeX RDF
1	Paul Brna, Alan Bundy, Helen Pain	A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs.	ALPUK	1990	DBLP BibTeX RDF
1	Ron Knott	Using Prolog to Animate Mathematics.	ALPUK	1990	DBLP BibTeX RDF
1	Yves Deville, Pascal Van Hentenryck	Construction of CLP Programs.	ALPUK	1990	DBLP BibTeX RDF
1	Chris Mellish	Term-Encodable Description Spaces.	ALPUK	1990	DBLP BibTeX RDF
1	Keith Harrison	GAP: An Exercise in Model Oriented Programming.	ALPUK	1990	DBLP BibTeX RDF
1	Hamish Taylor	Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming.	ALPUK	1990	DBLP BibTeX RDF
1	Chris Moss	Logic, Language and the Quest for Intelligence.	ALPUK	1990	DBLP BibTeX RDF
1	Subrata Kumar Das, M. Howard Williams	Extending the Integrity Maintenance Capability in Deductive Databases.	ALPUK	1990	DBLP BibTeX RDF
1	Andrew Casson	Event Abstraction Debuggers for Layered Systems in Prolog.	ALPUK	1990	DBLP BibTeX RDF
1	S. M. S. Syed-Mustaffa	A Model for OR-Parallel Prolog Execution using Graph Reduction.	ALPUK	1990	DBLP BibTeX RDF
1	Edward Babb	Metalevel and Constraint Technology in a Pure Logic Language.	ALPUK	1990	DBLP BibTeX RDF

Publications at "ALPUK"( http://dblp.L3S.de/Venues/ALPUK )