default search action
Search dblp for Publications
export results for "stream:conf/alpuk:"
@proceedings{DBLP:conf/alpuk/1992, editor = {Krysia Broda}, title = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/978-1-4471-3421-3}, doi = {10.1007/978-1-4471-3421-3}, isbn = {3-540-19783-4}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/1992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/AntoniouS92, author = {Grigoris Antoniou and Volker Sperschneider}, editor = {Krysia Broda}, title = {Modularity for Logic Programs}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {97--107}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_6}, doi = {10.1007/978-1-4471-3421-3\_6}, timestamp = {Fri, 21 Jun 2019 13:08:59 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/AntoniouS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/BoerP92, author = {Frank S. de Boer and Catuscia Palamidessi}, editor = {Krysia Broda}, title = {On the Semantics of Concurrent Constraint Programming}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {145--173}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_9}, doi = {10.1007/978-1-4471-3421-3\_9}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/BoerP92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/BowersH92, author = {Antony Francis Bowers and Patricia M. Hill}, editor = {Krysia Broda}, title = {An Introduction to G{\"{o}}del}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {299--343}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_16}, doi = {10.1007/978-1-4471-3421-3\_16}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/BowersH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Bsaies92, author = {Khaled Bsa{\"{\i}}es}, editor = {Krysia Broda}, title = {Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {41--61}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_3}, doi = {10.1007/978-1-4471-3421-3\_3}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/Bsaies92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/ChenS92, author = {Jian Chen and John Staples}, editor = {Krysia Broda}, title = {Soft Sorting in Logic Programming}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {79--96}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_5}, doi = {10.1007/978-1-4471-3421-3\_5}, timestamp = {Thu, 22 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/ChenS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Clocksin92, author = {W. F. Clocksin}, editor = {Krysia Broda}, title = {The DelPhi Multiprocessor Inference Machine}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {189--198}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_11}, doi = {10.1007/978-1-4471-3421-3\_11}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/Clocksin92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/FlorentinG92, author = {John Florentin and Martin Gittins}, editor = {Krysia Broda}, title = {Parallel Logic Programming in Strand: {A} Tutorial}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {344--354}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_17}, doi = {10.1007/978-1-4471-3421-3\_17}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/FlorentinG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/GabbayO92, author = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, editor = {Krysia Broda}, title = {From {A} Hilbert Calculus to its Model Theoretic Semantics}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {218--252}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_13}, doi = {10.1007/978-1-4471-3421-3\_13}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/GabbayO92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Hodges92, author = {Wilfried Hodges}, editor = {Krysia Broda}, title = {Orn Clause Logic 1992}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {201--217}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_12}, doi = {10.1007/978-1-4471-3421-3\_12}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/Hodges92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Jacquet92, author = {Jean{-}Marie Jacquet}, editor = {Krysia Broda}, title = {Metric Characterizations of Contextual Logic Programs}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {21--40}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_2}, doi = {10.1007/978-1-4471-3421-3\_2}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/Jacquet92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/JiangR92, author = {Yuejun Jiang and Barry Richards}, editor = {Krysia Broda}, title = {An Amalgamated Temporal Logic}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {263--295}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_15}, doi = {10.1007/978-1-4471-3421-3\_15}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/JiangR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/LuG92, author = {Lunjin Lu and Peter Greenfield}, editor = {Krysia Broda}, title = {An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {62--76}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_4}, doi = {10.1007/978-1-4471-3421-3\_4}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/LuG92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/PimentelT92, author = {Ernesto Pimentel and Jos{\'{e}} M. Troya}, editor = {Krysia Broda}, title = {L2{\(\vert\)}{\(\vert\)}O2: Operational and Declarative Semantics}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {174--188}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_10}, doi = {10.1007/978-1-4471-3421-3\_10}, timestamp = {Wed, 12 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/PimentelT92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/PymW92, author = {David J. Pym and Lincoln A. Wallen}, editor = {Krysia Broda}, title = {Logic Programming via Proof-valued Computations}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {253--262}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_14}, doi = {10.1007/978-1-4471-3421-3\_14}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/PymW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/ShihDL92, author = {Timothy K. Shih and Ruth E. Davis and Fuyau Lin}, editor = {Krysia Broda}, title = {Disciplined Exceptions in Logic Programming}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {124--141}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_8}, doi = {10.1007/978-1-4471-3421-3\_8}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/ShihDL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/ShyamasundarRK92, author = {R. K. Shyamasundar and M. R. K. Krishna Rao and Deepak Kapur}, editor = {Krysia Broda}, title = {Rewriting Concepts in the Study of Termination of Logic Programs}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {3--20}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_1}, doi = {10.1007/978-1-4471-3421-3\_1}, timestamp = {Fri, 21 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/ShyamasundarRK92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/SucciMCCNPRV92, author = {Giancarlo Succi and Giuseppe A. Martino and Giancarlo Colla and Diego C{\`{o}} and Sergio Novella and Amedeo Pata and Alexandro Regoli and Luca Vigan{\`{o}}}, editor = {Krysia Broda}, title = {{SEL} Compiler {\&} Abstract Analyzers}, booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming, London, 30 March - 1 April 1992}, series = {Workshops in Computing}, pages = {108--123}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-1-4471-3421-3\_7}, doi = {10.1007/978-1-4471-3421-3\_7}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/SucciMCCNPRV92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/alpuk/1990, editor = {Derek R. Brough}, title = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1992}, isbn = {1-871516-25-0}, timestamp = {Tue, 11 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/1990.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/alpuk/1991, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, publisher = {Springer}, year = {1992}, isbn = {3-540-19734-6}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/1991.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/DarlingtonGW91, author = {John Darlington and Yike Guo and Qian Wu}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {A General Computational Scheme for Constraint Logic Programming}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {56--77}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 17:44:03 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/DarlingtonGW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Darxler91, author = {Christoph Darxler}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Accessing Relational and {NF2} Databases Through Database Set Predicates}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {156--173}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Darxler91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Gaizauskas91, author = {Robert J. Gaizauskas}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Deriving Answers to Logical Queries Via Answer Composition}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {112--134}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Gaizauskas91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Huntbach91, author = {Matthew M. Huntbach}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Speculative Computation and Priorities in Concurrent Logic Languages}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {23--35}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Huntbach91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Kacsuk91, author = {P{\'{e}}ter Kacsuk}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Towards Implementing Prolog on Massively Parallel Mixed Architecture Computers}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {1--22}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Kacsuk91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/LakshmananY91, author = {V. S. Lakshmanan and C. H. Yim}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Can Filters do Magic for Deductive Databases?}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {174--189}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 29 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/LakshmananY91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/LichtensteinWG91, author = {Yossi Lichtenstein and Bob Welham and Ajay Gupta}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Time Representation in Prolog Circuit Modelling}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {78--93}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/LichtensteinWG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/MarkovD91, author = {Zdravko Markov and Christo Dichev}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Distributed Logic Programming}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {36--55}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/MarkovD91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Roast91, author = {Chris Roast}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {94--111}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Roast91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Robertson91, author = {David Stuart Robertson}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {A Simple Prolog Techniques Editor for Novice Users}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {190--205}, publisher = {Springer}, year = {1991}, timestamp = {Tue, 13 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/alpuk/Robertson91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Ross91, author = {Brian J. Ross}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {Using Algebraic Semantics for Proving Prolog termination and Transformation}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {135--155}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Ross91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Scowen91, author = {Roger S. Scowen}, editor = {Geraint A. Wiggins and Chris Mellish and Tim Duncan}, title = {The Predicate consult/1 - {A} Problem in Prolog Standardisation}, booktitle = {Proceedings of the 3rd {UK} Conference on Logic Programming, Edinburgh, 10-12 April 1991}, series = {Workshops in Computing}, pages = {206--215}, publisher = {Springer}, year = {1991}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Scowen91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Babb90, author = {Edward Babb}, editor = {Derek R. Brough}, title = {Metalevel and Constraint Technology in a Pure Logic Language}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {1--21}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Tue, 11 Feb 2014 17:45:37 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Babb90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/BrnaBP90, author = {Paul Brna and Alan Bundy and Helen Pain}, editor = {Derek R. Brough}, title = {A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {22--55}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/BrnaBP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Casson90, author = {Andrew Casson}, editor = {Derek R. Brough}, title = {Event Abstraction Debuggers for Layered Systems in Prolog}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {56--74}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Casson90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/DasW90, author = {Subrata Kumar Das and M. Howard Williams}, editor = {Derek R. Brough}, title = {Extending the Integrity Maintenance Capability in Deductive Databases}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {75--111}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/DasW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/DevilleH90, author = {Yves Deville and Pascal Van Hentenryck}, editor = {Derek R. Brough}, title = {Construction of {CLP} Programs}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {112--135}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/DevilleH90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/GrantJR90, author = {Phil W. Grant and C. P. Jobling and C. Rezvani}, editor = {Derek R. Brough}, title = {Some Control Engineering Applications of Prolog}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {136--158}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/GrantJR90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Harrison90, author = {Keith Harrison}, editor = {Derek R. Brough}, title = {{GAP:} An Exercise in Model Oriented Programming}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {159--172}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Harrison90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Knott90, author = {Ron Knott}, editor = {Derek R. Brough}, title = {Using Prolog to Animate Mathematics}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {173--188}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Knott90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Mellish90, author = {Chris Mellish}, editor = {Derek R. Brough}, title = {Term-Encodable Description Spaces}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {189--207}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Mellish90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Moss90, author = {Chris Moss}, editor = {Derek R. Brough}, title = {Logic, Language and the Quest for Intelligence}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {208--226}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Moss90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Syed-Mustaffa90, author = {S. M. S. Syed{-}Mustaffa}, editor = {Derek R. Brough}, title = {A Model for OR-Parallel Prolog Execution using Graph Reduction}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {227--252}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Syed-Mustaffa90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/Taylor90, author = {Hamish Taylor}, editor = {Derek R. Brough}, title = {Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {253--281}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/Taylor90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alpuk/WangL90, author = {Jiwei Wang and Simon H. Lavington}, editor = {Derek R. Brough}, title = {The Wivenhoe Computational Model: In Search of More Parallelisms}, booktitle = {Logic Programming - New Frontiers, Papers from the second ALPUK, Bristol, March 1990}, pages = {282--310}, publisher = {Intellect Books and Kluwer Academic Publishers}, year = {1990}, timestamp = {Mon, 10 Feb 2014 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/alpuk/WangL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.