default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lpnmr/lpnmr2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpnmr/AsuncionZ09,
author = {Vernon Asuncion and
Yan Zhang},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Translating Preferred Answer Set Programs to Propositional Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {396--401},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_33},
doi = {10.1007/978-3-642-04238-6\_33},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AsuncionZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Balduccini09,
author = {Marcello Balduccini},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {How Flexible Is Answer Set Programming? An Experiment in Formalizing
Commonsense in {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {4--16},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_4},
doi = {10.1007/978-3-642-04238-6\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Balduccini09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Balduccini09a,
author = {Marcello Balduccini},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Splitting a CR-Prolog Program},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {17--29},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_5},
doi = {10.1007/978-3-642-04238-6\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Balduccini09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Balduccini09b,
author = {Marcello Balduccini},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {CR-Prolog as a Specification Language for Constraint Satisfaction
Problems},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {402--408},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_34},
doi = {10.1007/978-3-642-04238-6\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Balduccini09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BaralSP09,
author = {Chitta Baral and
Tran Cao Son and
Enrico Pontelli},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Modeling Multi-agent Domains in an Action Languages: An Empirical
Study Using},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {409--415},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_35},
doi = {10.1007/978-3-642-04238-6\_35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BaralSP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Biere09,
author = {Armin Biere},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {SAT, {SMT} and Applications},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {1},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_1},
doi = {10.1007/978-3-642-04238-6\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Biere09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BikakisA09,
author = {Antonis Bikakis and
Grigoris Antoniou},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Contextual Argumentation in Ambient Intelligence},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {30--43},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_6},
doi = {10.1007/978-3-642-04238-6\_6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BikakisA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Bockmayr09,
author = {Alexander Bockmayr},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Logic-Based Modeling in Systems Biology},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {2},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_2},
doi = {10.1007/978-3-642-04238-6\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Bockmayr09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BoennBVF09,
author = {Georg Boenn and
Martin Brain and
Marina De Vos and
John ffitch},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {{ANTON:} Composing Logic and Logic Composing},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {542--547},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_55},
doi = {10.1007/978-3-642-04238-6\_55},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BoennBVF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrewkaE09,
author = {Gerhard Brewka and
Thomas Eiter},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Argumentation Context Systems: {A} Framework for Abstract Group Argumentation},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {44--57},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_7},
doi = {10.1007/978-3-642-04238-6\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrewkaE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BrewkaE09a,
author = {Gerhard Brewka and
Thomas Eiter},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {From Data Integration towards Knowledge Mediation},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {610--612},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_66},
doi = {10.1007/978-3-642-04238-6\_66},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BrewkaE09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BriaFL09,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {477--482},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_45},
doi = {10.1007/978-3-642-04238-6\_45},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BriaFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BruijnH09,
author = {Jos de Bruijn and
Stijn Heymans},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Complexity of the Stable Model Semantics for Queries on Incomplete
Databases},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {101--114},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_11},
doi = {10.1007/978-3-642-04238-6\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BruijnH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CabalarPV09,
author = {Pedro Cabalar and
David Pearce and
Agust{\'{\i}}n Valverde},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A Revised Concept of Safety for General Answer Set Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {58--70},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_8},
doi = {10.1007/978-3-642-04238-6\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CabalarPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CakmakEE09,
author = {Duygu {\c{C}}akmak and
Esra Erdem and
Halit Erdogan},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Computing Weighted Solutions in Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {416--422},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_36},
doi = {10.1007/978-3-642-04238-6\_36},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/CakmakEE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CaldiranHOPEP09,
author = {Ozan {\c{C}}aldiran and
Kadir Haspalamutgil and
Abdullah Ok and
Can Palaz and
Esra Erdem and
Volkan Patoglu},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Bridging the Gap between High-Level Reasoning and Low-Level Control},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {342--354},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_29},
doi = {10.1007/978-3-642-04238-6\_29},
timestamp = {Wed, 28 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CaldiranHOPEP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CalimeriCIL09,
author = {Francesco Calimeri and
Susanna Cozza and
Giovambattista Ianni and
Nicola Leone},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {71--86},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_9},
doi = {10.1007/978-3-642-04238-6\_9},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CalimeriCIL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CalimeriCIL09a,
author = {Francesco Calimeri and
Susanna Cozza and
Giovambattista Ianni and
Nicola Leone},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {An {ASP} System with Functions, Lists, and Sets},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {483--489},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_46},
doi = {10.1007/978-3-642-04238-6\_46},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CalimeriCIL09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CliffeVP09,
author = {Owen Cliffe and
Marina De Vos and
Julian A. Padget},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Modelling Normative Frameworks Using Answer Set Programing},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {548--553},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_56},
doi = {10.1007/978-3-642-04238-6\_56},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/CliffeVP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Costantini09,
author = {Stefania Costantini},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Integrating Answer Set Modules into Agent Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {613--615},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_67},
doi = {10.1007/978-3-642-04238-6\_67},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Costantini09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CrickBVF09,
author = {Tom Crick and
Martin Brain and
Marina De Vos and
John P. Fitch},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Generating Optimal Code Using Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {554--559},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_57},
doi = {10.1007/978-3-642-04238-6\_57},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/CrickBVF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Dao-TranEFK09,
author = {Minh Dao{-}Tran and
Thomas Eiter and
Michael Fink and
Thomas Krennwallner},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {87--100},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_10},
doi = {10.1007/978-3-642-04238-6\_10},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Dao-TranEFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Delgrande09,
author = {James P. Delgrande},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {What Next for ASP? {(A} Not-Entirely-Well-Informed Opinion)},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {616--618},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_68},
doi = {10.1007/978-3-642-04238-6\_68},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Delgrande09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DelgrandeGH09,
author = {James P. Delgrande and
Torsten Grote and
Aaron Hunter},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A General Approach to the Verification of Cryptographic Protocols
Using Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {355--367},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_30},
doi = {10.1007/978-3-642-04238-6\_30},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DelgrandeGH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DeneckerV09,
author = {Marc Denecker and
Joost Vennekens},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Using Lightweight Inference to Solve Lightweight Problems},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {619--621},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_69},
doi = {10.1007/978-3-642-04238-6\_69},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DeneckerV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DeneckerVBGT09,
author = {Marc Denecker and
Joost Vennekens and
Stephen Bond and
Martin Gebser and
Miroslaw Truszczynski},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {The Second Answer Set Programming Competition},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {637--654},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_75},
doi = {10.1007/978-3-642-04238-6\_75},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DeneckerVBGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DovierFP09,
author = {Agostino Dovier and
Andrea Formisano and
Enrico Pontelli},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Representing Multi-agent Planning in {CLP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {423--429},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_37},
doi = {10.1007/978-3-642-04238-6\_37},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DovierFP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DovierP09,
author = {Agostino Dovier and
Enrico Pontelli},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Present and Future Challenges for {ASP} Systems},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {622--624},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_70},
doi = {10.1007/978-3-642-04238-6\_70},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DovierP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EllguthGGKKLSSS09,
author = {Enrico Ellguth and
Martin Gebser and
Markus Gusowski and
Benjamin Kaufmann and
Roland Kaminski and
Stefan Liske and
Torsten Schaub and
Lars Schneidenbach and
Bettina Schnor},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A Simple Distributed Conflict-Driven Answer Set Solver},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {490--495},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_47},
doi = {10.1007/978-3-642-04238-6\_47},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EllguthGGKKLSSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Erdem09,
author = {Esra Erdem},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {{PHYLO-ASP:} Phylogenetic Systematics with Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {567--572},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_59},
doi = {10.1007/978-3-642-04238-6\_59},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Erdem09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ErdemET09,
author = {Esra Erdem and
Ozan Erdem and
Ferhan T{\"{u}}re},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {{HAPLO-ASP:} Haplotype Inference Using Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {573--578},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_60},
doi = {10.1007/978-3-642-04238-6\_60},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/ErdemET09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberW09,
author = {Wolfgang Faber and
Stefan Woltran},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Manifold Answer-Set Programs for Meta-reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {115--128},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_12},
doi = {10.1007/978-3-642-04238-6\_12},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FinthammerBBK09,
author = {Marc Finthammer and
Christoph Beierle and
Benjamin Berger and
Gabriele Kern{-}Isberner},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {An Implementation of Belief Change Operations Based on Probabilistic
Conditional Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {496--501},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_48},
doi = {10.1007/978-3-642-04238-6\_48},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FinthammerBBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GagnonE09,
author = {Fran{\c{c}}ois Gagnon and
Babak Esfandiari},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Using Answer Set Programming to Enhance Operating System Discovery},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {579--584},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_61},
doi = {10.1007/978-3-642-04238-6\_61},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GagnonE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKOST09,
author = {Martin Gebser and
Roland Kaminski and
Max Ostrowski and
Torsten Schaub and
Sven Thiele},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {On the Input Language of {ASP} Grounder Gringo},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {502--508},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_49},
doi = {10.1007/978-3-642-04238-6\_49},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKOST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GebserKS09,
author = {Martin Gebser and
Benjamin Kaufmann and
Torsten Schaub},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {The Conflict-Driven Answer Set Solver clasp: Progress Report},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {509--514},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_50},
doi = {10.1007/978-3-642-04238-6\_50},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GebserKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GiordanoGOP09,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Prototypical Reasoning with Low Complexity Description Logics: Preliminary
Results},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {430--436},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_38},
doi = {10.1007/978-3-642-04238-6\_38},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/GiordanoGOP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GrassoILR09,
author = {Giovanni Grasso and
Salvatore Iiritano and
Nicola Leone and
Francesco Ricca},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Some {DLV} Applications for Knowledge Management},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {591--597},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_63},
doi = {10.1007/978-3-642-04238-6\_63},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GrassoILR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HoptonCVP09,
author = {Luke Hopton and
Owen Cliffe and
Marina De Vos and
Julian A. Padget},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {{AQL:} {A} Query Language for Action Domains Modelled Using Answer
Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {437--443},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_39},
doi = {10.1007/978-3-642-04238-6\_39},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/HoptonCVP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HouD09,
author = {Ping Hou and
Marc Denecker},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A Deductive System for {FO(ID)} Based on Least Fixpoint Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {129--141},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_13},
doi = {10.1007/978-3-642-04238-6\_13},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/HouD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/IelpaILR09,
author = {Salvatore Maria Ielpa and
Salvatore Iiritano and
Nicola Leone and
Francesco Ricca},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {An ASP-Based System for e-Tourism},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {368--381},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_31},
doi = {10.1007/978-3-642-04238-6\_31},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/IelpaILR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/IshebabiMBGS09,
author = {Harold Ishebabi and
Philipp Mahr and
Christophe Bobda and
Martin Gebser and
Torsten Schaub},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Application of {ASP} for Automatic Synthesis of Flexible Multiprocessor
Systems from Parallel Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {598--603},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_64},
doi = {10.1007/978-3-642-04238-6\_64},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/IshebabiMBGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JanhunenNS09,
author = {Tomi Janhunen and
Ilkka Niemel{\"{a}} and
Mark Sevalnev},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Computing Stable Models via Reductions to Difference Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {142--154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_14},
doi = {10.1007/978-3-642-04238-6\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/JanhunenNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JarvisaloOJN09,
author = {Matti J{\"{a}}rvisalo and
Emilia Oikarinen and
Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A Module-Based Framework for Multi-language Constraint Modeling},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {155--168},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_15},
doi = {10.1007/978-3-642-04238-6\_15},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/JarvisaloOJN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KimberBR09,
author = {Tim Kimber and
Krysia Broda and
Alessandra Russo},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Induction on Failure: Learning Connected Horn Theories},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {169--181},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_16},
doi = {10.1007/978-3-642-04238-6\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/KimberBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KumarD09,
author = {Viren Kumar and
James P. Delgrande},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Optimal Multicore Scheduling: An Application of {ASP} Techniques},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {604--609},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_65},
doi = {10.1007/978-3-642-04238-6\_65},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/KumarD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeeM09,
author = {Joohyung Lee and
Yunsong Meng},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {On Reductive Semantics of Aggregates in Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {182--195},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_17},
doi = {10.1007/978-3-642-04238-6\_17},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/LeeM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeeP09,
author = {Joohyung Lee and
Ravi Palla},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {System f2lp - Computing Answer Sets of First-Order Formulas},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {515--521},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_51},
doi = {10.1007/978-3-642-04238-6\_51},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/LeeP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LefevreN09,
author = {Claire Lef{\`{e}}vre and
Pascal Nicolas},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A First Order Forward Chaining Approach for Answer Set Computing},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {196--208},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_18},
doi = {10.1007/978-3-642-04238-6\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LefevreN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LefevreN09a,
author = {Claire Lef{\`{e}}vre and
Pascal Nicolas},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {The First Version of a New {ASP} Solver : ASPeRiX},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {522--527},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_52},
doi = {10.1007/978-3-642-04238-6\_52},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LefevreN09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Leone09,
author = {Nicola Leone},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Exploiting {ASP} in Real-World Applications: Main Strengths and Challenges},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {628--630},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_72},
doi = {10.1007/978-3-642-04238-6\_72},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Leone09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeoneRT09,
author = {Nicola Leone and
Francesco Ricca and
Giorgio Terracina},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {An ASP-Based Data Integration System},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {528--534},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_53},
doi = {10.1007/978-3-642-04238-6\_53},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LeoneRT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Liu09,
author = {Guohua Liu},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate
Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {444--449},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_40},
doi = {10.1007/978-3-642-04238-6\_40},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Liu09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MichaelK09,
author = {Loizos Michael and
Antonis C. Kakas},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Knowledge Qualification through Argumentation},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {209--222},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_19},
doi = {10.1007/978-3-642-04238-6\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MichaelK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MileoMB09,
author = {Alessandra Mileo and
Davide Merico and
Roberto Bisiani},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent
Monitoring: The {SINDI} System},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {585--590},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_62},
doi = {10.1007/978-3-642-04238-6\_62},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MileoMB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NamasivayamT09,
author = {Gayathri Namasivayam and
Miroslaw Truszczynski},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Simple Random Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {223--235},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_20},
doi = {10.1007/978-3-642-04238-6\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/NamasivayamT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Niemela09,
author = {Ilkka Niemel{\"{a}}},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Integrating Answer Set Programming and Satisfiability Modulo Theories},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {3},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_3},
doi = {10.1007/978-3-642-04238-6\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Niemela09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NoelK09,
author = {Victor No{\"{e}}l and
Antonis C. Kakas},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Gorgias-C: Extending Argumentation with Constraint Solving},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {535--541},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_54},
doi = {10.1007/978-3-642-04238-6\_54},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/NoelK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OetschSTW09,
author = {Johannes Oetsch and
Martina Seidl and
Hans Tompits and
Stefan Woltran},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {ccT on Stage: Generalised Uniform Equivalence Testing for Verifying
Student Assignment Solutions},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {382--395},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_32},
doi = {10.1007/978-3-642-04238-6\_32},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/OetschSTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OikarinenJ09,
author = {Emilia Oikarinen and
Matti J{\"{a}}rvisalo},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Max-ASP: Maximum Satisfiability of Answer Set Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {236--249},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_21},
doi = {10.1007/978-3-642-04238-6\_21},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/OikarinenJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OrnaghiFMP09,
author = {Mario Ornaghi and
Camillo Fiorentini and
Alberto Momigliano and
Francesco Pagano},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Applying {ASP} to {UML} Model Validation},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {457--463},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_42},
doi = {10.1007/978-3-642-04238-6\_42},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/OrnaghiFMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OsorioP09,
author = {Mauricio Osorio and
Simone Pascucci},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {The Logical Consequence Role in {LPNMR:} {A} Parameterized Computation
Approach},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {464--469},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_43},
doi = {10.1007/978-3-642-04238-6\_43},
timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/OsorioP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PaluDP09,
author = {Alessandro Dal Pal{\`{u}} and
Agostino Dovier and
Enrico Pontelli},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Logic Programming Techniques in Protein Structure Determination: Methodologies
and Results},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {560--566},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_58},
doi = {10.1007/978-3-642-04238-6\_58},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/PaluDP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PereiraP09,
author = {Lu{\'{\i}}s Moniz Pereira and
Alexandre Miguel Pinto},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Layer Supported Models of Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {450--456},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_41},
doi = {10.1007/978-3-642-04238-6\_41},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/PereiraP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PichlerRW09,
author = {Reinhard Pichler and
Stefan R{\"{u}}mmele and
Stefan Woltran},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Belief Revision with Bounded Treewidth},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {250--263},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_22},
doi = {10.1007/978-3-642-04238-6\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/PichlerRW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PuhrerT09,
author = {J{\"{o}}rg P{\"{u}}hrer and
Hans Tompits},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Casting Away Disjunction and Negation under a Generalisation of Strong
Equivalence with Projection},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {264--276},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_23},
doi = {10.1007/978-3-642-04238-6\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/PuhrerT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Sakama09,
author = {Chiaki Sakama},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Social Default Theories},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {470--476},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_44},
doi = {10.1007/978-3-642-04238-6\_44},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Sakama09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Schaub09,
author = {Torsten Schaub},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Making Your Hands Dirty Inspires Your Brain! Or How to Switch {ASP}
into Production Mode},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {631--633},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_73},
doi = {10.1007/978-3-642-04238-6\_73},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Schaub09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ShenY09,
author = {Yi{-}Dong Shen and
Jia{-}Huai You},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A Default Approach to Semantics of Logic Programs with Constraint
Atoms},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {277--289},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_24},
doi = {10.1007/978-3-642-04238-6\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ShenY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Thomas09,
author = {Michael Thomas},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {The Complexity of Circumscriptive Inference in Post's Lattice},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {290--302},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_25},
doi = {10.1007/978-3-642-04238-6\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Thomas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Truszczynski09,
author = {Miroslaw Truszczynski},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Trichotomy Results on the Complexity of Reasoning with Disjunctive
Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {303--315},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_26},
doi = {10.1007/978-3-642-04238-6\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Truszczynski09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Vos09,
author = {Marina De Vos},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {{ASP:} The Future Is Bright},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {625--627},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_71},
doi = {10.1007/978-3-642-04238-6\_71},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Vos09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/WanK09,
author = {Hui Wan and
Michael Kifer},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Belief Logic Programming: Uncertainty Reasoning with Correlation of
Evidence},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {316--328},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_27},
doi = {10.1007/978-3-642-04238-6\_27},
timestamp = {Sat, 23 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/WanK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/WangYYZ09,
author = {Yisong Wang and
Jia{-}Huai You and
Li{-}Yan Yuan and
Mingyi Zhang},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Weight Constraint Programs with Functions},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {329--341},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_28},
doi = {10.1007/978-3-642-04238-6\_28},
timestamp = {Mon, 03 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/WangYYZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/You09,
author = {Jia{-}Huai You},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Towards an Embedded Approach to Declarative Problem Solving in {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {634--636},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_74},
doi = {10.1007/978-3-642-04238-6\_74},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/You09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2009,
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6},
doi = {10.1007/978-3-642-04238-6},
isbn = {978-3-642-04237-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-26 15:12 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:
