Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/elp/elp96.bht:"
@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} }
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.