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/iclp2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/iclp/AbreuN06,
author = {Salvador Abreu and
V{\'{\i}}tor Nogueira},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Towards Structured Contexts and Modules},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {436--438},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_38},
doi = {10.1007/11799573\_38},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AbreuN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Aguilar-Solis06,
author = {Dulce Aguilar{-}Solis},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Learning Semantic Parsers: {A} Constraint Handling Rule Approach},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {447--448},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_42},
doi = {10.1007/11799573\_42},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Aguilar-Solis06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlbertAPH06,
author = {Elvira Albert and
Puri Arenas{-}S{\'{a}}nchez and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Reduced Certificates for Abstraction-Carrying Code},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {163--178},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_14},
doi = {10.1007/11799573\_14},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AlbertAPH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AntoyH06,
author = {Sergio Antoy and
Michael Hanus},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Overlapping Rules and Logic Variables in Functional Logic Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {87--101},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_9},
doi = {10.1007/11799573\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AntoyH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BaralDT06,
author = {Chitta Baral and
Juraj Dzifcak and
Hiro Takahashi},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {376--390},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_28},
doi = {10.1007/11799573\_28},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BaralDT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Brain06,
author = {Martin Brain},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Declarative Problem Solving Using Answer Set Semantics},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {459--460},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_48},
doi = {10.1007/11799573\_48},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Brain06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrainCVF06,
author = {Martin Brain and
Tom Crick and
Marina De Vos and
John P. Fitch},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {{TOAST:} Applying Answer Set Programming to Superoptimisation},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {270--284},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_21},
doi = {10.1007/11799573\_21},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrainCVF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrandY06,
author = {Sebastian Brand and
Roland H. C. Yap},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Towards "Propagation = Logic + Control"},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {102--116},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_10},
doi = {10.1007/11799573\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BrandY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CabalarOPV06,
author = {Pedro Cabalar and
Sergei P. Odintsov and
David Pearce and
Agust{\'{\i}}n Valverde},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Analysing and Extending Well-Founded and Partial Stable Semantics
Using Partial Equilibrium Logic},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {346--360},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_26},
doi = {10.1007/11799573\_26},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CabalarOPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaballeroRV06,
author = {Rafael Caballero and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Rafael del Vado V{\'{\i}}rseda},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic
Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {421--422},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_31},
doi = {10.1007/11799573\_31},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CaballeroRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaropreseGSZ06,
author = {Luciano Caroprese and
Sergio Greco and
Cristina Sirangelo and
Ester Zumpano},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Declarative Semantics of Production Rules for Integrity Maintenance},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {26--40},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_5},
doi = {10.1007/11799573\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CaropreseGSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Cheney06,
author = {James Cheney},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {The Semantics of Nominal Logic Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {361--375},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_27},
doi = {10.1007/11799573\_27},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Cheney06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DahlG06,
author = {Ver{\'{o}}nica Dahl and
Baohua Gu},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Semantic Property Grammars for Knowledge Extraction from Biomedical
Text},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {442--443},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_40},
doi = {10.1007/11799573\_40},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DahlG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DaoD06,
author = {Thi{-}Bich{-}Hanh Dao and
Khalil Djelloul},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Solving First-Order Constraints in the Theory of the Evaluated Trees},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {423--424},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_32},
doi = {10.1007/11799573\_32},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DaoD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DuckSB06,
author = {Gregory J. Duck and
Peter J. Stuckey and
Sebastian Brand},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {{ACD} Term Rewriting},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {117--131},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_11},
doi = {10.1007/11799573\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DuckSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Emden06,
author = {Maarten H. van Emden},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Compositional Semantics for the Procedural Interpretation of Logic},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {315--329},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_24},
doi = {10.1007/11799573\_24},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Emden06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GebserS06,
author = {Martin Gebser and
Torsten Schaub},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Tableau Calculi for Answer Set Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {11--25},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_4},
doi = {10.1007/11799573\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GebserS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GrellSS06,
author = {Susanne Grell and
Torsten Schaub and
Joachim Selbig},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Modelling Biological Networks by Action Languages Via Answer Set Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {285--299},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_22},
doi = {10.1007/11799573\_22},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GrellSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GuoLJ06,
author = {Hai{-}Feng Guo and
Miao Liu and
Bharat Jayaraman},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Relaxation on Optimization Predicates},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {425--426},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_33},
doi = {10.1007/11799573\_33},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GuoLJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HaemmerleF06,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Fran{\c{c}}ois Fages},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Modules for Prolog Revisited},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {41--55},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_6},
doi = {10.1007/11799573\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HaemmerleF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/InoueS06,
author = {Katsumi Inoue and
Chiaki Sakama},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Generality Relations in Answer Set Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {211--225},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_17},
doi = {10.1007/11799573\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/InoueS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KingLG06,
author = {Andy King and
Lunjin Lu and
Samir Genaim},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Detecting Determinacy in Prolog Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {132--147},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_12},
doi = {10.1007/11799573\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KingLG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lam06,
author = {Monica S. Lam},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Why Use Datalog to Analyze Programs?},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {1},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_1},
doi = {10.1007/11799573\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Lam06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LiKL06,
author = {Xuan Li and
Andy King and
Lunjin Lu},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Collapsing Closures},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {148--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_13},
doi = {10.1007/11799573\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LiKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LopezPPRV06,
author = {Hugo A. L{\'{o}}pez and
Catuscia Palamidessi and
Jorge Andr{\'{e}}s P{\'{e}}rez and
Camilo Rueda and
Frank D. Valencia},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {A Declarative Framework for Security: Secure Concurrent Constraint
Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {449--450},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_43},
doi = {10.1007/11799573\_43},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LopezPPRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lukacsy06,
author = {Gergely Luk{\'{a}}csy},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Description Logic Reasoning in Prolog},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {463--464},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_50},
doi = {10.1007/11799573\_50},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Lukacsy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MantsivodaLM06,
author = {Andrei Mantsivoda and
Vladimir Lipovchenko and
Anton Malykh},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Logic Programming in Knowledge Domains},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {451--452},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_44},
doi = {10.1007/11799573\_44},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MantsivodaLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MeraLPCH06,
author = {Edison Mera and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Germ{\'{a}}n Puebla and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Using Combined Static Analysis and Profiling for Logic Program Execution
Time Estimation},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {431--432},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_36},
doi = {10.1007/11799573\_36},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MeraLPCH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MouraM06,
author = {Paulo Moura and
Vincent Marchetti},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Logtalk Processing of {STEP} Part 21 Files},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {453--454},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_45},
doi = {10.1007/11799573\_45},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MouraM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NieuwenborghHV06,
author = {Davy Van Nieuwenborgh and
Stijn Heymans and
Dirk Vermeir},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Cooperating Answer Set Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {226--241},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_18},
doi = {10.1007/11799573\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NieuwenborghHV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NogueiraA06,
author = {V{\'{\i}}tor Nogueira and
Salvador Abreu},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Towards Temporal Contextual Logic Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {439--441},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_39},
doi = {10.1007/11799573\_39},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NogueiraA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OrtizV06,
author = {Juan Fern{\'{a}}ndez Ortiz and
J{\o}rgen Villadsen},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Natural Language Processing Using Lexical and Logical Combinators},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {444--446},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_41},
doi = {10.1007/11799573\_41},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/OrtizV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PettorossiPS06,
author = {Alberto Pettorossi and
Maurizio Proietti and
Valerio Senni},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Proving Properties of Constraint Logic Programs by Eliminating Existential
Variables},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {179--195},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_15},
doi = {10.1007/11799573\_15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PettorossiPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Phan06,
author = {Quan Phan},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Static Memory Management for Logic Programming Languages},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {465--466},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_51},
doi = {10.1007/11799573\_51},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Phan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PhanJ06,
author = {Quan Phan and
Gerda Janssens},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Towards Region-Based Memory Management for Mercury Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {433--435},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_37},
doi = {10.1007/11799573\_37},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PhanJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Pientka06,
author = {Brigitte Pientka},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Overcoming Performance Barriers: Efficient Verification Techniques
for Logical Frameworks},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {3--10},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_3},
doi = {10.1007/11799573\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Pientka06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PontelliS06,
author = {Enrico Pontelli and
Tran Cao Son},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {\emph{Justifications} for Logic Programs Under Answer Set Semantics},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {196--210},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_16},
doi = {10.1007/11799573\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PontelliS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/QuintanoR06,
author = {Luis Quintano and
Irene Rodrigues},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Using a Logic Programming Framework to Control Database Query Dialogues
in Natural Language},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {406--420},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_30},
doi = {10.1007/11799573\_30},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/QuintanoR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RamakrishnanRW06,
author = {C. R. Ramakrishnan and
I. V. Ramakrishnan and
David Scott Warren},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Deductive Spreadsheets Using Tabled Logic Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {391--405},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_29},
doi = {10.1007/11799573\_29},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RamakrishnanRW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Rocha06,
author = {Ricardo Rocha},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Handling Incomplete and Complete Tables in Tabled Logic Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {427--428},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_34},
doi = {10.1007/11799573\_34},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Rocha06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RuckhausKPG06,
author = {Edna Ruckhaus and
Vladimir Kolovski and
Bijan Parsia and
Bernardo Cuenca Grau},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Integrating Datalog with {OWL:} Exploring the AL-log Approach},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {455--456},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_46},
doi = {10.1007/11799573\_46},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RuckhausKPG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SahaR06,
author = {Diptikalyan Saha and
C. R. Ramakrishnan},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {A Local Algorithm for Incremental Evaluation of Tabled Logic Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {56--71},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_7},
doi = {10.1007/11799573\_7},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SahaR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SchwaigerF06,
author = {Petra Schwaiger and
Burkhard Freitag},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Using Answer Set Programming for the Automatic Compilation of Assessment
Tests},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {300--314},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_23},
doi = {10.1007/11799573\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SchwaigerF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SilvaC06,
author = {Anderson Faustino da Silva and
V{\'{\i}}tor Santos Costa},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {The Design and Implementation of the {YAP} Compiler: An Optimizing
Compiler for Logic Programming Languages},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {461--462},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_49},
doi = {10.1007/11799573\_49},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SilvaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SilvaRL06,
author = {Cl{\'{a}}udio Silva and
Ricardo Rocha and
Ricardo Lopes},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {An External Module for Implementing Linear Tabling in Prolog},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {429--430},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_35},
doi = {10.1007/11799573\_35},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SilvaRL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SimonMBG06,
author = {Luke Simon and
Ajay Mallya and
Ajay Bansal and
Gopal Gupta},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Coinductive Logic Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {330--345},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_25},
doi = {10.1007/11799573\_25},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SimonMBG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SneyersSD06,
author = {Jon Sneyers and
Tom Schrijvers and
Bart Demoen},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Memory Reuse for {CHR}},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {72--86},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_8},
doi = {10.1007/11799573\_8},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SneyersSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Soares06,
author = {Tiago Soares},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Deductive Databases: Implementation, Parallelism and Applications},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {467--468},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_52},
doi = {10.1007/11799573\_52},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Soares06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SzaboS06,
author = {P{\'{e}}ter G. N. Szab{\'{o}} and
P{\'{e}}ter Szeredi},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Improving the {ISO} Prolog Standard by Analyzing Compliance Test Results},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {257--269},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_20},
doi = {10.1007/11799573\_20},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SzaboS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tu06,
author = {Phan Huy Tu},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Efficient Reasoning About Action and Change in the Presence of Incomplete
Information and Its Application in Planning},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {469--470},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_53},
doi = {10.1007/11799573\_53},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Tu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/UedaKHM06,
author = {Kazunori Ueda and
Norio Kato and
Koji Hara and
Ken Mizuno},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {LMNtal as a Unifying Declarative Language: Live Demonstration},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {457--458},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_47},
doi = {10.1007/11799573\_47},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/UedaKHM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Welty06,
author = {Christopher A. Welty},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Semantic Web: The Story of the RIFt so Far},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {2},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_2},
doi = {10.1007/11799573\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Welty06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WittocxVMDB06,
author = {Johan Wittocx and
Joost Vennekens and
Maarten Mari{\"{e}}n and
Marc Denecker and
Maurice Bruynooghe},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Predicate Introduction Under Stable and Well-Founded Semantics},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {242--256},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_19},
doi = {10.1007/11799573\_19},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/WittocxVMDB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Wong06,
author = {Ka{-}Shu Wong},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Deducing Logic Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {471--472},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_54},
doi = {10.1007/11799573\_54},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Wong06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2006,
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573},
doi = {10.1007/11799573},
isbn = {3-540-36635-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2006.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-07-24 04:31 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:
