Search dblp for Publications

export results for "toc:db/conf/alpuk/alpuk90.bht:"

 download as .bib file

@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}
}
@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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +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 = {Tue, 11 Feb 2014 17:45:37 +0100},
  biburl    = {https://dblp.org/rec/conf/alpuk/WangL90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics