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/iclp2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/iclp/AlcantaraDP05,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Well-Founded Semantics with Disjunction},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {341--355},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_26},
doi = {10.1007/11562931\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AlcantaraDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaseliceBG05,
author = {Sabrina Baselice and
Piero A. Bonatti and
Michael Gelfond},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Towards an Integration of Answer Set and Constraint Solving},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {52--66},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_7},
doi = {10.1007/11562931\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BaseliceBG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bekes05,
author = {Andr{\'{a}}s Gy{\"{o}}rgy B{\'{e}}k{\'{e}}s},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Optimizing Queries for Heterogeneous Information Sources},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {429--430},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_41},
doi = {10.1007/11562931\_41},
timestamp = {Fri, 28 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Bekes05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bortolussi05,
author = {Luca Bortolussi},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Concurrent Methodologies for Global Optimization},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {441--443},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_47},
doi = {10.1007/11562931\_47},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Bortolussi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BortolussiW05,
author = {Luca Bortolussi and
Herbert Wiklicky},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Distributed and Probabilistic Concurrent Constraint Programming
Language},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {143--158},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_13},
doi = {10.1007/11562931\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BortolussiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrasselH05,
author = {Bernd Bra{\ss}el and
Michael Hanus},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Nondeterminism Analysis of Functional Logic Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {265--279},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_21},
doi = {10.1007/11562931\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BrasselH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Chesani05,
author = {Federico Chesani},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Formalization and Verification of Interaction Protocols},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {437--438},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_45},
doi = {10.1007/11562931\_45},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Chesani05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChristiansenD05,
author = {Henning Christiansen and
Ver{\'{o}}nica Dahl},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {{HYPROLOG:} {A} New Logic Programming Language with Assumptions and
Abduction},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {159--173},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_14},
doi = {10.1007/11562931\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ChristiansenD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishLS05,
author = {Michael Codish and
Vitaly Lagoon and
Peter J. Stuckey},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Testing for Termination with Monotonicity Constraints},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {326--340},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_25},
doi = {10.1007/11562931\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CoqueryF05,
author = {Emmanuel Coquery and
Fran{\c{c}}ois Fages},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Type System for {CHR}},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {402--403},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_30},
doi = {10.1007/11562931\_30},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CoqueryF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CorinSE05,
author = {Ricardo Corin and
Ari Saptawijaya and
Sandro Etalle},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {{PS-LTL} for Constraint-Based Security Protocol Analysis},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {439--440},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_46},
doi = {10.1007/11562931\_46},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CorinSE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DovierFP05,
author = {Agostino Dovier and
Andrea Formisano and
Enrico Pontelli},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Comparison of {CLP(FD)} and {ASP} Solutions to NP-Complete Problems},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {67--82},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_8},
doi = {10.1007/11562931\_8},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DovierFP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DuanYK05,
author = {Zhenhua Duan and
Xiaoxiao Yang and
Maciej Koutny},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Semantics of Framed Temporal Logic Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {356--370},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_27},
doi = {10.1007/11562931\_27},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DuanYK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ferreira05,
author = {Michel Ferreira},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {The {MYDDAS} Project: Using a Deductive Database for Traffic Characterization},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {424--426},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_39},
doi = {10.1007/11562931\_39},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ferreira05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Fruhwirth05,
author = {Thom W. Fr{\"{u}}hwirth},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Parallelizing Union-Find in Constraint Handling Rules Using Confluence
Analysis},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {113--127},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_11},
doi = {10.1007/11562931\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Fruhwirth05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GallagherHB05,
author = {John P. Gallagher and
Kim S. Henriksen and
Gourinath Banda},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Techniques for Scaling Up Analyses Based on Pre-interpretations},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {280--296},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_22},
doi = {10.1007/11562931\_22},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GallagherHB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GiunchigliaM05,
author = {Enrico Giunchiglia and
Marco Maratea},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {On the Relation Between Answer Set and {SAT} Procedures (or, Between
cmodels and smodels)},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {37--51},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_6},
doi = {10.1007/11562931\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GiunchigliaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Haemmerle05,
author = {R{\'{e}}my Haemmerl{\'{e}}},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {SiLCC Is Linear Concurrent Constraint Programming},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {448--449},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_50},
doi = {10.1007/11562931\_50},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Haemmerle05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Horrocks05,
author = {Ian Horrocks},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {{OWL:} {A} Description Logic Based Ontology Language},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {1--4},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_1},
doi = {10.1007/11562931\_1},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Horrocks05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JaffarSV05,
author = {Joxan Jaffar and
Andrew E. Santosa and
Razvan Voicu},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Modeling Systems in {CLP}},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {412--413},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_34},
doi = {10.1007/11562931\_34},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JaffarSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JaffarYZ05,
author = {Joxan Jaffar and
Roland H. C. Yap and
Kenny Qili Zhu},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Coordination of Many Agents},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {98--112},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_10},
doi = {10.1007/11562931\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JaffarYZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KleemannS05,
author = {Thomas Kleemann and
Alex Sinner},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Decision Support for Personalization on Mobile Devices},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {404--406},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_31},
doi = {10.1007/11562931\_31},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KleemannS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LambertCMRS05,
author = {Tony Lambert and
Carlos Castro and
{\'{E}}ric Monfroy and
Mar{\'{\i}}a Cristina Riff and
Fr{\'{e}}d{\'{e}}ric Saubion},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Hybridization of Genetic Algorithms and Constraint Propagation for
the {BACP}},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {421--423},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_38},
doi = {10.1007/11562931\_38},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LambertCMRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Langevine05,
author = {Ludovic Langevine},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Gentra4cp: {A} Generic Trace Format for Constraint Programming},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {433--434},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_43},
doi = {10.1007/11562931\_43},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Langevine05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LukacsyN05,
author = {Gergely Luk{\'{a}}csy and
Zsolt Nagy},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Open World Reasoning in Datalog},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {427--428},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_40},
doi = {10.1007/11562931\_40},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LukacsyN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Maher05,
author = {Michael J. Maher},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Abduction of Linear Arithmetic Constraints},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {174--188},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_15},
doi = {10.1007/11562931\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Maher05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Mallya05,
author = {Ajay Mallya},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Deductive Multi-valued Model Checking},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {297--310},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_23},
doi = {10.1007/11562931\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Mallya05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MoralesCPH05,
author = {Jos{\'{e}} F. Morales and
Manuel Carro and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Generator of Efficient Abstract Machine Implementations and Its
Application to Emulator Minimization},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {21--36},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_5},
doi = {10.1007/11562931\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MoralesCPH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NadathurL05,
author = {Gopalan Nadathur and
Natalie Linnell},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Practical Higher-Order Pattern Unification with On-the-Fly Raising},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {371--386},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_28},
doi = {10.1007/11562931\_28},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NadathurL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NguyenS05,
author = {Manh Thang Nguyen and
Danny De Schreye},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Polynomial Interpretations as a Basis for Termination Analysis of
Logic Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {311--325},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_24},
doi = {10.1007/11562931\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NguyenS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Nogueira05,
author = {V{\'{\i}}tor Nogueira},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Temporal Programming Language for Heterogeneous Information Systems},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {444--445},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_48},
doi = {10.1007/11562931\_48},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Nogueira05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NomikosRW05,
author = {Christos Nomikos and
Panos Rondogiannis and
William W. Wadge},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Sufficient Condition for Strong Equivalence Under the Well-Founded
Semantics},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {414--415},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_35},
doi = {10.1007/11562931\_35},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NomikosRW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PelovT05,
author = {Nikolay Pelov and
Eugenia Ternovska},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Reducing Inductive Definitions to Propositional Satisfiability},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {221--234},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_18},
doi = {10.1007/11562931\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PelovT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PueblaAH05,
author = {Germ{\'{a}}n Puebla and
Elvira Albert and
Manuel V. Hermenegildo},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Generic Framework for the Analysis and Specialization of Logic Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {407--409},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_32},
doi = {10.1007/11562931\_32},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PueblaAH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ray05,
author = {Oliver Ray},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {The Need for Ancestor Resolution When Answering Queries in Horn Clause
Logic},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {410--411},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_33},
doi = {10.1007/11562931\_33},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ray05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RochaLSC05,
author = {Ricardo Rocha and
Ricardo Lopes and
Fernando M. A. Silva and
V{\'{\i}}tor Santos Costa},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {{IMPACT:} Innovative Models for Prolog with Advanced Control and Tabling},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {416--417},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_36},
doi = {10.1007/11562931\_36},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RochaLSC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RochaSC05,
author = {Ricardo Rocha and
Fernando M. A. Silva and
V{\'{\i}}tor Santos Costa},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {250--264},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_20},
doi = {10.1007/11562931\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RochaSC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Rossi05,
author = {Francesca Rossi},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Preference Reasoning},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {5--8},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_2},
doi = {10.1007/11562931\_2},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Rossi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SaadP05,
author = {Emad Saad and
Enrico Pontelli},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Hybrid Probabilistic Logic Programs with Non-monotonic Negation},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {204--220},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_17},
doi = {10.1007/11562931\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SaadP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SahaR05,
author = {Diptikalyan Saha and
C. R. Ramakrishnan},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Symbolic Support Graph: {A} Space Efficient Data Structure for Incremental
Tabled Evaluation},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {235--249},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_19},
doi = {10.1007/11562931\_19},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SahaR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Saidi05,
author = {Alexandre S. Saidi},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Using {CLP} to Characterise Linguistic Lattice Boundaries in a Text
Mining Process},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {418--420},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_37},
doi = {10.1007/11562931\_37},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Saidi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Santos05,
author = {Marcus Vinicius Santos},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Denotational Semantics Using Horn Concurrent Transaction Logic},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {431--432},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_42},
doi = {10.1007/11562931\_42},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Santos05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SarkarPC05,
author = {Susmit Sarkar and
Brigitte Pientka and
Karl Crary},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Small Proof Witnesses for {LF}},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {387--401},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_29},
doi = {10.1007/11562931\_29},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SarkarPC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Schindlauer05,
author = {Roman Schindlauer},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Nonmonotonic Logic Programs for the Semantic Web},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {446--447},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_49},
doi = {10.1007/11562931\_49},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Schindlauer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Schrijvers05,
author = {Tom Schrijvers},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Analyses, Optimizations and Extensions of Constraint Handling Rules:
Ph.D. Summary},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {435--436},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_44},
doi = {10.1007/11562931\_44},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Schrijvers05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Sneyers05,
author = {Jon Sneyers},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Analysis and Optimization of {CHR} Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {450--451},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_51},
doi = {10.1007/11562931\_51},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Sneyers05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SneyersSD05,
author = {Jon Sneyers and
Tom Schrijvers and
Bart Demoen},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Guard and Continuation Optimization for Occurrence Representations
of {CHR}},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {83--97},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_9},
doi = {10.1007/11562931\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SneyersSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/StuckeyBMMSSWW05,
author = {Peter J. Stuckey and
Maria J. Garc{\'{\i}}a de la Banda and
Michael J. Maher and
Kim Marriott and
John K. Slaney and
Zoltan Somogyi and
Mark Wallace and
Toby Walsh},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {The {G12} Project: Mapping Solver Independent Models to Efficient
Solutions},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {9--13},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_3},
doi = {10.1007/11562931\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/StuckeyBMMSSWW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TompitsW05,
author = {Hans Tompits and
Stefan Woltran},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Towards Implementations for Advanced Equivalence Checking in Answer-Set
Programming},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {189--203},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_16},
doi = {10.1007/11562931\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/TompitsW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Wielemaker05,
author = {Jan Wielemaker},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {An Optimised Semantic Web Query Language Implementation in Prolog},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {128--142},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_12},
doi = {10.1007/11562931\_12},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Wielemaker05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Wilson05,
author = {Walter G. Wilson},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Use of Logic Programming for Complex Business Rules},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {14--20},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_4},
doi = {10.1007/11562931\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Wilson05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2005,
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931},
doi = {10.1007/11562931},
isbn = {3-540-29208-X},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2005.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-29 13:53 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:
