Search dblp for Publications

export results for "toc:db/books/collections/AMTW1999.bht:"

 download as .bib file

@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.