Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/alpuk:"
download as .bib file
@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 = {Fri, 21 Jun 2019 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}
}
a service of 
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.
retrieved on 2024-04-23 15:59 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
