Search dblp for Publications

export results for "toc:db/conf/lpar/lpar2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/lpar/2004,
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b106931},
  doi          = {10.1007/B106931},
  isbn         = {3-540-25236-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AlbertPH04,
  author       = {Elvira Albert and
                  Germ{\'{a}}n Puebla and
                  Manuel V. Hermenegildo},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Abstraction-Carrying Code},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {380--397},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_25},
  doi          = {10.1007/978-3-540-32275-7\_25},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AlbertPH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AminofBK04,
  author       = {Benjamin Aminof and
                  Thomas Ball and
                  Orna Kupferman},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Reasoning About Systems with Transition Fairness},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {194--208},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_14},
  doi          = {10.1007/978-3-540-32275-7\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AminofBK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/ArecesG04,
  author       = {Carlos Areces and
                  Daniel Gor{\'{\i}}n},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Ordered Resolution with Selection for H(@)},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {125--141},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_9},
  doi          = {10.1007/978-3-540-32275-7\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/ArecesG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BaazHLRS04,
  author       = {Matthias Baaz and
                  Stefan Hetzl and
                  Alexander Leitsch and
                  Clemens Richter and
                  Hendrik Spohr},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Cut-Elimination: Experiments with {CERES}},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {481--495},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_32},
  doi          = {10.1007/978-3-540-32275-7\_32},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BaazHLRS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BaazL04,
  author       = {Matthias Baaz and
                  Alexander Leitsch},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {{CERES} in Many-Valued Logics},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_1},
  doi          = {10.1007/978-3-540-32275-7\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BaazL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BagherzadehA04,
  author       = {M. Jamshid Bagherzadeh and
                  S. Arun{-}Kumar},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Layered Clausal Resolution in the Multi-modal Logic of Beliefs and
                  Goals},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {544--559},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_36},
  doi          = {10.1007/978-3-540-32275-7\_36},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BagherzadehA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Benedetti04,
  author       = {Marco Benedetti},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Evaluating QBFs via Symbolic Skolemization},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {285--300},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_20},
  doi          = {10.1007/978-3-540-32275-7\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Benedetti04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BenzmullerSJK04,
  author       = {Christoph Benzm{\"{u}}ller and
                  Volker Sorge and
                  Mateja Jamnik and
                  Manfred Kerber},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Can a Higher-Order and a First-Order Theorem Prover Cooperate?},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {415--431},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_27},
  doi          = {10.1007/978-3-540-32275-7\_27},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BenzmullerSJK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BeringerHMS04,
  author       = {Lennart Beringer and
                  Martin Hofmann and
                  Alberto Momigliano and
                  Olha Shkaravska},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Automatic Certification of Heap Consumption},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {347--362},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_23},
  doi          = {10.1007/978-3-540-32275-7\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BeringerHMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BerwangerG04,
  author       = {Dietmar Berwanger and
                  Erich Gr{\"{a}}del},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Entanglement - {A} Measure for the Complexity of Directed Graphs with
                  Applications to Logic and Games},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {209--223},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_15},
  doi          = {10.1007/978-3-540-32275-7\_15},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BerwangerG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BickfordCHP04,
  author       = {Mark Bickford and
                  Robert L. Constable and
                  Joseph Y. Halpern and
                  Sabina Petride},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Knowledge-Based Synthesis of Distributed Systems Using Event Structures},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {449--465},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_30},
  doi          = {10.1007/978-3-540-32275-7\_30},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BickfordCHP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BordeauxCM04,
  author       = {Lucas Bordeaux and
                  Marco Cadoli and
                  Toni Mancini},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction
                  Problems},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {270--284},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_19},
  doi          = {10.1007/978-3-540-32275-7\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BordeauxCM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/CiabattoniFM04,
  author       = {Agata Ciabattoni and
                  Christian G. Ferm{\"{u}}ller and
                  George Metcalfe},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Uniform Rules and Dialogue Games for Fuzzy Logics},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {496--510},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_33},
  doi          = {10.1007/978-3-540-32275-7\_33},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/CiabattoniFM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/CosmoD04,
  author       = {Roberto Di Cosmo and
                  Thomas Dufour},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {The Equational Theory of {\textless} N, 0, 1, +, {\texttimes}, uparrow
                  {\textgreater} Is Decidable, but Not Finitely Axiomatisable},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {240--256},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_17},
  doi          = {10.1007/978-3-540-32275-7\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/CosmoD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Dahllof04,
  author       = {Vilhelm Dahll{\"{o}}f},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Applications of General Exact Satisfiability in Propositional Logic
                  Modelling},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {95--109},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_7},
  doi          = {10.1007/978-3-540-32275-7\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Dahllof04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/DonnellyGKMP04,
  author       = {Kevin Donnelly and
                  Tyler Gibson and
                  Neel Krishnaswami and
                  Stephen Magill and
                  Sungwoo Park},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {The Inverse Method for the Logic of Bunched Implications},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {466--480},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_31},
  doi          = {10.1007/978-3-540-32275-7\_31},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/DonnellyGKMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/DrielsmaMV04,
  author       = {Paul Hankes Drielsma and
                  Sebastian M{\"{o}}dersheim and
                  Luca Vigan{\`{o}}},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {A Formalization of Off-Line Guessing for Security Protocol Analysis},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {363--379},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_24},
  doi          = {10.1007/978-3-540-32275-7\_24},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/DrielsmaMV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/EiterIST04,
  author       = {Thomas Eiter and
                  Giovambattista Ianni and
                  Roman Schindlauer and
                  Hans Tompits},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Nonmonotonic Description Logic Programs: Implementation and Experiments},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {511--527},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_34},
  doi          = {10.1007/978-3-540-32275-7\_34},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/EiterIST04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/FontaineRZ04,
  author       = {Pascal Fontaine and
                  Silvio Ranise and
                  Calogero G. Zarba},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Combining Lists with Non-stably Infinite Theories},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_4},
  doi          = {10.1007/978-3-540-32275-7\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/FontaineRZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/GieslTS04,
  author       = {J{\"{u}}rgen Giesl and
                  Ren{\'{e}} Thiemann and
                  Peter Schneider{-}Kamp},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {The Dependency Pair Framework: Combining Techniques for Automated
                  Termination Proofs},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {301--331},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_21},
  doi          = {10.1007/978-3-540-32275-7\_21},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/GieslTS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Hardin04,
  author       = {Christopher Hardin},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {How the Location of * Influences Complexity in Kleene Algebra with
                  Tests},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {224--239},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_16},
  doi          = {10.1007/978-3-540-32275-7\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Hardin04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/HustadtMS04,
  author       = {Ullrich Hustadt and
                  Boris Motik and
                  Ulrike Sattler},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {A Decomposition Rule for Decision Procedures by Resolution-Based Calculi},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {21--35},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_2},
  doi          = {10.1007/978-3-540-32275-7\_2},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/HustadtMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/KoshimuraUH04,
  author       = {Miyuki Koshimura and
                  Mayumi Umeda and
                  Ryuzo Hasegawa},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Abstract Model Generation for Preprocessing Clause Sets},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {67--78},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_5},
  doi          = {10.1007/978-3-540-32275-7\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/KoshimuraUH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/LinkeS04,
  author       = {Thomas Linke and
                  Vladimir Sarsakov},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Suitable Graphs for Answer Set Programming},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {154--168},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_11},
  doi          = {10.1007/978-3-540-32275-7\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/LinkeS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/LopezP04,
  author       = {Pablo L{\'{o}}pez and
                  Jeff Polakow},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Implementing Efficient Resource Management for Linear Logic Programming},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {528--543},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_35},
  doi          = {10.1007/978-3-540-32275-7\_35},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/LopezP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/MarcinkowskiOS04,
  author       = {Jerzy Marcinkowski and
                  Jan Otop and
                  Grzegorz Stelmaszek},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {On a Semantic Subsumption Test},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {142--153},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_10},
  doi          = {10.1007/978-3-540-32275-7\_10},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/MarcinkowskiOS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/MouraKA04,
  author       = {Fl{\'{a}}vio L. C. de Moura and
                  Fairouz Kamareddine and
                  Mauricio Ayala{-}Rinc{\'{o}}n},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Second-Order Matching via Explicit Substitutions},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {433--448},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_29},
  doi          = {10.1007/978-3-540-32275-7\_29},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/MouraKA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Muller-OlmS04,
  author       = {Markus M{\"{u}}ller{-}Olm and
                  Helmut Seidl},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {A Generic Framework for Interprocedural Analyses of Numerical Properties},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {432--432},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_28},
  doi          = {10.1007/978-3-540-32275-7\_28},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Muller-OlmS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/NieuwenborghHV04,
  author       = {Davy Van Nieuwenborgh and
                  Stijn Heymans and
                  Dirk Vermeir},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Weighted Answer Sets and Applications in Intelligence Analysis},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_12},
  doi          = {10.1007/978-3-540-32275-7\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/NieuwenborghHV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/NieuwenhuisOT04,
  author       = {Robert Nieuwenhuis and
                  Albert Oliveras and
                  Cesare Tinelli},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Abstract {DPLL} and Abstract {DPLL} Modulo Theories},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {36--50},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_3},
  doi          = {10.1007/978-3-540-32275-7\_3},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/NieuwenhuisOT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Nordh04,
  author       = {Gustav Nordh},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {A Trichotomy in the Complexity of Propositional Circumscription},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {257--269},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_18},
  doi          = {10.1007/978-3-540-32275-7\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Nordh04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Schirmer04,
  author       = {Norbert Schirmer},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {A Verification Environment for Sequential Imperative Programs in Isabelle/HOL},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {398--414},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_26},
  doi          = {10.1007/978-3-540-32275-7\_26},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Schirmer04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/SeidlV04,
  author       = {Helmut Seidl and
                  Kumar Neeraj Verma},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Flat and One-Variable Clauses: Complexity of Verifying Cryptographic
                  Protocols with Single Blind Copying},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {79--94},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_6},
  doi          = {10.1007/978-3-540-32275-7\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/SeidlV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/WaltherS04,
  author       = {Christoph Walther and
                  Stephan Schweitzer},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {Automated Termination Analysis for Incompletely Defined Programs},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {332--346},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_22},
  doi          = {10.1007/978-3-540-32275-7\_22},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/WaltherS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Walukiewicz04,
  author       = {Igor Walukiewicz},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {How to Fix It: Using Fixpoints in Different Contexts},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {184--193},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_13},
  doi          = {10.1007/978-3-540-32275-7\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Walukiewicz04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/WhiteheadA04,
  author       = {Nathan Whitehead and
                  Mart{\'{\i}}n Abadi},
  editor       = {Franz Baader and
                  Andrei Voronkov},
  title        = {BCiC: {A} System for Code Authentication and Verification},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
                  International Conference, {LPAR} 2004, Montevideo, Uruguay, March
                  14-18, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3452},
  pages        = {110--124},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-32275-7\_8},
  doi          = {10.1007/978-3-540-32275-7\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/WhiteheadA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.