default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/elp/elp93.bht:"
download as .bib file
@proceedings{DBLP:conf/elp/1993,
editor = {Roy Dyckhoff},
title = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58025-5},
doi = {10.1007/3-540-58025-5},
isbn = {3-540-58025-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/AbreuP93,
author = {Salvador Abreu and
Lu{\'{\i}}s Moniz Pereira},
editor = {Roy Dyckhoff},
title = {Design for {AKL} with Intelligent Pruning},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {3--10},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_46},
doi = {10.1007/3-540-58025-5\_46},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/AbreuP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/AlferesP93,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira},
editor = {Roy Dyckhoff},
title = {Contradiction: When Avoidance Equals Removal - Part {I}},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {11--23},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_47},
doi = {10.1007/3-540-58025-5\_47},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/AlferesP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/AlferesP93a,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira},
editor = {Roy Dyckhoff},
title = {Contradiction: When Avoidance Equals Removal - Part {II}},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {268--281},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_61},
doi = {10.1007/3-540-58025-5\_61},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/AlferesP93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Amrhein93,
author = {Beatrice Amrhein},
editor = {Roy Dyckhoff},
title = {Birkhoff's HSP-Theorem for Cumulative Logic Programs},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {24--36},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_48},
doi = {10.1007/3-540-58025-5\_48},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Amrhein93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Boley93,
author = {Harold Boley},
editor = {Roy Dyckhoff},
title = {Finite Domains and Exclusions as First-Class Citizens},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {37--61},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_49},
doi = {10.1007/3-540-58025-5\_49},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Boley93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/CiampoliniLMS93,
author = {Anna Ciampolini and
Evelina Lamma and
Paola Mello and
Cesare Stefanelli},
editor = {Roy Dyckhoff},
title = {Some Experimental Results in Implementing a Logic Language with Multi-head
Clauses on a Transputer Architecture},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {62--76},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_50},
doi = {10.1007/3-540-58025-5\_50},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/CiampoliniLMS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Dovier93,
author = {Agostino Dovier},
editor = {Roy Dyckhoff},
title = {A Language with Finite Sets Embedded in the CLP-scheme},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {77--93},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_51},
doi = {10.1007/3-540-58025-5\_51},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Dovier93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Dyckhoff93,
author = {Roy Dyckhoff},
editor = {Roy Dyckhoff},
title = {Introduction to ELP'93},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {1--2},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_45},
doi = {10.1007/3-540-58025-5\_45},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Dyckhoff93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Eriksson93,
author = {Lars{-}Henrik Eriksson},
editor = {Roy Dyckhoff},
title = {Finitary Partial Inductive Definitions as a General Logic},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {94--119},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_52},
doi = {10.1007/3-540-58025-5\_52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Eriksson93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/FalkmanT93,
author = {G{\"{o}}ran Falkman and
Olof Torgersson},
editor = {Roy Dyckhoff},
title = {Programming Methodologies in {GCLA}},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {120--151},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_53},
doi = {10.1007/3-540-58025-5\_53},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/elp/FalkmanT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/HinkelmannH93,
author = {Knut Hinkelmann and
Helge Hintze},
editor = {Roy Dyckhoff},
title = {Computing Cost Estimates for Proof Strategies},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {152--170},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_54},
doi = {10.1007/3-540-58025-5\_54},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/HinkelmannH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Hodas93,
author = {Joshua S. Hodas},
editor = {Roy Dyckhoff},
title = {Logic Programming with Multiple Context Management Schemes},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {171--182},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_55},
doi = {10.1007/3-540-58025-5\_55},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Hodas93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Keronen93,
author = {Seppo Keronen},
editor = {Roy Dyckhoff},
title = {Non-Procedural Logic Programming},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {183--195},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_56},
doi = {10.1007/3-540-58025-5\_56},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Keronen93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Kreuger93,
author = {Per Kreuger},
editor = {Roy Dyckhoff},
title = {Axioms in Definitional Calculi},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {196--205},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_57},
doi = {10.1007/3-540-58025-5\_57},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Kreuger93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Miller93,
author = {Dale Miller},
editor = {Roy Dyckhoff},
title = {A Proposal for Modules in Lambda-Prolog},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {206--221},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_58},
doi = {10.1007/3-540-58025-5\_58},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Miller93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/MomiglianoO93,
author = {Alberto Momigliano and
Mario Ornaghi},
editor = {Roy Dyckhoff},
title = {Regular Search Spaces as a Foundation of Logic Programming},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {222--254},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_59},
doi = {10.1007/3-540-58025-5\_59},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/MomiglianoO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Pearce93,
author = {David Pearce},
editor = {Roy Dyckhoff},
title = {Answer Sets and Nonmonotonic {S4}},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {255--267},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_60},
doi = {10.1007/3-540-58025-5\_60},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Pearce93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Pinto93,
author = {Lu{\'{\i}}s Pinto},
editor = {Roy Dyckhoff},
title = {Cut Formulae and Logic Programming},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {282--300},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_62},
doi = {10.1007/3-540-58025-5\_62},
timestamp = {Sat, 24 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Pinto93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Reddy93,
author = {Uday S. Reddy},
editor = {Roy Dyckhoff},
title = {Higher-order Aspects of Logic Programming},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {301--321},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_63},
doi = {10.1007/3-540-58025-5\_63},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Reddy93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/RibeiroP93,
author = {Cristina Ribeiro and
Ant{\'{o}}nio Porto},
editor = {Roy Dyckhoff},
title = {Representation and Inference with Consistent Temporal Propositions},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {322--332},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_64},
doi = {10.1007/3-540-58025-5\_64},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/RibeiroP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Schroeder-Heister93,
author = {Peter Schroeder{-}Heister},
editor = {Roy Dyckhoff},
title = {Definitional Reflection and the Completion},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {333--347},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_65},
doi = {10.1007/3-540-58025-5\_65},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Schroeder-Heister93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Zlatuska93,
author = {Jir{\'{\i}} Zlatuska},
editor = {Roy Dyckhoff},
title = {Linear Logic Semantics for Concurrent Prolog},
booktitle = {Extensions of Logic Programming, 4th International Workshop, ELP'93,
St. Andrews, UK, March 29 - April 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {798},
pages = {348--360},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58025-5\_66},
doi = {10.1007/3-540-58025-5\_66},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/Zlatuska93.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.
retrieved on 2025-01-14 18:06 CET 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:
