Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/iclp/iclp2009.bht:"
@inproceedings{DBLP:conf/iclp/ArandaAOPRTV09, author = {Jes{\'{u}}s Aranda and G{\'{e}}rard Assayag and Carlos Olarte and Jorge A. P{\'{e}}rez and Camilo Rueda and Mauricio Toro and Frank D. Valencia}, editor = {Patricia M. Hill and David Scott Warren}, title = {An Overview of {FORCES:} An {INRIA} Project on Declarative Formalisms for Emergent Systems}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {509--513}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_44}, doi = {10.1007/978-3-642-02846-5\_44}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/ArandaAOPRTV09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Ashley-Rollman09, author = {Michael P. Ashley{-}Rollman}, editor = {Patricia M. Hill and David Scott Warren}, title = {Research Summary: Logic Programming for Massively Distributed Systems}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {527--529}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_48}, doi = {10.1007/978-3-642-02846-5\_48}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Ashley-Rollman09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Ashley-RollmanLGPC09, author = {Michael P. Ashley{-}Rollman and Peter Lee and Seth Copen Goldstein and Padmanabhan Pillai and Jason Campbell}, editor = {Patricia M. Hill and David Scott Warren}, title = {A Language for Large Ensembles of Independently Executing Nodes}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {265--280}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_24}, doi = {10.1007/978-3-642-02846-5\_24}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Ashley-RollmanLGPC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/BottalicoB09, author = {Marco Bottalico and Stefano Bistarelli}, editor = {Patricia M. Hill and David Scott Warren}, title = {Constraint Based Languages for Biological Reactions}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {561--562}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_64}, doi = {10.1007/978-3-642-02846-5\_64}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/BottalicoB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/BroechelerSS09, author = {Matthias Broecheler and Gerardo I. Simari and V. S. Subrahmanian}, editor = {Patricia M. Hill and David Scott Warren}, title = {Using Histograms to Better Answer Queries to Probabilistic Logic Programs}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {40--54}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_9}, doi = {10.1007/978-3-642-02846-5\_9}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/BroechelerSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CaballeroRR09, author = {Rafael Caballero and Mario Rodr{\'{\i}}guez{-}Artalejo and Carlos A. Romero{-}D{\'{\i}}az}, editor = {Patricia M. Hill and David Scott Warren}, title = {Qualified Computations in Functional Logic Programming}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {449--463}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_36}, doi = {10.1007/978-3-642-02846-5\_36}, timestamp = {Wed, 23 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/CaballeroRR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CampliB09, author = {Paola Campli and Stefano Bistarelli}, editor = {Patricia M. Hill and David Scott Warren}, title = {Capturing Fair Computations on Concurrent Constraint Language}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {559--560}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_63}, doi = {10.1007/978-3-642-02846-5\_63}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/CampliB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ChenJL09, author = {Xiaoping Chen and Jianmin Ji and Fangzhen Lin}, editor = {Patricia M. Hill and David Scott Warren}, title = {Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {130--144}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_15}, doi = {10.1007/978-3-642-02846-5\_15}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/ChenJL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ChristiansenG09, author = {Henning Christiansen and John P. Gallagher}, editor = {Patricia M. Hill and David Scott Warren}, title = {Non-discriminating Arguments and Their Uses}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {55--69}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_10}, doi = {10.1007/978-3-642-02846-5\_10}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/ChristiansenG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ChristiansenL09, author = {Henning Christiansen and Ole Torp Lassen}, editor = {Patricia M. Hill and David Scott Warren}, title = {Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {70--83}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_11}, doi = {10.1007/978-3-642-02846-5\_11}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/ChristiansenL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/CostaRR09, author = {Jorge Costa and Jo{\~{a}}o Raimundo and Ricardo Rocha}, editor = {Patricia M. Hill and David Scott Warren}, title = {A Term-Based Global Trie for Tabled Logic Programs}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {205--219}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_20}, doi = {10.1007/978-3-642-02846-5\_20}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/CostaRR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Dao-TranEFK09, author = {Minh Dao{-}Tran and Thomas Eiter and Michael Fink and Thomas Krennwallner}, editor = {Patricia M. Hill and David Scott Warren}, title = {Modular Nonmonotonic Logic Programming Revisited}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {145--159}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_16}, doi = {10.1007/978-3-642-02846-5\_16}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Dao-TranEFK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/DelgrandeSTW09, author = {James P. Delgrande and Torsten Schaub and Hans Tompits and Stefan Woltran}, editor = {Patricia M. Hill and David Scott Warren}, title = {Merging Logic Programs under Answer Set Semantics}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {160--174}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_17}, doi = {10.1007/978-3-642-02846-5\_17}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/DelgrandeSTW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Denecker09, author = {Marc Denecker}, editor = {Patricia M. Hill and David Scott Warren}, title = {A Knowledge Base System Project for {FO(.)}}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {22}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_2}, doi = {10.1007/978-3-642-02846-5\_2}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Denecker09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Ducasse09, author = {Mireille Ducass{\'{e}}}, editor = {Patricia M. Hill and David Scott Warren}, title = {{(C)LP} Tracing and Debugging}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {38}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_7}, doi = {10.1007/978-3-642-02846-5\_7}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Ducasse09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/DungHT09, author = {Phan Minh Dung and Do Duc Hanh and Phan Minh Thang}, editor = {Patricia M. Hill and David Scott Warren}, title = {Stabilization of Information Sharing for Queries Answering in Multiagent Systems}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {84--98}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_12}, doi = {10.1007/978-3-642-02846-5\_12}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/DungHT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/EiterEEF09, author = {Thomas Eiter and Esra Erdem and Halit Erdogan and Michael Fink}, editor = {Patricia M. Hill and David Scott Warren}, title = {Finding Similar or Diverse Solutions in Answer Set Programming}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {342--356}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_29}, doi = {10.1007/978-3-642-02846-5\_29}, timestamp = {Tue, 19 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/EiterEEF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Fodor09, author = {Paul Fodor}, editor = {Patricia M. Hill and David Scott Warren}, title = {Research Summary: Tabled Evaluation for Transaction Logic Programs}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {525--526}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_47}, doi = {10.1007/978-3-642-02846-5\_47}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Fodor09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GavanelliAL09, author = {Marco Gavanelli and Marco Alberti and Evelina Lamma}, editor = {Patricia M. Hill and David Scott Warren}, title = {Integration of Abductive Reasoning and Constraint Optimization in {SCIFF}}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {387--401}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_32}, doi = {10.1007/978-3-642-02846-5\_32}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/GavanelliAL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GebserKKS09, author = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub}, editor = {Patricia M. Hill and David Scott Warren}, title = {On the Implementation of Weight Constraint Rules in Conflict-Driven {ASP} Solvers}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {250--264}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_23}, doi = {10.1007/978-3-642-02846-5\_23}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/GebserKKS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GebserOS09, author = {Martin Gebser and Max Ostrowski and Torsten Schaub}, editor = {Patricia M. Hill and David Scott Warren}, title = {Constraint Answer Set Solving}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {235--249}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_22}, doi = {10.1007/978-3-642-02846-5\_22}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/GebserOS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/GuzmanCH09, author = {Pablo Chico de Guzm{\'{a}}n and Manuel Carro and Manuel V. Hermenegildo}, editor = {Patricia M. Hill and David Scott Warren}, title = {A Tabling Implementation Based on Variables with Multiple Bindings}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {190--204}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_19}, doi = {10.1007/978-3-642-02846-5\_19}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/GuzmanCH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Have09, author = {Christian Theil Have}, editor = {Patricia M. Hill and David Scott Warren}, title = {Logic-Statistic Models with Constraints for Biological Sequence Analysis}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {549--550}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_58}, doi = {10.1007/978-3-642-02846-5\_58}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Have09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HildebrandtL09, author = {Thomas T. Hildebrandt and Hugo A. L{\'{o}}pez}, editor = {Patricia M. Hill and David Scott Warren}, title = {Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {417--431}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_34}, doi = {10.1007/978-3-642-02846-5\_34}, timestamp = {Mon, 13 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/HildebrandtL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/HolldoblerR09, author = {Steffen H{\"{o}}lldobler and Carroline Dewi Puspa Kencana Ramli}, editor = {Patricia M. Hill and David Scott Warren}, title = {Logic Programs under Three-Valued Lukasiewicz Semantics}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {464--478}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_37}, doi = {10.1007/978-3-642-02846-5\_37}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/HolldoblerR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Inclezan09, author = {Daniela Inclezan}, editor = {Patricia M. Hill and David Scott Warren}, title = {Modular Action Language \emph{ALM}\{{\textbackslash}cal ALM\}}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {542--543}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_55}, doi = {10.1007/978-3-642-02846-5\_55}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Inclezan09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Ji09, author = {Jianmin Ji}, editor = {Patricia M. Hill and David Scott Warren}, title = {Research Summary}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {532--533}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_50}, doi = {10.1007/978-3-642-02846-5\_50}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Ji09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/King09, author = {Andy King}, editor = {Patricia M. Hill and David Scott Warren}, title = {Untangling Reverse Engineering with Logic and Abstraction}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {37}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_6}, doi = {10.1007/978-3-642-02846-5\_6}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/King09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Koninck09, author = {Leslie De Koninck}, editor = {Patricia M. Hill and David Scott Warren}, title = {Execution Control for {CHR}}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {479--483}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_38}, doi = {10.1007/978-3-642-02846-5\_38}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Koninck09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/KoninckDS09, author = {Leslie De Koninck and Gregory J. Duck and Peter J. Stuckey}, editor = {Patricia M. Hill and David Scott Warren}, title = {Demand-Driven Normalisation for {ACD} Term Rewriting}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {484--488}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_39}, doi = {10.1007/978-3-642-02846-5\_39}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/KoninckDS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Li09, author = {Chendong Li}, editor = {Patricia M. Hill and David Scott Warren}, title = {Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {530--531}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_49}, doi = {10.1007/978-3-642-02846-5\_49}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Li09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/LierlerL09, author = {Yuliya Lierler and Vladimir Lifschitz}, editor = {Patricia M. Hill and David Scott Warren}, title = {One More Decidable Class of Finitely Ground Programs}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {489--493}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_40}, doi = {10.1007/978-3-642-02846-5\_40}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/LierlerL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MeraLH09, author = {Edison Mera and Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and Manuel V. Hermenegildo}, editor = {Patricia M. Hill and David Scott Warren}, title = {Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {281--295}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_25}, doi = {10.1007/978-3-642-02846-5\_25}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/MeraLH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Moura09, author = {Paulo Moura}, editor = {Patricia M. Hill and David Scott Warren}, title = {From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {23}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_3}, doi = {10.1007/978-3-642-02846-5\_3}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Moura09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Mungall09, author = {Chris Mungall}, editor = {Patricia M. Hill and David Scott Warren}, title = {Experiences Using Logic Programming in Bioinformatics}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {1--21}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_1}, doi = {10.1007/978-3-642-02846-5\_1}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Mungall09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Namasivayam09, author = {Gayathri Namasivayam}, editor = {Patricia M. Hill and David Scott Warren}, title = {Study of Random Logic Programs}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {555--556}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_61}, doi = {10.1007/978-3-642-02846-5\_61}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Namasivayam09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PaluDPR09, author = {Alessandro Dal Pal{\`{u}} and Agostino Dovier and Enrico Pontelli and Gianfranco Rossi}, editor = {Patricia M. Hill and David Scott Warren}, title = {Answer Set Programming with Constraints Using Lazy Grounding}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {115--129}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_14}, doi = {10.1007/978-3-642-02846-5\_14}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/PaluDPR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Paolucci09, author = {Alessio Paolucci}, editor = {Patricia M. Hill and David Scott Warren}, title = {Research Summary: Intelligent Natural Language Processing Techniques and Tools}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {536--537}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_52}, doi = {10.1007/978-3-642-02846-5\_52}, timestamp = {Thu, 28 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Paolucci09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Pilozzi09, author = {Paolo Pilozzi}, editor = {Patricia M. Hill and David Scott Warren}, title = {Research Summary: Termination of {CHR}}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {534--535}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_51}, doi = {10.1007/978-3-642-02846-5\_51}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Pilozzi09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PilozziS09, author = {Paolo Pilozzi and Danny De Schreye}, editor = {Patricia M. Hill and David Scott Warren}, title = {Proving Termination by Invariance Relations}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {499--503}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_42}, doi = {10.1007/978-3-642-02846-5\_42}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/PilozziS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/PilozziS09a, author = {Paolo Pilozzi and Danny De Schreye}, editor = {Patricia M. Hill and David Scott Warren}, title = {Automating Termination Proofs for {CHR}}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {504--508}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_43}, doi = {10.1007/978-3-642-02846-5\_43}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/PilozziS09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Raedt09, author = {Luc De Raedt}, editor = {Patricia M. Hill and David Scott Warren}, title = {Probabilistic Logic Learning - {A} Tutorial Abstract}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {39}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_8}, doi = {10.1007/978-3-642-02846-5\_8}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Raedt09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Raiser09, author = {Frank Raiser}, editor = {Patricia M. Hill and David Scott Warren}, title = {Research Summary}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {540--541}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_54}, doi = {10.1007/978-3-642-02846-5\_54}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Raiser09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Rosa09, author = {Michael DeRosa}, editor = {Patricia M. Hill and David Scott Warren}, title = {Locally Distributed Predicates: {A} Programming Facility for Distributed State Detection}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {557--558}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_62}, doi = {10.1007/978-3-642-02846-5\_62}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Rosa09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Sarna-StarostaS09, author = {Beata Sarna{-}Starosta and Tom Schrijvers}, editor = {Patricia M. Hill and David Scott Warren}, title = {Attributed Data for {CHR} Indexing}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {357--371}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_30}, doi = {10.1007/978-3-642-02846-5\_30}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Sarna-StarostaS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Sato09, author = {Taisuke Sato}, editor = {Patricia M. Hill and David Scott Warren}, title = {Generative Modeling by {PRISM}}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {24--35}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_4}, doi = {10.1007/978-3-642-02846-5\_4}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Sato09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/SchaubT09, author = {Torsten Schaub and Sven Thiele}, editor = {Patricia M. Hill and David Scott Warren}, title = {Metabolic Network Expansion with Answer Set Programming}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {312--326}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_27}, doi = {10.1007/978-3-642-02846-5\_27}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/SchaubT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Simari09, author = {Gerardo I. Simari}, editor = {Patricia M. Hill and David Scott Warren}, title = {Stochastic Reasoning with Models of Agent Behavior}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {538--539}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_53}, doi = {10.1007/978-3-642-02846-5\_53}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Simari09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Simkus09, author = {Mantas Simkus}, editor = {Patricia M. Hill and David Scott Warren}, title = {Fusion of Logic Programming and Description Logics}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {551--552}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_59}, doi = {10.1007/978-3-642-02846-5\_59}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Simkus09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Sneyers09, author = {Jon Sneyers}, editor = {Patricia M. Hill and David Scott Warren}, title = {Optimizing Compilation and Computational Complexity of Constraint Handling Rules}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {494--498}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_41}, doi = {10.1007/978-3-642-02846-5\_41}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Sneyers09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/SonPS09, author = {Tran Cao Son and Enrico Pontelli and Chiaki Sakama}, editor = {Patricia M. Hill and David Scott Warren}, title = {Logic Programming for Multiagent Planning with Negotiation}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {99--114}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_13}, doi = {10.1007/978-3-642-02846-5\_13}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/SonPS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Swift09, author = {Terrance Swift}, editor = {Patricia M. Hill and David Scott Warren}, title = {An Engine for Computing Well-Founded Models}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {514--518}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_45}, doi = {10.1007/978-3-642-02846-5\_45}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Swift09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/SwiftPP09, author = {Terrance Swift and Alexandre Miguel Pinto and Lu{\'{\i}}s Moniz Pereira}, editor = {Patricia M. Hill and David Scott Warren}, title = {Incremental Answer Completion in the {SLG-WAM}}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {519--524}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_46}, doi = {10.1007/978-3-642-02846-5\_46}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/SwiftPP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Thielscher09, author = {Michael Thielscher}, editor = {Patricia M. Hill and David Scott Warren}, title = {Answer Set Programming for Single-Player Games in General Game Playing}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {327--341}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_28}, doi = {10.1007/978-3-642-02846-5\_28}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Thielscher09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Todorova09, author = {Yana Todorova}, editor = {Patricia M. Hill and David Scott Warren}, title = {Answering Questions from Natural Language Using A-Prolog}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {544--546}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_56}, doi = {10.1007/978-3-642-02846-5\_56}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Todorova09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Truszczynski09, author = {Miroslaw Truszczynski}, editor = {Patricia M. Hill and David Scott Warren}, title = {Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {175--189}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_18}, doi = {10.1007/978-3-642-02846-5\_18}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Truszczynski09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/VazCF09, author = {David Vaz and V{\'{\i}}tor Santos Costa and Michel Ferreira}, editor = {Patricia M. Hill and David Scott Warren}, title = {User Defined Indexing}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {372--386}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_31}, doi = {10.1007/978-3-642-02846-5\_31}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/VazCF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Voets09, author = {Dean Voets}, editor = {Patricia M. Hill and David Scott Warren}, title = {Research Summary: Non-termination Analysis of Logic Programs}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {553--554}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_60}, doi = {10.1007/978-3-642-02846-5\_60}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Voets09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/VoetsS09, author = {Dean Voets and Danny De Schreye}, editor = {Patricia M. Hill and David Scott Warren}, title = {A New Approach to Non-termination Analysis of Logic Programs}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {220--234}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_21}, doi = {10.1007/978-3-642-02846-5\_21}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/VoetsS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Wan09, author = {Hui Wan}, editor = {Patricia M. Hill and David Scott Warren}, title = {Belief Logic Programming}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {547--548}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_57}, doi = {10.1007/978-3-642-02846-5\_57}, timestamp = {Sat, 23 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/Wan09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/WanGKFL09, author = {Hui Wan and Benjamin N. Grosof and Michael Kifer and Paul Fodor and Senlin Liang}, editor = {Patricia M. Hill and David Scott Warren}, title = {Logic Programming with Defaults and Argumentation Theories}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {432--448}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_35}, doi = {10.1007/978-3-642-02846-5\_35}, timestamp = {Sat, 23 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/WanGKFL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Wielemaker09, author = {Jan Wielemaker}, editor = {Patricia M. Hill and David Scott Warren}, title = {Enabling Serendipitous Search on the Web of Data Using Prolog}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {36}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_5}, doi = {10.1007/978-3-642-02846-5\_5}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Wielemaker09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/WittocxVD09, author = {Johan Wittocx and Hanne Vlaeminck and Marc Denecker}, editor = {Patricia M. Hill and David Scott Warren}, title = {Debugging for Model Expansion}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {296--311}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_26}, doi = {10.1007/978-3-642-02846-5\_26}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/WittocxVD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/Zhou09, author = {Neng{-}Fa Zhou}, editor = {Patricia M. Hill and David Scott Warren}, title = {Encoding Table Constraints in {CLP(FD)} Based on Pair-Wise {AC}}, booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, pages = {402--416}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5\_33}, doi = {10.1007/978-3-642-02846-5\_33}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/Zhou09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iclp/2009, editor = {Patricia M. Hill and David Scott Warren}, title = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5649}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02846-5}, doi = {10.1007/978-3-642-02846-5}, isbn = {978-3-642-02845-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iclp/2009.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.