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/meta:"
download as .bib file
@inproceedings{DBLP:conf/lopstr/AttardiS94,
author = {Giuseppe Attardi and
Maria Simi},
editor = {Laurent Fribourg and
Franco Turini},
title = {Building Proofs in Context},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {410--424},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_25},
doi = {10.1007/3-540-58792-6\_25},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AttardiS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BarklundBD94,
author = {Jonas Barklund and
Katrin Boberg and
Pierangelo Dell'Acqua},
editor = {Laurent Fribourg and
Franco Turini},
title = {A Basis for a Multi-Level Meta-Logic Programming Language},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {262--275},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_17},
doi = {10.1007/3-540-58792-6\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BarklundBD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Basin94,
author = {David A. Basin},
editor = {Laurent Fribourg and
Franco Turini},
title = {Logic Frameworks for Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {1--16},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_1},
doi = {10.1007/3-540-58792-6\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Basin94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BensaouG94,
author = {Nac{\'{e}}ra Bensaou and
Ir{\`{e}}ne Guessarian},
editor = {Laurent Fribourg and
Franco Turini},
title = {An Extended Transformation System for {CLP} Programs},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {17--35},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_2},
doi = {10.1007/3-540-58792-6\_2},
timestamp = {Wed, 20 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/BensaouG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiE94,
author = {Annalisa Bossi and
Sandro Etalle},
editor = {Laurent Fribourg and
Franco Turini},
title = {More on Unfold/Fold Transformations of Normal Programs: Preservation
of Fitting's Semantics},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {311--331},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_20},
doi = {10.1007/3-540-58792-6\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BoulangerB94,
author = {Dmitri Boulanger and
Maurice Bruynooghe},
editor = {Laurent Fribourg and
Franco Turini},
title = {Using Call/Exit Analysis for Logic Program Transformation},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {36--50},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_3},
doi = {10.1007/3-540-58792-6\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BoulangerB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BrogiC94,
author = {Antonio Brogi and
Simone Contiero},
editor = {Laurent Fribourg and
Franco Turini},
title = {G{\"{o}}del as a Meta-Language for Composing Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {377--394},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_23},
doi = {10.1007/3-540-58792-6\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BrogiC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CominiLV94,
author = {Marco Comini and
Giorgio Levi and
Giuliana Vitiello},
editor = {Laurent Fribourg and
Franco Turini},
title = {Abstract Debugging of Logic Program},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {440--450},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_27},
doi = {10.1007/3-540-58792-6\_27},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/CominiLV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CookG94,
author = {J. Cook and
John P. Gallagher},
editor = {Laurent Fribourg and
Franco Turini},
title = {A Transformation System for Definite Programs Based on Termination
Analysis},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {51--68},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_4},
doi = {10.1007/3-540-58792-6\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/CookG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Dunin-Keplicz94,
author = {Barbara Dunin{-}Keplicz},
editor = {Laurent Fribourg and
Franco Turini},
title = {An Architecture with Multiple Meta-Levels for the Development of Correct
Programs},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {293--310},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_19},
doi = {10.1007/3-540-58792-6\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Dunin-Keplicz94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FlenerP94,
author = {Pierre Flener and
Lubos Popel{\'{\i}}nsk{\'{y}}},
editor = {Laurent Fribourg and
Franco Turini},
title = {On the Use of Inductive Reasoning in Program Synthesis: Prejudice
and Prospects},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {69--87},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_5},
doi = {10.1007/3-540-58792-6\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FlenerP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GilbertHZ94,
author = {David R. Gilbert and
Christopher J. Hogger and
Jir{\'{\i}} Zlatuska},
editor = {Laurent Fribourg and
Franco Turini},
title = {Transforming Specifications of Observable Behaviour into Programs},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {88--103},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_6},
doi = {10.1007/3-540-58792-6\_6},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GilbertHZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GiunchigliaC94,
author = {Fausto Giunchiglia and
Alessandro Cimatti},
editor = {Laurent Fribourg and
Franco Turini},
title = {Introspective Metatheoretic Reasoning},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {425--439},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_26},
doi = {10.1007/3-540-58792-6\_26},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GiunchigliaC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Harmelen94,
author = {Frank van Harmelen},
editor = {Laurent Fribourg and
Franco Turini},
title = {A Model of Costs and Benefits of Meta-Level Computation},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {248--261},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_16},
doi = {10.1007/3-540-58792-6\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/Harmelen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Hill94,
author = {Patricia M. Hill},
editor = {Laurent Fribourg and
Franco Turini},
title = {A Module System for Meta-Programming},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {395--409},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_24},
doi = {10.1007/3-540-58792-6\_24},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Hill94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HoekMT94,
author = {Wiebe van der Hoek and
John{-}Jules Ch. Meyer and
Jan Treur},
editor = {Laurent Fribourg and
Franco Turini},
title = {Formal Semantics of Temporal Epistemic Reflection},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {332--352},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_21},
doi = {10.1007/3-540-58792-6\_21},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/HoekMT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LauO94,
author = {Kung{-}Kiu Lau and
Mario Ornaghi},
editor = {Laurent Fribourg and
Franco Turini},
title = {On Specification Frameworks and Deductive Synthesis of Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {104--121},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_7},
doi = {10.1007/3-540-58792-6\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LauO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Leuschel94,
author = {Michael Leuschel},
editor = {Laurent Fribourg and
Franco Turini},
title = {Partial Evaluation of the "Real Thing"},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {122--137},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_8},
doi = {10.1007/3-540-58792-6\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Leuschel94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MarakakisG94,
author = {Emmanuil I. Marakakis and
John P. Gallagher},
editor = {Laurent Fribourg and
Franco Turini},
title = {Schema-Based Top-Down Design of Logic Programs Using Abstract Data
Types},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {138--153},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_9},
doi = {10.1007/3-540-58792-6\_9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MarakakisG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Mircheva94,
author = {Marion Mircheva},
editor = {Laurent Fribourg and
Franco Turini},
title = {Logic Programs with Tests},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {276--292},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_18},
doi = {10.1007/3-540-58792-6\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Mircheva94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Renault94,
author = {Sophie Renault},
editor = {Laurent Fribourg and
Franco Turini},
title = {Generalizing Extended Execution for Normal Programs},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {154--169},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_10},
doi = {10.1007/3-540-58792-6\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Renault94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SakamaS94,
author = {Chiaki Sakama and
Hirohisa Seki},
editor = {Laurent Fribourg and
Franco Turini},
title = {Partial Deduction of Disjunctive Logic Programs: {A} Declarative Approach},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {170--182},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_11},
doi = {10.1007/3-540-58792-6\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SakamaS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SemeraroEMBP94,
author = {Giovanni Semeraro and
Floriana Esposito and
Donato Malerba and
Clifford Brunk and
Michael J. Pazzani},
editor = {Laurent Fribourg and
Franco Turini},
title = {Avoiding Non-Termination when Learning Logical Programs: {A} Case
Study with {FOIL} and {FOCL}},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {183--198},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_12},
doi = {10.1007/3-540-58792-6\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SemeraroEMBP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SolnonR94,
author = {Christine Solnon and
Michel Rueher},
editor = {Laurent Fribourg and
Franco Turini},
title = {Propagation of Inter-argument Dependencies in "Tuple-distributive"
Type Inference Systems},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {199--214},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_13},
doi = {10.1007/3-540-58792-6\_13},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SolnonR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/TarauD94,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl},
editor = {Laurent Fribourg and
Franco Turini},
title = {Logic Programming and Logic Grammars with First-Order Continuations},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {215--230},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_14},
doi = {10.1007/3-540-58792-6\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/TarauD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Treur94,
author = {Jan Treur},
editor = {Laurent Fribourg and
Franco Turini},
title = {Temporal Semantics of Meta-Level Architectures for Dynamic Control
of Reasoning},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {353--376},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_22},
doi = {10.1007/3-540-58792-6\_22},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/Treur94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Wiggins94,
author = {Geraint A. Wiggins},
editor = {Laurent Fribourg and
Franco Turini},
title = {Improving the Whelk System: {A} Type-Theoretic Reconstruction},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {231--247},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_15},
doi = {10.1007/3-540-58792-6\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Wiggins94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/1994,
editor = {Laurent Fribourg and
Franco Turini},
title = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6},
doi = {10.1007/3-540-58792-6},
isbn = {3-540-58792-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Bahgat92,
author = {Reem Bahgat},
editor = {Alberto Pettorossi},
title = {The Pandora Deadlock Handler Meta-Level Relation},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {162--176},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_11},
doi = {10.1007/3-540-56282-6\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/meta/Bahgat92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/BenkerimiH92,
author = {Kerima Benkerimi and
Patricia M. Hill},
editor = {Alberto Pettorossi},
title = {Object-Oriented Programming in G{\"{o}}del: An Experiment},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {177--191},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_12},
doi = {10.1007/3-540-56282-6\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/BenkerimiH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Bonatti92,
author = {Piero A. Bonatti},
editor = {Alberto Pettorossi},
title = {Model Theoretic Semantics for Demo},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {220--234},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_15},
doi = {10.1007/3-540-56282-6\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Bonatti92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/BossiCE92,
author = {Annalisa Bossi and
Nicoletta Cocco and
Sandro Etalle},
editor = {Alberto Pettorossi},
title = {Transforming Normal Programs by Replacement},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {265--279},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_18},
doi = {10.1007/3-540-56282-6\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/BossiCE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/BrogiMPT92,
author = {Antonio Brogi and
Paolo Mancarella and
Dino Pedreschi and
Franco Turini},
editor = {Alberto Pettorossi},
title = {Meta for Modularising Logic Programming},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {105--119},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_7},
doi = {10.1007/3-540-56282-6\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/meta/BrogiMPT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/BruynoogheJ92,
author = {Maurice Bruynooghe and
Gerda Janssens},
editor = {Alberto Pettorossi},
title = {Propagation: {A} New Operation in a Framework for Abstract Interpretation
of Logic Programs},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {294--307},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_20},
doi = {10.1007/3-540-56282-6\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/BruynoogheJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CerroH92,
author = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig},
editor = {Alberto Pettorossi},
title = {Metaprogramming Through Intensional Deduction: Some Examples},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {11--25},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_2},
doi = {10.1007/3-540-56282-6\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/CerroH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CervesatoR92,
author = {Iliano Cervesato and
Gianfranco Rossi},
editor = {Alberto Pettorossi},
title = {Logic Meta-Programming Facilities in 'LOG},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {148--161},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_10},
doi = {10.1007/3-540-56282-6\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/CervesatoR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Christiansen92,
author = {Henning Christiansen},
editor = {Alberto Pettorossi},
title = {A Complete Resolution method for Logical Meta-Programming Languages},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {205--219},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_14},
doi = {10.1007/3-540-56282-6\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Christiansen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CostantiniDL92,
author = {Stefania Costantini and
Pierangelo Dell'Acqua and
Gaetano Aurelio Lanzarone},
editor = {Alberto Pettorossi},
title = {Reflective Agents in Metalogic Programming},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {135--147},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_9},
doi = {10.1007/3-540-56282-6\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/CostantiniDL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Debray92,
author = {Saumya K. Debray},
editor = {Alberto Pettorossi},
title = {Compiler Optimizations for Low-Level Redundancy Elimination: An Application
of Meta-Level Prolog Primitives},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {120--134},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_8},
doi = {10.1007/3-540-56282-6\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Debray92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Gardenfors92,
author = {Peter G{\"{a}}rdenfors},
editor = {Alberto Pettorossi},
title = {Belief Revision: {A} Vade-Mecum},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {1--10},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_1},
doi = {10.1007/3-540-56282-6\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Gardenfors92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/GiunchigliaSS92,
author = {Fausto Giunchiglia and
Luciano Serafini and
Alex K. Simpson},
editor = {Alberto Pettorossi},
title = {Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {235--249},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_16},
doi = {10.1007/3-540-56282-6\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/GiunchigliaSS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Grabowski92,
author = {Jan Grabowski},
editor = {Alberto Pettorossi},
title = {Metaprograms for Change Assumptions, Objects, and Inheritance},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {336--351},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_23},
doi = {10.1007/3-540-56282-6\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Grabowski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/HamfeltH92,
author = {Andreas Hamfelt and
{\AA}ke Hansson},
editor = {Alberto Pettorossi},
title = {Representation of Fragmentary Multilayered Knowledge},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {321--335},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_22},
doi = {10.1007/3-540-56282-6\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/HamfeltH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Harmelen92,
author = {Frank van Harmelen},
editor = {Alberto Pettorossi},
title = {Definable Naming Relations in Meta-level Systems},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {89--104},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_6},
doi = {10.1007/3-540-56282-6\_6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/meta/Harmelen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Komorowski92,
author = {Henryk Jan Komorowski},
editor = {Alberto Pettorossi},
title = {An Introduction to Partial Deduction},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {49--69},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_4},
doi = {10.1007/3-540-56282-6\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/meta/Komorowski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Konolige92,
author = {Kurt Konolige},
editor = {Alberto Pettorossi},
title = {An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {26--48},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_3},
doi = {10.1007/3-540-56282-6\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Konolige92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/MesnardG92,
author = {Fr{\'{e}}d{\'{e}}ric Mesnard and
Jean{-}Gabriel Ganascia},
editor = {Alberto Pettorossi},
title = {{CLP(Q)} for Proving Interargument Relations},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {308--320},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_21},
doi = {10.1007/3-540-56282-6\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/MesnardG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/SchreyeM92,
author = {Danny De Schreye and
Bern Martens},
editor = {Alberto Pettorossi},
title = {A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming
and its Extension to a Limited Form of Amalgamation},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {192--204},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_13},
doi = {10.1007/3-540-56282-6\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/SchreyeM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/SchreyeV92,
author = {Danny De Schreye and
Kristof Verschaetse},
editor = {Alberto Pettorossi},
title = {Tutorial on Termination of Logic Programs},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {70--88},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_5},
doi = {10.1007/3-540-56282-6\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/SchreyeV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/TraffP92,
author = {Jesper Larsson Tr{\"{a}}ff and
Steven David Prestwich},
editor = {Alberto Pettorossi},
title = {Meta-Programming for Reordering Literals in Deductive Databases},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {280--293},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_19},
doi = {10.1007/3-540-56282-6\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/TraffP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Wiggins92,
author = {Geraint A. Wiggins},
editor = {Alberto Pettorossi},
title = {Negation and Control on Automatically Generated Logic Programs},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
pages = {250--264},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6\_17},
doi = {10.1007/3-540-56282-6\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Wiggins92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/meta/1992,
editor = {Alberto Pettorossi},
title = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala,
Sweden, June 10-12, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {649},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56282-6},
doi = {10.1007/3-540-56282-6},
isbn = {3-540-56282-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/meta/1988,
editor = {Harvey Abramson and
M. H. Rogers},
title = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
publisher = {{MIT} Press},
year = {1989},
isbn = {0-262-51047-2},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/1988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/AkamaI88,
author = {Seiki Akama and
Akira Ishikawa},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Semantically Constrained Parsing and Logic Programming},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {157--168},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 17:09:12 +0200},
biburl = {https://dblp.org/rec/conf/meta/AkamaI88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Barklund88,
author = {Jonas Barklund},
editor = {Harvey Abramson and
M. H. Rogers},
title = {What Is a Meta-Variable in Prolog?},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {383--398},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Barklund88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Blair88,
author = {Howard A. Blair},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Metalogic Programming and Direct Universal Computability},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {53--63},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Blair88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/BowlesW88,
author = {Andrew Bowles and
Paul Wilk},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Tracing Requirements for Multi-Layered Meta-Programming},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {205--215},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/BowlesW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/BruffaertsH88,
author = {Albert Bruffaerts and
Eric Henin},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Negation as Failure: Proofs, Inference Rules and Meta-Interpreters},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {169--190},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/BruffaertsH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CavalieriLMN88,
author = {Marco Cavalieri and
Evelina Lamma and
Paola Mello and
Antonio Natali},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Meta-Programming in Prolog Through Direct Introspection: Comparison
with Meta-Interpretation Techniques},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {399--415},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/CavalieriLMN88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/ChanW88,
author = {David Chan and
Mark Wallace},
editor = {Harvey Abramson and
M. H. Rogers},
title = {A Treatment of Negation during Partial Evaluation},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {299--317},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/ChanW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/ChengES88,
author = {Mantis H. M. Cheng and
Maarten H. van Emden and
Paul A. Strooper},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Complete Sets of Frontiers in Logic-Based Program Transformation},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {283--297},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/ChengES88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Cicekli88,
author = {Ilyas Cicekli},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Design and Implementation of An Abstract MetaProlog Engine for MetaProlog},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {417--433},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Cicekli88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/CodishGS88,
author = {Michael Codish and
John P. Gallagher and
Ehud Shapiro},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Using Safe Approximations of Fixed Points for Analysis of Logic Programs},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {233--261},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/CodishGS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/DahlM88,
author = {Ver{\'{o}}nica Dahl and
Pierre Massicotte},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Processing Techniques for Dsicontinuous Grammars},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {141--156},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/DahlM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/DrabentNM88,
author = {Wlodzimierz Drabent and
Simin Nadjm{-}Tehrani and
Jan Maluszynski},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Algorithmic Debugging with Assertions},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {501--521},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/DrabentNM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Fruhwirth88,
author = {Thom W. Fr{\"{u}}hwirth},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Type Inference by Program Transformation and Partial Evaluation},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {263--282},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Fruhwirth88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/GiunchigliaS88,
author = {Fausto Giunchiglia and
Alan Smaill},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Reflection in Constructive and Non-constructive Automated Reasoning},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {123--140},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/GiunchigliaS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/HannanM88,
author = {John Hannan and
Dale Miller},
editor = {Harvey Abramson and
M. H. Rogers},
title = {A Meta-Logic for Functional Programming},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {453--476},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/HannanM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Harmelen88,
author = {Frank van Harmelen},
editor = {Harvey Abramson and
M. H. Rogers},
title = {A Classification of Meta-level Architectures},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {103--122},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Harmelen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/HillL88,
author = {Patricia M. Hill and
John W. Lloyd},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Analysis of Meta-Programs},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {23--51},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/HillL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Hirschman88,
author = {Lynette Hirschman},
editor = {Harvey Abramson and
M. H. Rogers},
title = {A Meta-Rule Treatment for Englich Wh-Constructions},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {1--21},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Hirschman88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/JiangA88,
author = {Yue Jun Jiang and
Nader Azarmi},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Meta Logic Programming for Epistemic Notions},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {477--499},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/JiangA88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Owen88,
author = {Stephen Owen},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Issues in the Partial Evaluation of Meta-Interpreters},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {319--339},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Owen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Ross88,
author = {Brian J. Ross},
editor = {Harvey Abramson and
M. H. Rogers},
title = {The Partial Evaluation of Imperative Programs Using Prolog},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {341--363},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Ross88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/RossiM88,
author = {Francesca Rossi and
Ugo Montanari},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Hypergraph Grammars and Networks of Constraints versus Logic Programming
and Metaprogramming},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {531--544},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/meta/RossiM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/SchreyeB88,
author = {Danny De Schreye and
Maurice Bruynooghe},
editor = {Harvey Abramson and
M. H. Rogers},
title = {The Compilation of Forward Checking Regimes through Meta-Interpretation
and Transformation},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {217--231},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/SchreyeB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/StaplesRPHCW88,
author = {John Staples and
Peter J. Robinson and
R. A. Paterson and
R. A. Hagen and
A. J. Craddock and
P. C. Wallis},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Qu-Prolog: An Extended Prolog for Meta Level Programming},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {435--452},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/StaplesRPHCW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Subrahmanian88,
author = {V. S. Subrahmanian},
editor = {Harvey Abramson and
M. H. Rogers},
title = {A Simple Formulation of the Theory of Metalogic Programming},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {65--101},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Subrahmanian88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/TarauB88,
author = {Paul Tarau and
Michel Boyer},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Prolog Meta-Programming with Soft Databases},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {365--381},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/TarauB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/Voda88,
author = {Paul J. Voda},
editor = {Harvey Abramson and
M. H. Rogers},
title = {The Logical Reconstruction of Cuts as One Solution Operators},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {523--530},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/Voda88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/YalcinalpS88,
author = {L. {\"{U}}mit Yal{\c{c}}inalp and
Leon Sterling},
editor = {Harvey Abramson and
M. H. Rogers},
title = {An Integrated Interpreter for Explaining Prolog's Successes and Failures},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {191--203},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/meta/YalcinalpS88.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-05-25 16:33 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:
