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/lpnmr/lpnmr2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpnmr/AngerKL01,
author = {Christian Anger and
Kathrin Konczak and
Thomas Linke},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {NoMoRe : {A} System for Non-Monotonic Reasoning under Answer Set Semantics},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {406--410},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_32},
doi = {10.1007/3-540-45402-0\_32},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AngerKL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AvinB01,
author = {Chen Avin and
Rachel Ben{-}Eliyahu{-}Zohary},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Algorithms for Computing X-Minimal Models},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {322--335},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_24},
doi = {10.1007/3-540-45402-0\_24},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AvinB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BalducciniGWN01,
author = {Marcello Balduccini and
Michael Gelfond and
Richard Watson and
Monica L. Nogueira},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {The USA-Advisor: {A} Case Study in Answer Set Planning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {439--442},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_39},
doi = {10.1007/3-540-45402-0\_39},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BalducciniGWN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BaralU01,
author = {Chitta Baral and
Cenk Uyan},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Declarative Specification and Solution of Combinatorial Auctions Using
Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {186--199},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_14},
doi = {10.1007/3-540-45402-0\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BaralU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BaumgartnerFG01,
author = {Robert Baumgartner and
Sergio Flesca and
Georg Gottlob},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Declarative Information Extraction, Web Crawling, and Recursive Wrapping
with Lixto},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {21--41},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_2},
doi = {10.1007/3-540-45402-0\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BaumgartnerFG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Bonatti01,
author = {Piero A. Bonatti},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Reasoning with Open Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {147--159},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_11},
doi = {10.1007/3-540-45402-0\_11},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Bonatti01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Bonatti01a,
author = {Piero A. Bonatti},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Prototypes for Reasoning with Infinite Stable Models and Function
Symbols},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {416--419},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_34},
doi = {10.1007/3-540-45402-0\_34},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Bonatti01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Brewka01,
author = {Gerhard Brewka},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {On the Relationship between Defeasible Logic and Well-Founded Semantics},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {121--132},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_9},
doi = {10.1007/3-540-45402-0\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Brewka01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DamasioP01,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Antitonic Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {379--392},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_28},
doi = {10.1007/3-540-45402-0\_28},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/DamasioP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DelgrandeST01,
author = {James P. Delgrande and
Torsten Schaub and
Hans Tompits},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {plp: {A} Generic Compiler for Ordered Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {411--415},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_33},
doi = {10.1007/3-540-45402-0\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DelgrandeST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DellArmiFIKLPP01,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Christoph Koch and
Nicola Leone and
Simona Perri and
Gerald Pfeifer},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {System Description: {DLV}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {424--428},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_36},
doi = {10.1007/3-540-45402-0\_36},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DellArmiFIKLPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Dix01,
author = {J{\"{u}}rgen Dix},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {A Computational Logic Approach to Heterogenous Agent Systems},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {1--20},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_1},
doi = {10.1007/3-540-45402-0\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Dix01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EastT01,
author = {Deborah East and
Miroslaw Truszczynski},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {aspps - An Implementation of Answer-Set Programming with Propositional
Schemata},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {402--405},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_31},
doi = {10.1007/3-540-45402-0\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EastT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFLPP01,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {System Description: The DLV\({}^{\mbox{K}}\) Planning System},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {429--433},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_37},
doi = {10.1007/3-540-45402-0\_37},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFLPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFST01,
author = {Thomas Eiter and
Michael Fink and
Giuliana Sabbatini and
Hans Tompits},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {An Update Front-End for Extended Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {397--401},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_30},
doi = {10.1007/3-540-45402-0\_30},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFST01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberLP01,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Optimizing the Computation of Heuristics for Answer Set Programming
Systems},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {295--308},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_22},
doi = {10.1007/3-540-45402-0\_22},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FooZZCV01,
author = {Norman Y. Foo and
Dongmo Zhang and
Yan Zhang and
Samir Chopra and
Quoc Bao Vo},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Encoding Solutions of the Frame Problem in Dynamic Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {240--253},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_18},
doi = {10.1007/3-540-45402-0\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FooZZCV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/GelfondBG01,
author = {Michael Gelfond and
Marcello Balduccini and
Joel Galloway},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Diagnosing Physical Systems in A-Prolog},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {213--225},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_16},
doi = {10.1007/3-540-45402-0\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/GelfondBG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/HeljankoN01,
author = {Keijo Heljanko and
Ilkka Niemel{\"{a}}},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Bounded {LTL} Model Checking with Stable Models},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {200--212},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_15},
doi = {10.1007/3-540-45402-0\_15},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/HeljankoN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Janhunen01,
author = {Tomi Janhunen},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {On the Effect of Default Negation on the Expressiveness of Disjunctive
Rules},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {93--106},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_7},
doi = {10.1007/3-540-45402-0\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Janhunen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KakasMT01,
author = {Antonis C. Kakas and
Rob Miller and
Francesca Toni},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {{E-RES:} Reasoning about Actions, Events and Observations},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {254--266},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_19},
doi = {10.1007/3-540-45402-0\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/KakasMT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KirousisK01,
author = {Lefteris M. Kirousis and
Phokion G. Kolaitis},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {On the Complexity of Model Checking and Inference in Minimal Models},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {42--53},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_3},
doi = {10.1007/3-540-45402-0\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/KirousisK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeiteAP01,
author = {Jo{\~{a}}o Alexandre Leite and
Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Multi-dimensional Dynamic Knowledge Representation},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {365--378},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_27},
doi = {10.1007/3-540-45402-0\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LeiteAP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Lenzerini01,
author = {Maurizio Lenzerini},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Data Integration Needs Reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {54--61},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_4},
doi = {10.1007/3-540-45402-0\_4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Lenzerini01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeonePS01,
author = {Nicola Leone and
Simona Perri and
Francesco Scarcello},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Improving {ASP} Instantiators by Join-Ordering Methods},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {280--294},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_21},
doi = {10.1007/3-540-45402-0\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/LeonePS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Lukasiewicz01,
author = {Thomas Lukasiewicz},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs
with Probabilistic Semantics},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {336--350},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_25},
doi = {10.1007/3-540-45402-0\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Lukasiewicz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MarekR01,
author = {V. Wiktor Marek and
Jeffrey B. Remmel},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {On the Expressibility of Stable Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {107--120},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_8},
doi = {10.1007/3-540-45402-0\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/MarekR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/MedinaOV01,
author = {Jes{\'{u}}s Medina and
Manuel Ojeda{-}Aciego and
Peter Vojt{\'{a}}s},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Multi-adjoint Logic Programming with Continuous Semantics},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {351--364},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_26},
doi = {10.1007/3-540-45402-0\_26},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/MedinaOV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NicolasD01,
author = {Pascal Nicolas and
B{\'{e}}atrice Duval},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Representation of Incomplete Knowledge by Induction of Default Theories},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {160--172},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_12},
doi = {10.1007/3-540-45402-0\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/NicolasD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NicolasSS01,
author = {Pascal Nicolas and
Fr{\'{e}}d{\'{e}}ric Saubion and
Igor St{\'{e}}phan},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {New Generation Systems for Non-monotonic Reasoning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {309--321},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_23},
doi = {10.1007/3-540-45402-0\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/NicolasSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NuffelenK01,
author = {Bert Van Nuffelen and
Antonis C. Kakas},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {A-system: Declarative Programming with Abduction},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {393--396},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_29},
doi = {10.1007/3-540-45402-0\_29},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/NuffelenK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Otero01,
author = {Ram{\'{o}}n P. Otero},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {psmodels: Stable Models Based on Pertinence},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {420--423},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_35},
doi = {10.1007/3-540-45402-0\_35},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Otero01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Sakama01,
author = {Chiaki Sakama},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Nonmonotonic Inductive Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {62--80},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_5},
doi = {10.1007/3-540-45402-0\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Sakama01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SonBM01,
author = {Tran Cao Son and
Chitta Baral and
Sheila A. McIlraith},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Planning with Different Forms of Domain-Dependent Control Knowledge
- An Answer Set Programming Approach},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {226--239},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_17},
doi = {10.1007/3-540-45402-0\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SonBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Syrjanen01,
author = {Tommi Syrj{\"{a}}nen},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Omega-Restricted Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {267--279},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_20},
doi = {10.1007/3-540-45402-0\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Syrjanen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SyrjanenN01,
author = {Tommi Syrj{\"{a}}nen and
Ilkka Niemel{\"{a}}},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {The Smodels System},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {434--438},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_38},
doi = {10.1007/3-540-45402-0\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SyrjanenN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Turner01,
author = {Hudson Turner},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Strong Equivalence for Logic Programs and Default Theories (Made Easy)},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {81--92},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_6},
doi = {10.1007/3-540-45402-0\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Turner01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/VentosBS01,
author = {V{\'{e}}ronique Ventos and
Pierre Br{\'{e}}zellec and
Henry Soldano},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Explicitly Using Default Knowledge in Concept Learning: An Extended
Description Logics Plus Strict and Default Rules},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {173--185},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_13},
doi = {10.1007/3-540-45402-0\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/VentosBS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Wang01,
author = {Kewen Wang},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {A Comparative Study of Well-Founded Semantics for Disjunctive Logic
Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {133--146},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_10},
doi = {10.1007/3-540-45402-0\_10},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Wang01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2001,
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0},
doi = {10.1007/3-540-45402-0},
isbn = {3-540-42593-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-08 11:44 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:
