Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Krysia Broda (eds.) |
ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![Springer, 3-540-19783-4 The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![Springer, 3-540-19734-6 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Khaled Bsaïes |
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 41-61, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Wilfried Hodges |
Orn Clause Logic 1992. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 201-217, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | John Florentin, Martin Gittins |
Parallel Logic Programming in Strand: A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 344-354, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Yuejun Jiang, Barry Richards |
An Amalgamated Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 263-295, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Jacquet |
Metric Characterizations of Contextual Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 21-40, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 3-20, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dov M. Gabbay, Hans Jürgen Ohlbach |
From A Hilbert Calculus to its Model Theoretic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 218-252, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lunjin Lu, Peter Greenfield |
An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 62-76, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jian Chen, John Staples |
Soft Sorting in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 79-96, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Timothy K. Shih, Ruth E. Davis, Fuyau Lin |
Disciplined Exceptions in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 124-141, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Catuscia Palamidessi |
On the Semantics of Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 145-173, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Pimentel 0001, José M. Troya |
L2||O2: Operational and Declarative Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 174-188, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | David J. Pym, Lincoln A. Wallen |
Logic Programming via Proof-valued Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 253-262, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Derek R. Brough (eds.) |
Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![Intellect Books and Kluwer Academic Publishers, 1-871516-25-0 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Antony Francis Bowers, Patricia M. Hill |
An Introduction to Gödel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 299-343, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 108-123, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Grigoris Antoniou, Volker Sperschneider |
Modularity for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 97-107, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | W. F. Clocksin |
The DelPhi Multiprocessor Inference Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, pp. 189-198, 1992, Springer, 3-540-19783-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Roger S. Scowen |
The Predicate consult/1 - A Problem in Prolog Standardisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 206-215, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | V. S. Lakshmanan 0001, C. H. Yim |
Can Filters do Magic for Deductive Databases? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 174-189, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Matthew M. Huntbach |
Speculative Computation and Priorities in Concurrent Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 23-35, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | David Stuart Robertson 0001 |
A Simple Prolog Techniques Editor for Novice Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 190-205, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Yossi Lichtenstein, Bob Welham, Ajay Gupta 0005 |
Time Representation in Prolog Circuit Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 78-93, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Chris Roast |
Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 94-111, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | John Darlington, Yike Guo, Qian Wu |
A General Computational Scheme for Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 56-77, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Péter Kacsuk |
Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 1-22, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Zdravko Markov, Christo Dichev |
Distributed Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 36-55, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Robert J. Gaizauskas |
Deriving Answers to Logical Queries Via Answer Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 112-134, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Christoph Darxler |
Accessing Relational and NF2 Databases Through Database Set Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 156-173, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![Intellect Books, 1-871516-15-3 The full citation details ...](Pics/full.jpeg) |
1991 |
RDF |
|
1 | Brian J. Ross |
Using Algebraic Semantics for Proving Prolog termination and Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991, pp. 135-155, 1991, Springer, 3-540-19734-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
1 | Phil W. Grant, C. P. Jobling, C. Rezvani |
Some Control Engineering Applications of Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 136-158, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Jiwei Wang, Simon H. Lavington |
The Wivenhoe Computational Model: In Search of More Parallelisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 282-310, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 22-55, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Ron Knott |
Using Prolog to Animate Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 173-188, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Yves Deville, Pascal Van Hentenryck |
Construction of CLP Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 112-135, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Chris Mellish |
Term-Encodable Description Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 189-207, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Keith Harrison |
GAP: An Exercise in Model Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 159-172, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Hamish Taylor |
Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 253-281, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Chris Moss |
Logic, Language and the Quest for Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 208-226, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Subrata Kumar Das, M. Howard Williams |
Extending the Integrity Maintenance Capability in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 75-111, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Andrew Casson |
Event Abstraction Debuggers for Layered Systems in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 56-74, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | S. M. S. Syed-Mustaffa |
A Model for OR-Parallel Prolog Execution using Graph Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 227-252, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
1 | Edward Babb |
Metalevel and Constraint Technology in a Pure Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALPUK ![In: Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990, pp. 1-21, 1990, Intellect Books and Kluwer Academic Publishers, 1-871516-25-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|