Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/iclp/iclp2009.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-25 18:16 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
