Search dblp for Publications

export results for "toc:db/conf/elp/elp96.bht:"

 download as .bib file

@inproceedings{DBLP:conf/elp/ArgeniusV96,
  author       = {Martin Argenius and
                  Andrei Voronkov},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Semantics of Constraint Logic Programs with Bounded Quantifiers},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_1},
  doi          = {10.1007/3-540-60983-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/ArgeniusV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/BaldoniGM96,
  author       = {Matteo Baldoni and
                  Laura Giordano and
                  Alberto Martelli},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Translating a Modal Language with Embedded Implication into Horn Clause
                  Logic},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_2},
  doi          = {10.1007/3-540-60983-0\_2},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/BaldoniGM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/BrogiG96,
  author       = {Antonio Brogi and
                  Cosimo Guarino},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Pruning the Search Space of Logic Programs},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {35--49},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_3},
  doi          = {10.1007/3-540-60983-0\_3},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/BrogiG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/CaferraP96,
  author       = {Ricardo Caferra and
                  Nicolas Peltier},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {A Significant Extension of Logic Programming by Adapting Model Building
                  Rules},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {51--65},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_4},
  doi          = {10.1007/3-540-60983-0\_4},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/CaferraP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/CervesatoHP96,
  author       = {Iliano Cervesato and
                  Joshua S. Hodas and
                  Frank Pfenning},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Efficient Resource Management for Linear Logic Proof Search},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {67--81},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_5},
  doi          = {10.1007/3-540-60983-0\_5},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/CervesatoHP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/CiancariniFG96,
  author       = {Paolo Ciancarini and
                  Daniela Fogli and
                  Mauro Gaspari},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {A Logic Language based on GAMMA-like Multiset Rewriting},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {83--101},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_6},
  doi          = {10.1007/3-540-60983-0\_6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/CiancariniFG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/DamasioP96,
  author       = {Carlos Viegas Dam{\'{a}}sio and
                  Lu{\'{\i}}s Moniz Pereira},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Default Negated Conclusions: Why Not?},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {103--117},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_7},
  doi          = {10.1007/3-540-60983-0\_7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/DamasioP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/DegtyarevV96,
  author       = {Anatoli Degtyarev and
                  Andrei Voronkov},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Handling Equality in Logic Programming via Basic Folding},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {119--136},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_8},
  doi          = {10.1007/3-540-60983-0\_8},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/DegtyarevV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/EderHT96,
  author       = {Kerstin Eder and
                  Steffen H{\"{o}}lldobler and
                  Michael Thielscher},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {An Abstract Machine for Reasoning about Situations, Actions, and Causality},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {137--151},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_9},
  doi          = {10.1007/3-540-60983-0\_9},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/EderHT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Hudelmaier96,
  author       = {J{\"{o}}rg Hudelmaier},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {On the Computational Complexity of Propositional Logic Programs with
                  Nested Implications},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {153--159},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_10},
  doi          = {10.1007/3-540-60983-0\_10},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Hudelmaier96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Jonker96,
  author       = {Catholijn M. Jonker},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Proof-theory for Extensions of Logic Programming},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {161--175},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_11},
  doi          = {10.1007/3-540-60983-0\_11},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Jonker96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/KinoshitaP96,
  author       = {Yoshiki Kinoshita and
                  A. John Power},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {A Fibrational Semantics for Logic Programs},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {177--191},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_12},
  doi          = {10.1007/3-540-60983-0\_12},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/KinoshitaP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/KuchenA96,
  author       = {Herbert Kuchen and
                  Josef Anastasiadis},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Higher Order Babel: Language and Implementation},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {193--207},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_13},
  doi          = {10.1007/3-540-60983-0\_13},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/KuchenA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/LiptonFF96,
  author       = {James Lipton and
                  Stacy E. Finkelstein and
                  Peter J. Freyd},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {A New Framework for Declarative Programming: Categorial Perspectives},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {209--211},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_14},
  doi          = {10.1007/3-540-60983-0\_14},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/LiptonFF96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Moreno-Navarro96,
  author       = {Juan Jos{\'{e}} Moreno{-}Navarro},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Extending Constructive Negation for Partial Functions in Lazy Functional-logic
                  Languages},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {213--227},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_15},
  doi          = {10.1007/3-540-60983-0\_15},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Moreno-Navarro96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Przymusinski96,
  author       = {Teodor C. Przymusinski},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Super Logic Programs and Negation as Belief},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {229--235},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_16},
  doi          = {10.1007/3-540-60983-0\_16},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Przymusinski96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Stark96,
  author       = {Robert F. St{\"{a}}rk},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Total Correctness of Logic Programs: {A} Formal Approach},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {237--254},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_17},
  doi          = {10.1007/3-540-60983-0\_17},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/Stark96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/StroetmannG96,
  author       = {Karl Stroetmann and
                  Thomas Gla{\ss}},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {A Declarative Semantics for the Prolog Cut Operator},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {255--271},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_18},
  doi          = {10.1007/3-540-60983-0\_18},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/StroetmannG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Torgersson96,
  author       = {Olof Torgersson},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {A Definitional Approach to Functional Logic Programming},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {273--287},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_19},
  doi          = {10.1007/3-540-60983-0\_19},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/elp/Torgersson96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/VojtasP96,
  author       = {Peter Vojt{\'{a}}s and
                  Leonard Paul{\'{\i}}k},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Soundness and Completeness of Non-classical SLD-Resolution},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {289--301},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_20},
  doi          = {10.1007/3-540-60983-0\_20},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/VojtasP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/WitteveenH96,
  author       = {Cees Witteveen and
                  Wiebe van der Hoek},
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Some postulates for Nonmonotonic Theory Revision Applied to Logic
                  Programming},
  booktitle    = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  pages        = {303--318},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0\_21},
  doi          = {10.1007/3-540-60983-0\_21},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/WitteveenH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/elp/1996,
  editor       = {Roy Dyckhoff and
                  Heinrich Herre and
                  Peter Schroeder{-}Heister},
  title        = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
                  Leipzig, Germany, March 28-30, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1050},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60983-0},
  doi          = {10.1007/3-540-60983-0},
  isbn         = {3-540-60983-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/elp/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics