default search action
Search dblp for Publications
export results for "toc:db/books/collections/AMTW1999.bht:"
@incollection{DBLP:books/sp/99/AptB99, author = {Krzysztof R. Apt and Marc Bezem}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Formulas as Programs}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {75--107}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_4}, doi = {10.1007/978-3-642-60085-2\_4}, timestamp = {Mon, 29 Jul 2019 13:50:28 +0200}, biburl = {https://dblp.org/rec/books/sp/99/AptB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/BlairDJRS99, author = {Howard A. Blair and Fred Dushin and David W. Jakel and Angel J. Rivera and T. Metin Sezgin}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic Foundations}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {231--255}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_10}, doi = {10.1007/978-3-642-60085-2\_10}, timestamp = {Wed, 15 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/99/BlairDJRS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/BozzanoDMMZ99, author = {Marco Bozzano and Giorgio Delzanno and Maurizio Martelli and Viviana Mascardi and Floriano Zini}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Logic Programming and Multi-Agent Systems: {A} Synergic Combination for Applications and Semantics}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {5--32}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_1}, doi = {10.1007/978-3-642-60085-2\_1}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/BozzanoDMMZ99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Cohen99, author = {Jacques Cohen}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Computational Molecular Biology: {A} Promising Application Using {LP} and its Extensions}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {281--311}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_12}, doi = {10.1007/978-3-642-60085-2\_12}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Cohen99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Dahl99, author = {Ver{\'{o}}nica Dahl}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {The Logic of Language}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {429--456}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_19}, doi = {10.1007/978-3-642-60085-2\_19}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Dahl99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Debray99, author = {Saumya Debray}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Link-time Optimization of Multi-Language Programs}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {109--126}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_5}, doi = {10.1007/978-3-642-60085-2\_5}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Debray99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Emden99, author = {Maarten H. van Emden}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {The Logic Programming Paradigm in Numerical Computation}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {257--276}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_11}, doi = {10.1007/978-3-642-60085-2\_11}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Emden99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Furukawa99, author = {Koichi Furukawa}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {From Deduction to Induction: Logical Perspective}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {347--354}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_15}, doi = {10.1007/978-3-642-60085-2\_15}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Furukawa99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Gupta99, author = {Gopal Gupta}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Horn Logic Denotations and Their Applications}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {127--159}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_6}, doi = {10.1007/978-3-642-60085-2\_6}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Gupta99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/HermenegildoPB99, author = {Manuel V. Hermenegildo and Germ{\'{a}}n Puebla and Francisco Bueno}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {161--192}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_7}, doi = {10.1007/978-3-642-60085-2\_7}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/HermenegildoPB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Lifschitz99, author = {Vladimir Lifschitz}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Action Languages, Answer Sets, and Planning}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {357--373}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_16}, doi = {10.1007/978-3-642-60085-2\_16}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Lifschitz99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Maher99, author = {Michael J. Maher}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Adding Constraints to Logic-based Formalisms}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {313--331}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_13}, doi = {10.1007/978-3-642-60085-2\_13}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Maher99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/MarekT99, author = {Victor W. Marek and Miroslaw Truszczynski}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Stable Models and an Alternative Logic Programming Paradigm}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {375--398}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_17}, doi = {10.1007/978-3-642-60085-2\_17}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/MarekT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Raedt99, author = {Luc De Raedt}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {A Perspective on Inductive Logic Programming}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {335--346}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_14}, doi = {10.1007/978-3-642-60085-2\_14}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Raedt99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/SchreyeD99, author = {Danny De Schreye and Marc Denecker}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Assessment of Some Issues in CL-Theory and Program Development}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {195--208}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_8}, doi = {10.1007/978-3-642-60085-2\_8}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/SchreyeD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Tarau99, author = {Paul Tarau}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Inference and Computation Mobility with Jinni}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {33--52}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_2}, doi = {10.1007/978-3-642-60085-2\_2}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Tarau99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Ueda99, author = {Kazunori Ueda}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Concurrent Logic/Constraint Programming: The Next 10 Years}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {53--71}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_3}, doi = {10.1007/978-3-642-60085-2\_3}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Ueda99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/Wadler99, author = {Philip Wadler}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {How Enterprises Use Functional Languages, and Why They Don't}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {209--227}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_9}, doi = {10.1007/978-3-642-60085-2\_9}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/Wadler99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/99/ZanioloW99, author = {Carlo Zaniolo and Haixun Wang}, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {Logic-Based User-Defined Aggregates for the Next Generation of Database Systems}, booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, pages = {401--426}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2\_18}, doi = {10.1007/978-3-642-60085-2\_18}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/ZanioloW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/99/AMTW1999, editor = {Krzysztof R. Apt and Victor W. Marek and Mirek Truszczynski and David Scott Warren}, title = {The Logic Programming Paradigm - {A} 25-Year Perspective}, series = {Artificial Intelligence}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-60085-2}, doi = {10.1007/978-3-642-60085-2}, isbn = {978-3-642-64249-4}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/sp/99/AMTW1999.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.