default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Wolfgang Faber"
download as .bib file
@article{DBLP:journals/tplp/QureshiF24,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {Evaluating Datalog Tools for Meta-reasoning over {OWL} 2 {QL}},
journal = {Theory Pract. Log. Program.},
volume = {24},
number = {2},
pages = {368--393},
year = {2024},
url = {https://doi.org/10.1017/s1471068424000073},
doi = {10.1017/S1471068424000073},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/QureshiF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaps/MedCM024,
author = {Jakub Med and
Luk{\'{a}}s Chrpa and
Michael Morak and
Wolfgang Faber},
title = {Weak and Strong Reversibility of Non-deterministic Actions: Universality
and Uniformity},
booktitle = {Proceedings of the Thirty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2024, Banff, Alberta, Canada, June
1-6, 2024},
pages = {369--377},
year = {2024},
crossref = {DBLP:conf/icaps/2024},
url = {https://doi.org/10.1609/icaps.v34i1.31496},
doi = {10.1609/ICAPS.V34I1.31496},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaps/MedCM024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02978,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {Evaluating Datalog Tools for Meta-reasoning over {OWL} 2 {QL}},
journal = {CoRR},
volume = {abs/2402.02978},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02978},
doi = {10.48550/ARXIV.2402.02978},
eprinttype = {arXiv},
eprint = {2402.02978},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFG23,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Aggregate Semantics for Propositional Answer Set Programs},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {1},
pages = {157--194},
year = {2023},
url = {https://doi.org/10.1017/S1471068422000047},
doi = {10.1017/S1471068422000047},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberMR23,
author = {Wolfgang Faber and
Giuseppe Mazzotta and
Francesco Ricca},
title = {An Efficient Solver for {ASP(Q)}},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {948--964},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000121},
doi = {10.1017/S1471068423000121},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/FaberMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001M23,
author = {Wolfgang Faber and
Michael Morak},
title = {Evaluating Epistemic Logic Programs via Answer Set Programming with
Quantifiers},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {6322--6329},
year = {2023},
crossref = {DBLP:conf/aaai/2023},
url = {https://doi.org/10.1609/aaai.v37i5.25778},
doi = {10.1609/AAAI.V37I5.25778},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/0001MR23,
author = {Wolfgang Faber and
Giuseppe Mazzotta and
Francesco Ricca},
title = {Enhancing {ASP(Q)} evaluation},
booktitle = {Proceedings of the Discussion Papers - 22nd International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2023
{DP)} co-located with 22nd International Conference of the Italian
Association for Artificial Intelligence (AIxIA 2023), Rome, Italy,
November 6-9, 2023},
pages = {38--46},
year = {2023},
crossref = {DBLP:conf/aiia/2023dp},
url = {https://ceur-ws.org/Vol-3537/paper5.pdf},
timestamp = {Wed, 20 Dec 2023 07:50:25 +0100},
biburl = {https://dblp.org/rec/conf/aiia/0001MR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/QureshiF23,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {Using Hybrid Knowledge Bases for Meta-reasoning over {OWL} 2 {QL}},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
pages = {216--231},
year = {2023},
crossref = {DBLP:conf/padl/2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_14},
doi = {10.1007/978-3-031-24841-2\_14},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/QureshiF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2023w,
editor = {Joaqu{\'{\i}}n Arias and
Sotiris Batsakis and
Wolfgang Faber and
Gopal Gupta and
Francesco Pacenza and
Emmanuel Papadakis and
Livio Robaldo and
Kilian R{\"{u}}ckschlo{\ss} and
Elmer Salazar and
Zeynep G. Saribatur and
Ilias Tachmazidis and
Felix Weitk{\"{a}}mper and
Adam Z. Wyner},
title = {Proceedings of the International Conference on Logic Programming 2023
Workshops co-located with the 39th International Conference on Logic
Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3437},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3437},
urn = {urn:nbn:de:0074-3437-4},
timestamp = {Mon, 18 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2023w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-10021,
author = {Wolfgang Faber and
Giuseppe Mazzotta and
Francesco Ricca},
title = {An efficient solver for {ASP(Q)}},
journal = {CoRR},
volume = {abs/2305.10021},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.10021},
doi = {10.48550/ARXIV.2305.10021},
eprinttype = {arXiv},
eprint = {2305.10021},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-10021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoFG22,
author = {Jorge Fandinno and
Wolfgang Faber and
Michael Gelfond},
title = {Thirty years of Epistemic Specifications},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {6},
pages = {1043--1083},
year = {2022},
url = {https://doi.org/10.1017/S147106842100048X},
doi = {10.1017/S147106842100048X},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoFG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/Qureshi022,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {Meta-reasoning over {OWL} 2 {QL} using Datalog},
booktitle = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
pages = {181--187},
year = {2022},
crossref = {DBLP:conf/datalog/2022},
url = {https://ceur-ws.org/Vol-3203/short7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/datalog/Qureshi022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/0001M22,
author = {Wolfgang Faber and
Michael Morak},
title = {Evaluating Epistemic Logic Programs via Answer Set Programming with
Quantifiers},
booktitle = {Joint Proceedings of the 1st International Workshop on HYbrid Models
for Coupling Deductive and Inductive ReAsoning {(HYDRA} 2022) and
the 29th {RCRA} Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion {(RCRA} 2022) co-located
with the 16th International Conference on Logic Programming and Non-monotonic
Reasoning {(LPNMR} 2022), Genova Nervi, Italy, September 5, 2022},
pages = {78--89},
year = {2022},
crossref = {DBLP:conf/lpnmr/2022hydra},
url = {https://ceur-ws.org/Vol-3281/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/0001M22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FaberMC22,
author = {Wolfgang Faber and
Michael Morak and
Luk{\'{a}}s Chrpa},
title = {Determining Action Reversibility in {STRIPS} Using Answer Set Programming
with Quantifiers},
booktitle = {Practical Aspects of Declarative Languages - 24th International Symposium,
{PADL} 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings},
pages = {42--56},
year = {2022},
crossref = {DBLP:conf/padl/2022},
url = {https://doi.org/10.1007/978-3-030-94479-7\_4},
doi = {10.1007/978-3-030-94479-7\_4},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/FaberMC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2022w,
editor = {Joaqu{\'{\i}}n Arias and
Roberta Calegari and
Luke Dickens and
Wolfgang Faber and
Jorge Fandinno and
Gopal Gupta and
Markus Hecher and
Daniela Inclezan and
Emily LeBlanc and
Michael Morak and
Elmer Salazar and
Jessica Zangari},
title = {Proceedings of the International Conference on Logic Programming 2022
Workshops co-located with the 38th International Conference on Logic
Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3193},
urn = {urn:nbn:de:0074-3193-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2022w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AmendolaDFR21,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Francesco Ricca},
title = {Paracoherent answer set computation},
journal = {Artif. Intell.},
volume = {299},
pages = {103519},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103519},
doi = {10.1016/J.ARTINT.2021.103519},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AmendolaDFR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberMC21,
author = {Wolfgang Faber and
Michael Morak and
Luk{\'{a}}s Chrpa},
title = {Determining Action Reversibility in {STRIPS} Using Answer Set and
Epistemic Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {646--662},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000429},
doi = {10.1017/S1471068421000429},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberMC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Chrpa0M21,
author = {Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Michael Morak},
title = {Universal and Uniform Action Reversibility},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {651--654},
year = {2021},
crossref = {DBLP:conf/kr/2021},
url = {https://doi.org/10.24963/kr.2021/63},
doi = {10.24963/KR.2021/63},
timestamp = {Wed, 03 Nov 2021 12:46:57 +0100},
biburl = {https://dblp.org/rec/conf/kr/Chrpa0M21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/QureshiF21,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {An Evaluation of Meta-reasoning over {OWL} 2 {QL}},
booktitle = {Rules and Reasoning - 5th International Joint Conference, RuleML+RR
2021, Leuven, Belgium, September 13-15, 2021, Proceedings},
pages = {218--233},
year = {2021},
crossref = {DBLP:conf/ruleml/2021},
url = {https://doi.org/10.1007/978-3-030-91167-6\_15},
doi = {10.1007/978-3-030-91167-6\_15},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/QureshiF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2021,
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5},
doi = {10.1007/978-3-030-75775-5},
isbn = {978-3-030-75774-8},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-05428,
author = {Wolfgang Faber and
Michael Morak and
Luk{\'{a}}s Chrpa},
title = {Determining ActionReversibility in {STRIPS} Using Answer Set and Epistemic
Logic Programming},
journal = {CoRR},
volume = {abs/2108.05428},
year = {2021},
url = {https://arxiv.org/abs/2108.05428},
eprinttype = {arXiv},
eprint = {2108.05428},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-05428.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-07669,
author = {Jorge Fandinno and
Wolfgang Faber and
Michael Gelfond},
title = {Thirty years of Epistemic Specifications},
journal = {CoRR},
volume = {abs/2108.07669},
year = {2021},
url = {https://arxiv.org/abs/2108.07669},
eprinttype = {arXiv},
eprint = {2108.07669},
timestamp = {Fri, 20 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-07669.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08662,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Aggregate Semantics for Propositional Answer Set Programs},
journal = {CoRR},
volume = {abs/2109.08662},
year = {2021},
url = {https://arxiv.org/abs/2109.08662},
eprinttype = {arXiv},
eprint = {2109.08662},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CalimeriFGIKKLM20,
author = {Francesco Calimeri and
Wolfgang Faber and
Martin Gebser and
Giovambattista Ianni and
Roland Kaminski and
Thomas Krennwallner and
Nicola Leone and
Marco Maratea and
Francesco Ricca and
Torsten Schaub},
title = {ASP-Core-2 Input Language Format},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {2},
pages = {294--309},
year = {2020},
url = {https://doi.org/10.1017/S1471068419000450},
doi = {10.1017/S1471068419000450},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/CalimeriFGIKKLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/000120,
author = {Wolfgang Faber},
title = {Reversibility of Actions and Plans (invited talk)},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
pages = {1},
year = {2020},
crossref = {DBLP:conf/cilc/2020},
url = {https://ceur-ws.org/Vol-2710/abstract-invited-1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/StieberHSRBFRS20,
author = {Simon Stieber and
Alwin Hoffmann and
Alexander Schiendorfer and
Wolfgang Reif and
Matthias Beyrle and
Jan Faber and
Michaela Richter and
Markus G. R. Sause},
title = {Towards Real-time Process Monitoring and Machine Learning for Manufacturing
Composite Structures},
booktitle = {25th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11,
2020},
pages = {1455--1458},
year = {2020},
crossref = {DBLP:conf/etfa/2020},
url = {https://doi.org/10.1109/ETFA46521.2020.9212097},
doi = {10.1109/ETFA46521.2020.9212097},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/etfa/StieberHSRBFRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/0001M20,
author = {Wolfgang Faber and
Michael Morak},
title = {Determining Action Reversibility in {STRIPS} Using Epistemic Logic
Programs},
booktitle = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
year = {2020},
crossref = {DBLP:conf/iclp/2020w},
url = {https://ceur-ws.org/Vol-2678/paper10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/0001M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Chrpa0FM20,
author = {Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Daniel Fiser and
Michael Morak},
title = {Determining Action Reversibility in {STRIPS} Using Answer Set Programming},
booktitle = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
year = {2020},
crossref = {DBLP:conf/iclp/2020w},
url = {https://ceur-ws.org/Vol-2678/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Chrpa0FM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MorakC0F20,
author = {Michael Morak and
Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Daniel Fiser},
title = {On the Reversibility of Actions in Planning},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {652--661},
year = {2020},
crossref = {DBLP:conf/kr/2020},
url = {https://doi.org/10.24963/kr.2020/65},
doi = {10.24963/KR.2020/65},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/MorakC0F20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Qureshi020,
author = {Haya Majid Qureshi and
Wolfgang Faber},
title = {Supporting Metamodeling in Ontologies Using Rules},
booktitle = {Proceedings of the 14th International Rule Challenge, 4th Doctoral
Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with
16th Reasoning Web Summer School {(RW} 2020) 12th DecisionCAMP 2020
as part of Declarative {AI} 2020, Oslo, Norway (virtual due to Covid-19
pandemic), 29 June - 1 July, 2020},
pages = {95--102},
year = {2020},
crossref = {DBLP:conf/ruleml/2020s},
url = {https://ceur-ws.org/Vol-2644/paper37.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/Qureshi020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/000120,
author = {Wolfgang Faber},
title = {An Introduction to Answer Set Programming and Some of Its Extensions},
booktitle = {Reasoning Web. Declarative Artificial Intelligence - 16th International
Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures},
pages = {149--185},
year = {2020},
crossref = {DBLP:conf/rweb/2020},
url = {https://doi.org/10.1007/978-3-030-60067-9\_6},
doi = {10.1007/978-3-030-60067-9\_6},
timestamp = {Thu, 27 Jun 2024 13:01:45 +0200},
biburl = {https://dblp.org/rec/conf/rweb/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2020w,
editor = {Carmine Dodaro and
George Aristidis Elder and
Wolfgang Faber and
Jorge Fandinno and
Martin Gebser and
Markus Hecher and
Emily LeBlanc and
Michael Morak and
Jessica Zangari},
title = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2678},
urn = {urn:nbn:de:0074-2678-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2020w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/0001MW19,
author = {Wolfgang Faber and
Michael Morak and
Stefan Woltran},
title = {On Uniform Equivalence of Epistemic Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {826--840},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000218},
doi = {10.1017/S1471068419000218},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/0001MW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/0001MW19,
author = {Wolfgang Faber and
Michael Morak and
Stefan Woltran},
title = {Strong Equivalence for Epistemic Logic Programs Made Easy},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2809--2816},
year = {2019},
crossref = {DBLP:conf/aaai/2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012809},
doi = {10.1609/AAAI.V33I01.33012809},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/0001MW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Alviano019,
author = {Mario Alviano and
Wolfgang Faber},
title = {Chain Answer Sets for Logic Programs with Generalized Atoms},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
pages = {462--478},
year = {2019},
crossref = {DBLP:conf/jelia/2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_30},
doi = {10.1007/978-3-030-19570-0\_30},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/Alviano019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AmendolaD0PR19,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Luca Pulina and
Francesco Ricca},
title = {Algorithm Selection for Paracoherent Answer Set Computation},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
pages = {479--489},
year = {2019},
crossref = {DBLP:conf/jelia/2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_31},
doi = {10.1007/978-3-030-19570-0\_31},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AmendolaD0PR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-10925,
author = {Wolfgang Faber and
Michael Morak and
Stefan Woltran},
title = {On Uniform Equivalence of Epistemic Logic Programs},
journal = {CoRR},
volume = {abs/1907.10925},
year = {2019},
url = {http://arxiv.org/abs/1907.10925},
eprinttype = {arXiv},
eprint = {1907.10925},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-10925.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-04326,
author = {Francesco Calimeri and
Wolfgang Faber and
Martin Gebser and
Giovambattista Ianni and
Roland Kaminski and
Thomas Krennwallner and
Nicola Leone and
Marco Maratea and
Francesco Ricca and
Torsten Schaub},
title = {ASP-Core-2 Input Language Format},
journal = {CoRR},
volume = {abs/1911.04326},
year = {2019},
url = {http://arxiv.org/abs/1911.04326},
eprinttype = {arXiv},
eprint = {1911.04326},
timestamp = {Sun, 01 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-04326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/AdrianACCDFFLMP18,
author = {Weronika T. Adrian and
Mario Alviano and
Francesco Calimeri and
Bernardo Cuteri and
Carmine Dodaro and
Wolfgang Faber and
Davide Fusc{\`{a}} and
Nicola Leone and
Marco Manna and
Simona Perri and
Francesco Ricca and
Pierfrancesco Veltri and
Jessica Zangari},
title = {The {ASP} System {DLV:} Advancements and Applications},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {177--179},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0533-0},
doi = {10.1007/S13218-018-0533-0},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/AdrianACCDFFLMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/AlvianoF18,
author = {Mario Alviano and
Wolfgang Faber},
title = {Aggregates in Answer Set Programming},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {119--124},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0545-9},
doi = {10.1007/S13218-018-0545-9},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/AlvianoF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmendolaD0R18,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Francesco Ricca},
title = {Externally Supported Models for Efficient Computation of Paracoherent
Answer Sets},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {1720--1727},
year = {2018},
crossref = {DBLP:conf/aaai/2018},
url = {https://doi.org/10.1609/aaai.v32i1.11540},
doi = {10.1609/AAAI.V32I1.11540},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AmendolaD0R18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/0001VCG18,
author = {Wolfgang Faber and
Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
title = {Enumerating Preferred Extensions Using {ASP} Domain Heuristics: The
ASPrMin Solver},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2018, Warsaw,
Poland, 12-14 September 2018},
pages = {459--460},
year = {2018},
crossref = {DBLP:conf/comma/2018},
url = {https://doi.org/10.3233/978-1-61499-906-5-459},
doi = {10.3233/978-1-61499-906-5-459},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comma/0001VCG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/SkerikC0V18,
author = {Tom{\'{a}}s Sker{\'{\i}}k and
Luk{\'{a}}s Chrpa and
Wolfgang Faber and
Mauro Vallati},
title = {Automated Training Plan Generation for Athletes},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2018, Miyazaki, Japan, October 7-10, 2018},
pages = {3865--3870},
year = {2018},
crossref = {DBLP:conf/smc/2018},
url = {https://doi.org/10.1109/SMC.2018.00655},
doi = {10.1109/SMC.2018.00655},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/SkerikC0V18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2018s,
editor = {Wolfgang Faber and
Paul Fodor and
Giovanni De Gasperis and
Adrian Giurca and
Kia Teymourian},
title = {Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018
hosted by 2nd International Joint Conference on Rules and Reasoning
(RuleML+RR 2018), Luxembourg, September 20-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2204},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2204},
urn = {urn:nbn:de:0074-2204-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/2018s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-04800,
author = {Wolfgang Faber and
Michael Morak and
Stefan Woltran},
title = {Strong Equivalence for Epistemic Logic Programs Made Easy (Extended
Version)},
journal = {CoRR},
volume = {abs/1811.04800},
year = {2018},
url = {http://arxiv.org/abs/1811.04800},
eprinttype = {arXiv},
eprint = {1811.04800},
timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-04800.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/AminiBBBCCFHHKK17,
author = {Sasan Amini and
Kristian Beckers and
Markus B{\"{o}}hm and
Fritz Busch and
Nihan Celikkaya and
Vittorio Cozzolino and
Anne Faber and
Michael Haus and
Dominik Huth and
Alfons Kemper and
Andreas Kipf and
Helmut Krcmar and
Florian Matthes and
J{\"{o}}rg Ott and
Christian Prehofer and
Alexander Pretschner and
{\"{O}}mer Uludag and
Wolfgang W{\"{o}}rndl},
title = {Informatikforschung f{\"{u}}r digitale Mobilit{\"{a}}tsplattformen
- Am Beispiel des {TUM} Living Lab Connected Mobility},
journal = {Inform. Spektrum},
volume = {40},
number = {2},
pages = {180--191},
year = {2017},
url = {https://doi.org/10.1007/s00287-017-1029-2},
doi = {10.1007/S00287-017-1029-2},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/insk/AminiBBBCCFHHKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AmendolaDFLR17,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {On the Computation of Paracoherent Answer Sets},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {1034--1040},
year = {2017},
crossref = {DBLP:conf/aaai/2017},
url = {https://doi.org/10.1609/aaai.v31i1.10679},
doi = {10.1609/AAAI.V31I1.10679},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AmendolaDFLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/AminiB0BCCFHHKKKMOPPUW17,
author = {Sasan Amini and
Kristian Beckers and
Markus B{\"{o}}hm and
Fritz Busch and
Nihan Celikkaya and
Vittorio Cozzolino and
Anne Faber and
Michael Haus and
Dominik Huth and
Alfons Kemper and
Andreas Kipf and
Helmut Krcmar and
Florian Matthes and
J{\"{o}}rg Ott and
Christian Prehofer and
Alexander Pretschner and
{\"{O}}mer Uludag and
Wolfgang W{\"{o}}rndl},
title = {Informatik-Forschung f{\"{u}}r digitale Mobilit{\"{a}}tsplattformen},
booktitle = {50 Jahre Universit{\"{a}}ts-Informatik in M{\"{u}}nchen},
pages = {155--172},
year = {2017},
crossref = {DBLP:books/sp/17/BBBM2017},
url = {https://doi.org/10.1007/978-3-662-54712-0\_14},
doi = {10.1007/978-3-662-54712-0\_14},
timestamp = {Fri, 02 Dec 2022 12:49:56 +0100},
biburl = {https://dblp.org/rec/books/sp/17/AminiB0BCCFHHKKKMOPPUW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2017,
editor = {Giovambattista Ianni and
Domenico Lembo and
Leopoldo E. Bertossi and
Wolfgang Faber and
Birte Glimm and
Georg Gottlob and
Steffen Staab},
title = {Reasoning Web. Semantic Interoperability on the Web - 13th International
Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {10370},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61033-7},
doi = {10.1007/978-3-319-61033-7},
isbn = {978-3-319-61032-0},
timestamp = {Thu, 27 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmendolaDFLR17,
author = {Giovanni Amendola and
Carmine Dodaro and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {On the Computation of Paracoherent Answer Sets},
journal = {CoRR},
volume = {abs/1707.06813},
year = {2017},
url = {http://arxiv.org/abs/1707.06813},
eprinttype = {arXiv},
eprint = {1707.06813},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmendolaDFLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AlvianoFS16,
author = {Mario Alviano and
Wolfgang Faber and
Hannes Strass},
title = {Boolean Functions with Ordered Domains in Answer Set Programming},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {879--885},
year = {2016},
crossref = {DBLP:conf/aaai/2016},
url = {https://doi.org/10.1609/aaai.v30i1.10096},
doi = {10.1609/AAAI.V30I1.10096},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AlvianoFS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/FaberVCG16,
author = {Wolfgang Faber and
Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
title = {Solving Set Optimization Problems by Cardinality Optimization with
an Application to Argumentation},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
pages = {966--973},
year = {2016},
crossref = {DBLP:conf/ecai/2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-966},
doi = {10.3233/978-1-61499-672-9-966},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/FaberVCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrentonFB16,
author = {Christopher Brenton and
Wolfgang Faber and
Sotiris Batsakis},
title = {Answer Set Programming for Qualitative Spatio-Temporal Reasoning:
Methods and Experiments},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
pages = {4:1--4:15},
year = {2016},
crossref = {DBLP:conf/iclp/2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.4},
doi = {10.4230/OASICS.ICLP.2016.4},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BrentonFB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlvianoFG16,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {From Non-Convex Aggregates to Monotone Aggregates in {ASP}},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {4100--4194},
year = {2016},
crossref = {DBLP:conf/ijcai/2016},
url = {http://www.ijcai.org/Abstract/16/610},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlvianoFG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plansig/SkerikFC16,
author = {Tom{\'{a}}s Sker{\'{\i}}k and
Wolfgang Faber and
Luk{\'{a}}s Chrpa},
title = {Proposing of Planning System for Sports Domain: {A} Tool for Professional
Coaches},
booktitle = {Proceedings of the 34th Workshop of the {UK} Planning and Scheduling
Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16,
2016},
year = {2016},
crossref = {DBLP:conf/plansig/2016},
url = {https://ceur-ws.org/Vol-1782/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:22 +0100},
biburl = {https://dblp.org/rec/conf/plansig/SkerikFC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FaberVCG16,
author = {Wolfgang Faber and
Mauro Vallati and
Federico Cerutti and
Massimiliano Giacomin},
title = {Solving Set Optimization Problems by Cardinality Optimization via
Weak Constraints with an Application to Argumentation},
journal = {CoRR},
volume = {abs/1612.07589},
year = {2016},
url = {http://arxiv.org/abs/1612.07589},
eprinttype = {arXiv},
eprint = {1612.07589},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FaberVCG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/AlvianoF15,
author = {Mario Alviano and
Wolfgang Faber},
title = {Effectively solving {NP-SPEC} encodings by translation to {ASP}},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {27},
number = {5},
pages = {577--601},
year = {2015},
url = {https://doi.org/10.1080/0952813X.2014.993505},
doi = {10.1080/0952813X.2014.993505},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/AlvianoF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/semweb/LemboF15,
author = {Domenico Lembo and
Wolfgang Faber},
title = {Web reasoning and rule systems},
journal = {Semantic Web},
volume = {6},
number = {5},
pages = {425--426},
year = {2015},
url = {https://doi.org/10.3233/SW-150183},
doi = {10.3233/SW-150183},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/semweb/LemboF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFG15,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Rewriting recursive aggregates in answer set programming: back to
monotonicity},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {559--573},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000228},
doi = {10.1017/S1471068415000228},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AlvianoF15,
author = {Mario Alviano and
Wolfgang Faber},
title = {Stable Model Semantics of Abstract Dialectical Frameworks Revisited:
{A} Logic Programming Perspective},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {2684--2690},
year = {2015},
crossref = {DBLP:conf/ijcai/2015},
url = {http://ijcai.org/Abstract/15/380},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/AlvianoF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/AlvianoF15,
author = {Mario Alviano and
Wolfgang Faber},
title = {Supportedly Stable Answer Sets for Logic Programs with Generalized
Atoms},
booktitle = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
2015, Berlin, Germany, August 4-5, 2015, Proceedings},
pages = {30--44},
year = {2015},
crossref = {DBLP:conf/rr/2015},
url = {https://doi.org/10.1007/978-3-319-22002-4\_4},
doi = {10.1007/978-3-319-22002-4\_4},
timestamp = {Sat, 09 Apr 2022 12:41:08 +0200},
biburl = {https://dblp.org/rec/conf/rr/AlvianoF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2015,
editor = {Wolfgang Faber and
Adrian Paschke},
title = {Reasoning Web. Web Logic Rules - 11th International Summer School
2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {9203},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21768-0},
doi = {10.1007/978-3-319-21768-0},
isbn = {978-3-319-21767-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoFG15,
author = {Mario Alviano and
Wolfgang Faber and
Martin Gebser},
title = {Rewriting recursive aggregates in answer set programming: back to
monotonicity},
journal = {CoRR},
volume = {abs/1507.03923},
year = {2015},
url = {http://arxiv.org/abs/1507.03923},
eprinttype = {arXiv},
eprint = {1507.03923},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFW14,
author = {Mario Alviano and
Wolfgang Faber and
Stefan Woltran},
title = {Complexity of super-coherence problems in {ASP}},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {3},
pages = {339--361},
year = {2014},
url = {https://doi.org/10.1017/S147106841300001X},
doi = {10.1017/S147106841300001X},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TachmazidisAF14,
author = {Ilias Tachmazidis and
Grigoris Antoniou and
Wolfgang Faber},
title = {Efficient Computation of the Well-Founded Semantics over Big Data},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {445--459},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000131},
doi = {10.1017/S1471068414000131},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/TachmazidisAF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoCFLP14,
author = {Mario Alviano and
Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Simona Perri},
title = {Unfounded Sets and Well-Founded Semantics of Answer Set Programs with
Aggregates},
journal = {CoRR},
volume = {abs/1401.4596},
year = {2014},
url = {http://arxiv.org/abs/1401.4596},
eprinttype = {arXiv},
eprint = {1401.4596},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoCFLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoF14,
author = {Mario Alviano and
Wolfgang Faber},
title = {Semantics and Compilation of Answer Set Programming with Generalized
Atoms},
journal = {CoRR},
volume = {abs/1405.1287},
year = {2014},
url = {http://arxiv.org/abs/1405.1287},
eprinttype = {arXiv},
eprint = {1405.1287},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TachmazidisAF14,
author = {Ilias Tachmazidis and
Grigoris Antoniou and
Wolfgang Faber},
title = {Efficient Computation of the Well-Founded Semantics over Big Data},
journal = {CoRR},
volume = {abs/1405.2590},
year = {2014},
url = {http://arxiv.org/abs/1405.2590},
eprinttype = {arXiv},
eprint = {1405.2590},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TachmazidisAF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/FaberTW13,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Strong Equivalence of Qualitative Optimization Problems},
journal = {J. Artif. Intell. Res.},
volume = {47},
pages = {351--391},
year = {2013},
url = {https://doi.org/10.1613/jair.3991},
doi = {10.1613/JAIR.3991},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/FaberTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberL13,
author = {Wolfgang Faber and
Nicola Leone},
title = {Introduction to the special issue on the 25th annual {GULP} conference},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {2},
pages = {147--148},
year = {2013},
url = {https://doi.org/10.1017/S1471068411000676},
doi = {10.1017/S1471068411000676},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FaberL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FaberTW13,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Abstract Preference Frameworks - a Unifying Perspective on Separability
and Strong Equivalence},
booktitle = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
pages = {297--303},
year = {2013},
crossref = {DBLP:conf/aaai/2013},
url = {https://doi.org/10.1609/aaai.v27i1.8593},
doi = {10.1609/AAAI.V27I1.8593},
timestamp = {Mon, 04 Sep 2023 15:56:33 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FaberTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse/FaberB13,
author = {Eberhard von Faber and
Wolfgang Behnsen},
title = {A security Taxonomy that facilitates Protecting an industrial {ICT}
Production and how it really provides Transparency},
booktitle = {{ISSE} 2013 - Securing Electronic Business Processes, Highlights of
the Information Security Solutions Europe 2013 Conference, Brussels,
Belgium, October 22-23, 2013},
pages = {87--98},
year = {2013},
crossref = {DBLP:conf/isse/2013},
url = {https://doi.org/10.1007/978-3-658-03371-2\_8},
doi = {10.1007/978-3-658-03371-2\_8},
timestamp = {Wed, 24 Apr 2019 16:36:13 +0200},
biburl = {https://dblp.org/rec/conf/isse/FaberB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoDFLR13,
author = {Mario Alviano and
Carmine Dodaro and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {{WASP:} {A} Native {ASP} Solver Based on Constraint Learning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
pages = {54--66},
year = {2013},
crossref = {DBLP:conf/lpnmr/2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_6},
doi = {10.1007/978-3-642-40564-8\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoDFLR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/AlvianoF13,
author = {Mario Alviano and
Wolfgang Faber},
title = {The Complexity Boundary of Answer Set Programming with Generalized
Atoms under the {FLP} Semantics},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
pages = {67--72},
year = {2013},
crossref = {DBLP:conf/lpnmr/2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_7},
doi = {10.1007/978-3-642-40564-8\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/AlvianoF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/Faber13,
author = {Wolfgang Faber},
title = {Answer Set Programming},
booktitle = {Reasoning Web. Semantic Technologies for Intelligent Data Access -
9th International Summer School 2013, Mannheim, Germany, July 30 -
August 2, 2013. Proceedings},
pages = {162--193},
year = {2013},
crossref = {DBLP:conf/rweb/2013},
url = {https://doi.org/10.1007/978-3-642-39784-4\_4},
doi = {10.1007/978-3-642-39784-4\_4},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/rweb/Faber13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/AlvianoFLM13,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Marco Manna},
title = {Query Answering over Disjunctive Datalog with Existential Quantifiers},
booktitle = {21st Italian Symposium on Advanced Database Systems, {SEBD} 2013,
Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013},
pages = {393--400},
year = {2013},
crossref = {DBLP:conf/sebd/2013},
timestamp = {Tue, 14 Nov 2017 16:36:25 +0100},
biburl = {https://dblp.org/rec/conf/sebd/AlvianoFLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2013,
editor = {Wolfgang Faber and
Domenico Lembo},
title = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7994},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39666-3},
doi = {10.1007/978-3-642-39666-3},
isbn = {978-3-642-39665-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvianoF13,
author = {Mario Alviano and
Wolfgang Faber},
title = {Properties of Answer Set Programming with Convex Generalized Atoms},
journal = {CoRR},
volume = {abs/1312.6096},
year = {2013},
url = {http://arxiv.org/abs/1312.6096},
eprinttype = {arXiv},
eprint = {1312.6096},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvianoF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-1385,
author = {Mario Alviano and
Wolfgang Faber},
title = {Translating {NP-SPEC} into {ASP}},
journal = {CoRR},
volume = {abs/1301.1385},
year = {2013},
url = {http://arxiv.org/abs/1301.1385},
eprinttype = {arXiv},
eprint = {1301.1385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-1385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlvianoFGL12,
author = {Mario Alviano and
Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets for disjunctive Datalog programs},
journal = {Artif. Intell.},
volume = {187},
pages = {156--192},
year = {2012},
url = {https://doi.org/10.1016/j.artint.2012.04.008},
doi = {10.1016/J.ARTINT.2012.04.008},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AlvianoFGL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFLM12,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Marco Manna},
title = {Disjunctive datalog with existential quantifiers: Semantics, decidability,
and complexity issues},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {701--718},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000257},
doi = {10.1017/S1471068412000257},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DixFS12,
author = {J{\"{u}}rgen Dix and
Wolfgang Faber and
V. S. Subrahmanian},
title = {Privacy Preservation Using Multi-context Systems and Default Logic},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
pages = {195--210},
year = {2012},
crossref = {DBLP:conf/birthday/2012lifschitz},
url = {https://doi.org/10.1007/978-3-642-30743-0\_14},
doi = {10.1007/978-3-642-30743-0\_14},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/DixFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FaberLP12,
author = {Wolfgang Faber and
Nicola Leone and
Simona Perri},
title = {The Intelligent Grounder of {DLV}},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
pages = {247--264},
year = {2012},
crossref = {DBLP:conf/birthday/2012lifschitz},
url = {https://doi.org/10.1007/978-3-642-30743-0\_17},
doi = {10.1007/978-3-642-30743-0\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FaberLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse/FaberB12,
author = {Eberhard von Faber and
Wolfgang Behnsen},
title = {A Systematic Holistic Approach for Providers to Deliver Secure {ICT}
Services},
booktitle = {{ISSE} 2012 - Securing Electronic Business Processes, Highlights of
the Information Security Solutions Europe 2012 Conference, Brussels,
Belgium, October 23-24, 2012},
pages = {80--88},
year = {2012},
crossref = {DBLP:conf/isse/2012},
url = {https://doi.org/10.1007/978-3-658-00333-3\_9},
doi = {10.1007/978-3-658-00333-3\_9},
timestamp = {Wed, 24 Apr 2019 16:36:13 +0200},
biburl = {https://dblp.org/rec/conf/isse/FaberB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FaberTW12,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Strong Equivalence of Qualitative Optimization Problems},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
year = {2012},
crossref = {DBLP:conf/kr/2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4518},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FaberTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/Faber12,
author = {Wolfgang Faber},
title = {A Polynomial Reduction from {ASPDA} to {ASP}},
booktitle = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
pages = {213--216},
year = {2012},
crossref = {DBLP:conf/rr/2012},
url = {https://doi.org/10.1007/978-3-642-33203-6\_17},
doi = {10.1007/978-3-642-33203-6\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/Faber12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-6346,
author = {Mario Alviano and
Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets for Disjunctive Datalog Programs},
journal = {CoRR},
volume = {abs/1204.6346},
year = {2012},
url = {http://arxiv.org/abs/1204.6346},
eprinttype = {arXiv},
eprint = {1204.6346},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-6346.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2316,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Marco Manna},
title = {Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability,
and Complexity Issues},
journal = {CoRR},
volume = {abs/1210.2316},
year = {2012},
url = {http://arxiv.org/abs/1210.2316},
eprinttype = {arXiv},
eprint = {1210.2316},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-5895,
author = {Mario Alviano and
Wolfgang Faber and
Stefan Woltran},
title = {Complexity of super-coherence problems in {ASP}},
journal = {CoRR},
volume = {abs/1212.5895},
year = {2012},
url = {http://arxiv.org/abs/1212.5895},
eprinttype = {arXiv},
eprint = {1212.5895},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-5895.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FaberPL11,
author = {Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone},
title = {Semantics and complexity of recursive aggregates in answer set programming},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {278--298},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.002},
doi = {10.1016/J.ARTINT.2010.04.002},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/FaberPL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/AlvianoF11,
author = {Mario Alviano and
Wolfgang Faber},
title = {Dynamic Magic Sets and super-coherent answer set programs},
journal = {{AI} Commun.},
volume = {24},
number = {2},
pages = {125--145},
year = {2011},
url = {https://doi.org/10.3233/AIC-2011-0492},
doi = {10.3233/AIC-2011-0492},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/AlvianoF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FaberLMR11,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
journal = {Fundam. Informaticae},
volume = {107},
number = {4},
pages = {379--413},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-408},
doi = {10.3233/FI-2011-408},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FaberLMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AlvianoCFLP11,
author = {Mario Alviano and
Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Simona Perri},
title = {Unfounded Sets and Well-Founded Semantics of Answer Set Programs with
Aggregates},
journal = {J. Artif. Intell. Res.},
volume = {42},
pages = {487--527},
year = {2011},
url = {https://doi.org/10.1613/jair.3432},
doi = {10.1613/JAIR.3432},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/AlvianoCFLP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FaberW11,
author = {Wolfgang Faber and
Stefan Woltran},
title = {Manifold Answer-Set Programs and Their Applications},
booktitle = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
pages = {44--63},
year = {2011},
crossref = {DBLP:conf/birthday/2011gelfond},
url = {https://doi.org/10.1007/978-3-642-20832-4\_4},
doi = {10.1007/978-3-642-20832-4\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FaberW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlvianoFW11,
author = {Mario Alviano and
Wolfgang Faber and
Stefan Woltran},
title = {Complexity of Super-Coherence Problems in Answer Set Programming},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
pages = {131--145},
year = {2011},
crossref = {DBLP:conf/cilc/2011},
url = {https://ceur-ws.org/Vol-810/paper-l08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/AlvianoFW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/DodaroAFLRS11,
author = {Carmine Dodaro and
Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Francesco Ricca and
Marco Sirianni},
title = {The Birth of a {WASP:} Preliminary Report on a New {ASP} Solver},
booktitle = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
pages = {99--113},
year = {2011},
crossref = {DBLP:conf/cilc/2011},
url = {https://ceur-ws.org/Vol-810/paper-l06.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/DodaroAFLRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CalimeriIRABCCFFLMMPPRSSTV11,
author = {Francesco Calimeri and
Giovambattista Ianni and
Francesco Ricca and
Mario Alviano and
Annamaria Bria and
Gelsomina Catalano and
Susanna Cozza and
Wolfgang Faber and
Onofrio Febbraro and
Nicola Leone and
Marco Manna and
Alessandra Martello and
Claudio Panetta and
Simona Perri and
Kristian Reale and
Maria Carmela Santoro and
Marco Sirianni and
Giorgio Terracina and
Pierfrancesco Veltri},
title = {The Third Answer Set Programming Competition: Preliminary Report of
the System Competition Track},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
pages = {388--403},
year = {2011},
crossref = {DBLP:conf/lpnmr/2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_46},
doi = {10.1007/978-3-642-20895-9\_46},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/CalimeriIRABCCFFLMMPPRSSTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Faber11,
author = {Wolfgang Faber},
title = {Privacy Preservation Using Multi-Context Systems},
booktitle = {Proceedings of the 2nd Workshop on Logic-based Interpretation of Context:
Modelling and Applications, Vancouver, Canada, May 16, 2011},
pages = {45--51},
year = {2011},
crossref = {DBLP:conf/lpnmr/2011logic},
url = {https://ceur-ws.org/Vol-738/faber.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Faber11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2011,
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9},
doi = {10.1007/978-3-642-20895-9},
isbn = {978-3-642-20894-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5257,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {Answer Set Planning Under Action Costs},
journal = {CoRR},
volume = {abs/1106.5257},
year = {2011},
url = {http://arxiv.org/abs/1106.5257},
eprinttype = {arXiv},
eprint = {1106.5257},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-0791,
author = {Wolfgang Faber and
Miroslaw Truszczynski and
Stefan Woltran},
title = {Strong Equivalence of Qualitative Optimization Problems},
journal = {CoRR},
volume = {abs/1112.0791},
year = {2011},
url = {http://arxiv.org/abs/1112.0791},
eprinttype = {arXiv},
eprint = {1112.0791},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-0791.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoFL10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive {ASP} with functions: Decidable queries and effective
computation},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {497--512},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000244},
doi = {10.1017/S1471068410000244},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoFL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiterFM10,
author = {Thomas Eiter and
Wolfgang Faber and
Mushthofa Mushthofa},
title = {Space Efficient Evaluation of {ASP} Programs with Bounded Predicate
Arities},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {303--308},
year = {2010},
crossref = {DBLP:conf/aaai/2010},
url = {https://doi.org/10.1609/aaai.v24i1.7592},
doi = {10.1609/AAAI.V24I1.7592},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiterFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/Alviano0L10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
title = {Well-Founded Semantics for Logic Programs with Aggregates: Implementation
and Experimentation},
booktitle = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
year = {2010},
crossref = {DBLP:conf/cpaior/2010rcra},
url = {https://ceur-ws.org/Vol-616/paper08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/cpaior/Alviano0L10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/AlvianoFLPPT10,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone and
Simona Perri and
Gerald Pfeifer and
Giorgio Terracina},
title = {The Disjunctive Datalog System {DLV}},
booktitle = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
pages = {282--301},
year = {2010},
crossref = {DBLP:conf/datalog/2010},
url = {https://doi.org/10.1007/978-3-642-24206-9\_17},
doi = {10.1007/978-3-642-24206-9\_17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/datalog/AlvianoFLPPT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2010,
editor = {Wolfgang Faber and
Nicola Leone},
title = {Proceedings of the 25th Italian Conference on Computational Logic,
Rende, Italy, July 7-9, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {598},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-598},
urn = {urn:nbn:de:0074-598-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-4028,
author = {Mario Alviano and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive {ASP} with Functions: Decidable Queries and Effective
Computation},
journal = {CoRR},
volume = {abs/1007.4028},
year = {2010},
url = {http://arxiv.org/abs/1007.4028},
eprinttype = {arXiv},
eprint = {1007.4028},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-4028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-4377,
author = {Mario Alviano and
Wolfgang Faber},
title = {Dynamic Magic Sets for Super-Consistent Answer Set Programs},
journal = {CoRR},
volume = {abs/1011.4377},
year = {2010},
url = {http://arxiv.org/abs/1011.4377},
eprinttype = {arXiv},
eprint = {1011.4377},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-4377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BriaFL09,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
title = {Normal Form Nested Programs},
journal = {Fundam. Informaticae},
volume = {96},
number = {3},
pages = {271--295},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-179},
doi = {10.3233/FI-2009-179},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BriaFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/MayerOFNKKS09,
author = {Marcel Ph. Mayer and
Barbara Odenthal and
Marco Faber and
Jan Andries Neuh{\"{o}}fer and
Wolfgang Kabu{\ss} and
Bernhard Kausch and
Christopher M. Schlick},
title = {Cognitive Engineering for Direct Human-Robot Cooperation in Self-optimizing
Assembly Cells},
booktitle = {Human Centered Design, First International Conference, {HCD} 2009,
Held as Part of {HCI} International 2009, San Diego, CA, USA, July
19-24, 2009, Proceedings},
pages = {1003--1012},
year = {2009},
crossref = {DBLP:conf/hci/2009-10},
url = {https://doi.org/10.1007/978-3-642-02806-9\_115},
doi = {10.1007/978-3-642-02806-9\_115},
timestamp = {Sat, 11 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/MayerOFNKKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BriaFL09,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
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},
pages = {477--482},
year = {2009},
crossref = {DBLP:conf/lpnmr/2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_45},
doi = {10.1007/978-3-642-04238-6\_45},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BriaFL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberW09,
author = {Wolfgang Faber and
Stefan Woltran},
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},
pages = {115--128},
year = {2009},
crossref = {DBLP:conf/lpnmr/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}
}
@article{DBLP:journals/jal/MarateaRFL08,
author = {Marco Maratea and
Francesco Ricca and
Wolfgang Faber and
Nicola Leone},
title = {Look-back techniques and heuristics in {DLV:} Implementation, evaluation,
and comparison to {QBF} solvers},
journal = {J. Algorithms},
volume = {63},
number = {1-3},
pages = {70--89},
year = {2008},
url = {https://doi.org/10.1016/j.jalgor.2008.02.006},
doi = {10.1016/J.JALGOR.2008.02.006},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jal/MarateaRFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/EiterEF08,
author = {Thomas Eiter and
Esra Erdem and
Wolfgang Faber},
title = {Undoing the effects of action sequences},
journal = {J. Appl. Log.},
volume = {6},
number = {3},
pages = {380--415},
year = {2008},
url = {https://doi.org/10.1016/j.jal.2007.05.002},
doi = {10.1016/J.JAL.2007.05.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/EiterEF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FaberPLDI08,
author = {Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone and
Tina Dell'Armi and
Giuseppe Ielpa},
title = {Design and implementation of aggregate functions in the {DLV} system},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {5-6},
pages = {545--580},
year = {2008},
url = {https://doi.org/10.1017/S1471068408003323},
doi = {10.1017/S1471068408003323},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/FaberPLDI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FaberGL08,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets for Data Integration},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {1528--1531},
year = {2008},
crossref = {DBLP:conf/aaai/2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-255.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FaberGL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeoneF08,
author = {Nicola Leone and
Wolfgang Faber},
title = {The {DLV} Project: {A} Tour from Theory and Research to Applications
and Market},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
pages = {53--68},
year = {2008},
crossref = {DBLP:conf/iclp/2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_10},
doi = {10.1007/978-3-540-89982-2\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LeoneF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BriaFL08,
author = {Annamaria Bria and
Wolfgang Faber and
Nicola Leone},
title = {Normal Form Nested Programs},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
pages = {76--88},
year = {2008},
crossref = {DBLP:conf/jelia/2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_8},
doi = {10.1007/978-3-540-87803-2\_8},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/BriaFL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/FaberTW08,
author = {Wolfgang Faber and
Hans Tompits and
Stefan Woltran},
title = {Notions of Strong Equivalence for Logic Programs with Ordered Disjunction},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {433--443},
year = {2008},
crossref = {DBLP:conf/kr/2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-042.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/FaberTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/0001LMR08,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
title = {Look-back Techniques for {ASP} Programs with Aggregates},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
year = {2008},
crossref = {DBLP:conf/rcra/2008},
url = {https://ceur-ws.org/Vol-451/paper07faber.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/0001LMR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/FaberLR08,
author = {Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {Answer Set Programming},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
year = {2008},
crossref = {DBLP:reference/wiley/2008},
url = {https://doi.org/10.1002/9780470050118.ecse226},
doi = {10.1002/9780470050118.ECSE226},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/wiley/FaberLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-3137,
author = {Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone and
Tina Dell'Armi and
Giuseppe Ielpa},
title = {Design and Implementation of Aggregate Functions in the {DLV} System},
journal = {CoRR},
volume = {abs/0802.3137},
year = {2008},
url = {http://arxiv.org/abs/0802.3137},
eprinttype = {arXiv},
eprint = {0802.3137},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-3137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/EiterFFW07,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Stefan Woltran},
title = {Complexity results for answer set programming with bounded predicate
arities and implications},
journal = {Ann. Math. Artif. Intell.},
volume = {51},
number = {2-4},
pages = {123--165},
year = {2007},
url = {https://doi.org/10.1007/s10472-008-9086-5},
doi = {10.1007/S10472-008-9086-5},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/EiterFFW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FaberLPR07,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Francesco Ricca},
title = {On look-ahead heuristics in disjunctive logic programming},
journal = {Ann. Math. Artif. Intell.},
volume = {51},
number = {2-4},
pages = {229--266},
year = {2007},
url = {https://doi.org/10.1007/s10472-008-9087-4},
doi = {10.1007/S10472-008-9087-4},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/FaberLPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EiterEFS07,
author = {Thomas Eiter and
Esra Erdem and
Wolfgang Faber and
J{\'{a}}n Senko},
title = {A Logic-Based Approach to Finding Explanations for Discrepancies in
Optimistic Plan Execution},
journal = {Fundam. Informaticae},
volume = {79},
number = {1-2},
pages = {25--69},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-1-2-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EiterEFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FaberGL07,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets and their application to data integration},
journal = {J. Comput. Syst. Sci.},
volume = {73},
number = {4},
pages = {584--609},
year = {2007},
url = {https://doi.org/10.1016/j.jcss.2006.10.012},
doi = {10.1016/J.JCSS.2006.10.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FaberGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EiterEF07,
author = {Thomas Eiter and
Esra Erdem and
Wolfgang Faber},
title = {On Reversing Actions: Algorithms and Complexity},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {336--341},
year = {2007},
crossref = {DBLP:conf/ijcai/2007},
url = {http://ijcai.org/Proceedings/07/Papers/052.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EiterEF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberL07,
author = {Wolfgang Faber and
Nicola Leone},
title = {On the Complexity of Answer Set Programming with Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
pages = {97--109},
year = {2007},
crossref = {DBLP:conf/lpnmr/2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_10},
doi = {10.1007/978-3-540-72200-7\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberLMR07,
author = {Wolfgang Faber and
Nicola Leone and
Marco Maratea and
Francesco Ricca},
title = {Experimenting with Look-Back Heuristics for Hard {ASP} Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
pages = {110--122},
year = {2007},
crossref = {DBLP:conf/lpnmr/2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_11},
doi = {10.1007/978-3-540-72200-7\_11},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/RiccaFL06,
author = {Francesco Ricca and
Wolfgang Faber and
Nicola Leone},
title = {A backjumping technique for Disjunctive Logic Programming},
journal = {{AI} Commun.},
volume = {19},
number = {2},
pages = {155--172},
year = {2006},
url = {http://content.iospress.com/articles/ai-communications/aic369},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/RiccaFL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FaberK06,
author = {Wolfgang Faber and
Kathrin Konczak},
title = {Strong order equivalence},
journal = {Ann. Math. Artif. Intell.},
volume = {47},
number = {1-2},
pages = {43--78},
year = {2006},
url = {https://doi.org/10.1007/s10472-006-9027-0},
doi = {10.1007/S10472-006-9027-0},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/FaberK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CalimeriFPL06,
author = {Francesco Calimeri and
Wolfgang Faber and
Gerald Pfeifer and
Nicola Leone},
title = {Pruning Operators for Disjunctive Logic Programming Systems},
journal = {Fundam. Informaticae},
volume = {71},
number = {2-3},
pages = {183--214},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi71-2-3-03},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/CalimeriFPL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LeonePFEGPS06,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Thomas Eiter and
Georg Gottlob and
Simona Perri and
Francesco Scarcello},
title = {The {DLV} system for knowledge representation and reasoning},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {3},
pages = {499--562},
year = {2006},
url = {https://doi.org/10.1145/1149114.1149117},
doi = {10.1145/1149114.1149117},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/LeonePFEGPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Faber06,
author = {Wolfgang Faber},
title = {Decomposition of Nonmonotone Aggregates in Answer Set Programming},
booktitle = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
pages = {164--171},
year = {2006},
crossref = {DBLP:conf/wlp/2006},
url = {http://www.kr.tuwien.ac.at/wlp06/23-final.ps.gz},
timestamp = {Thu, 16 Nov 2017 07:57:26 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Faber06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ia/FaberLR05,
author = {Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {Solving Hard Problems for the Second Level of the Polynomial Hierarchy:
Heuristics and Benchmarks},
journal = {Intelligenza Artificiale},
volume = {2},
number = {3},
pages = {21--28},
year = {2005},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ia/FaberLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/FaberGL05,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets and Their Application to Data Integration},
booktitle = {Database Theory - {ICDT} 2005, 10th International Conference, Edinburgh,
UK, January 5-7, 2005, Proceedings},
pages = {306--320},
year = {2005},
crossref = {DBLP:conf/icdt/2005},
url = {https://doi.org/10.1007/978-3-540-30570-5\_21},
doi = {10.1007/978-3-540-30570-5\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/icdt/FaberGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CalimeriFLP05,
author = {Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Simona Perri},
title = {Declarative and Computational Properties of Logic Programs with Aggregates},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {406--411},
year = {2005},
crossref = {DBLP:conf/ijcai/2005},
url = {http://ijcai.org/Proceedings/05/Papers/1346.pdf},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/CalimeriFLP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaberK05,
author = {Wolfgang Faber and
Kathrin Konczak},
title = {Strong Equivalence for Logic Programs with Preferences},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {430--435},
year = {2005},
crossref = {DBLP:conf/ijcai/2005},
url = {http://ijcai.org/Proceedings/05/Papers/1048.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaberK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaberLR05,
author = {Wolfgang Faber and
Nicola Leone and
Francesco Ricca},
title = {Heuristics for Hard {ASP} Programs},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {1562--1563},
year = {2005},
crossref = {DBLP:conf/ijcai/2005},
url = {http://ijcai.org/Proceedings/05/Papers/post-0500.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaberLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DixFS05,
author = {J{\"{u}}rgen Dix and
Wolfgang Faber and
V. S. Subrahmanian},
title = {The Relationship Between Reasoning About Privacy and Default Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
pages = {637--650},
year = {2005},
crossref = {DBLP:conf/lpar/2005},
url = {https://doi.org/10.1007/11591191\_44},
doi = {10.1007/11591191\_44},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DixFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/EiterFT05,
author = {Thomas Eiter and
Wolfgang Faber and
Patrick Traxler},
title = {Testing Strong Equivalence of Datalog Programs - Implementation and
Examples},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
pages = {437--441},
year = {2005},
crossref = {DBLP:conf/lpnmr/2005},
url = {https://doi.org/10.1007/11546207\_42},
doi = {10.1007/11546207\_42},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/EiterFT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Faber05,
author = {Wolfgang Faber},
title = {Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
pages = {40--52},
year = {2005},
crossref = {DBLP:conf/lpnmr/2005},
url = {https://doi.org/10.1007/11546207\_4},
doi = {10.1007/11546207\_4},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Faber05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberR05,
author = {Wolfgang Faber and
Francesco Ricca},
title = {Solving Hard {ASP} Programs Efficiently},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
pages = {240--252},
year = {2005},
crossref = {DBLP:conf/lpnmr/2005},
url = {https://doi.org/10.1007/11546207\_19},
doi = {10.1007/11546207\_19},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LeoneEFFGGGKILLLNRRST05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Luigi Granata and
Gianluigi Greco and
Edyta Kalka and
Giovambattista Ianni and
Domenico Lembo and
Maurizio Lenzerini and
Vincenzino Lio and
Bartosz Nowicki and
Riccardo Rosati and
Marco Ruzzi and
Witold Staniszkis and
Giorgio Terracina},
title = {Data Integration: a Challenging {ASP} Application},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
pages = {379--383},
year = {2005},
crossref = {DBLP:conf/lpnmr/2005},
url = {https://doi.org/10.1007/11546207\_31},
doi = {10.1007/11546207\_31},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/LeoneEFFGGGKILLLNRRST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FaberGL05,
author = {Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Magic Sets and their Application to Data Integration},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {47--54},
year = {2005},
crossref = {DBLP:conf/sebd/2005},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FaberGL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/LeoneEFFGG05,
author = {Nicola Leone and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Gianluigi Greco},
title = {Boosting Information Integration: The {INFOMIX} System},
booktitle = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
pages = {55--66},
year = {2005},
crossref = {DBLP:conf/sebd/2005},
timestamp = {Thu, 16 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/LeoneEFFGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LeoneGILTEFFGRLLRKNS05,
author = {Nicola Leone and
Gianluigi Greco and
Giovambattista Ianni and
Vincenzino Lio and
Giorgio Terracina and
Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Georg Gottlob and
Riccardo Rosati and
Domenico Lembo and
Maurizio Lenzerini and
Marco Ruzzi and
Edyta Kalka and
Bartosz Nowicki and
Witold Staniszkis},
title = {The {INFOMIX} system for advanced integration of incomplete and inconsistent
data},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Baltimore, Maryland, USA, June 14-16, 2005},
pages = {915--917},
year = {2005},
crossref = {DBLP:conf/sigmod/2005},
url = {https://doi.org/10.1145/1066157.1066286},
doi = {10.1145/1066157.1066286},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/LeoneGILTEFFGRLLRKNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/EiterFLPP04,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {A logic programming approach to knowledge-state planning: Semantics
and complexity},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {2},
pages = {206--263},
year = {2004},
url = {https://doi.org/10.1145/976706.976708},
doi = {10.1145/976706.976708},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/EiterFLPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CumboFGL04,
author = {Chiara Cumbo and
Wolfgang Faber and
Gianluigi Greco and
Nicola Leone},
title = {Enhancing the Magic-Set Method for Disjunctive Datalog Programs},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
pages = {371--385},
year = {2004},
crossref = {DBLP:conf/iclp/2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_26},
doi = {10.1007/978-3-540-27775-0\_26},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CumboFGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CalimeriCCFLPP04,
author = {Francesco Calimeri and
Manuela Citrigno and
Chiara Cumbo and
Wolfgang Faber and
Nicola Leone and
Simona Perri and
Gerald Pfeifer},
title = {New {DLV} Features for Data Integration},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
pages = {698--701},
year = {2004},
crossref = {DBLP:conf/jelia/2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_60},
doi = {10.1007/978-3-540-30227-8\_60},
timestamp = {Tue, 07 May 2024 20:11:09 +0200},
biburl = {https://dblp.org/rec/conf/jelia/CalimeriCCFLPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/FaberLP04,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Recursive Aggregates in Disjunctive Logic Programs: Semantics and
Complexity},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
pages = {200--212},
year = {2004},
crossref = {DBLP:conf/jelia/2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_19},
doi = {10.1007/978-3-540-30227-8\_19},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/FaberLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/EiterFFPW04,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Gerald Pfeifer and
Stefan Woltran},
title = {Complexity of Model Checking and Bounded Predicate Arities for Non-ground
Answer Set Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {377--387},
year = {2004},
crossref = {DBLP:conf/kr/2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-040.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/EiterFFPW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DellArmiFILPP04,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Nicola Leone and
Simona Perri and
Gerald Pfeifer},
title = {System Description: {DLV} with Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
pages = {326--330},
year = {2004},
crossref = {DBLP:conf/lpnmr/2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_28},
doi = {10.1007/978-3-540-24609-1\_28},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DellArmiFILPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/EiterEF04,
author = {Thomas Eiter and
Esra Erdem and
Wolfgang Faber},
title = {Plan reversals for recovery in execution monitoring},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {147--154},
year = {2004},
crossref = {DBLP:conf/nmr/2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper20.pdf},
timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/EiterEF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EiterFLPP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {A logic programming approach to knowledge-state planning, {II:} The
DLV\({}^{\mbox{K}}\) system},
journal = {Artif. Intell.},
volume = {144},
number = {1-2},
pages = {157--211},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00367-3},
doi = {10.1016/S0004-3702(02)00367-3},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/EiterFLPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/EiterFLPP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {Answer Set Planning Under Action Costs},
journal = {J. Artif. Intell. Res.},
volume = {19},
pages = {25--71},
year = {2003},
url = {https://doi.org/10.1613/jair.1148},
doi = {10.1613/JAIR.1148},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/EiterFLPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/EiterFLP03,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Computing preferred answer sets by meta-interpretation in answer set
programming},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {463--498},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001753},
doi = {10.1017/S1471068403001753},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/EiterFLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CumboFG03,
author = {Chiara Cumbo and
Wolfgang Faber and
Gianluigi Greco},
title = {Improving Query Optimization for Disjunctive Datalog},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {252--262},
year = {2003},
crossref = {DBLP:conf/agp/2003},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CumboFG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/DellArmiFILP03,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Nicola Leone and
Gerald Pfeifer},
title = {Aggregate Functions in {DLV}},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
year = {2003},
crossref = {DBLP:conf/asp/2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-dellarmi.pdf},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asp/DellArmiFILP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/EiterFFPW03,
author = {Thomas Eiter and
Wolfgang Faber and
Michael Fink and
Gerald Pfeifer and
Stefan Woltran},
title = {Complexity of Answer Set Checking and Bounded Predicate Arities for
Non-ground Answer Set Programming},
booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
year = {2003},
crossref = {DBLP:conf/asp/2003},
url = {https://ceur-ws.org/Vol-78/asp03-final-eiter-compl.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/EiterFFPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DellArmiFILP03,
author = {Tina Dell'Armi and
Wolfgang Faber and
Giuseppe Ielpa and
Nicola Leone and
Gerald Pfeifer},
title = {Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity,
and Implementation in {DLV}},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {847--852},
year = {2003},
crossref = {DBLP:conf/ijcai/2003},
url = {http://ijcai.org/Proceedings/03/Papers/122.pdf},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DellArmiFILP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BuccafurriFL02,
author = {Francesco Buccafurri and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive Logic Programs with Inheritance},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {3},
pages = {293--321},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001394},
doi = {10.1017/S1471068402001394},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BuccafurriFL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterFLPP02,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {Answer Set Planning under Action Costs},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
pages = {186--197},
year = {2002},
crossref = {DBLP:conf/jelia/2002},
url = {https://doi.org/10.1007/3-540-45757-7\_16},
doi = {10.1007/3-540-45757-7\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/EiterFLPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EiterFLPP02a,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {The DLV\({}^{\mbox{K}}\) Planning System: Progress Report},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
pages = {541--544},
year = {2002},
crossref = {DBLP:conf/jelia/2002},
url = {https://doi.org/10.1007/3-540-45757-7\_51},
doi = {10.1007/3-540-45757-7\_51},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/EiterFLPP02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/LeonePFCDEGIIKPP02,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Francesco Calimeri and
Tina Dell'Armi and
Thomas Eiter and
Georg Gottlob and
Giovambattista Ianni and
Giuseppe Ielpa and
Christoph Koch and
Simona Perri and
Axel Polleres},
title = {The {DLV} System},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
pages = {537--540},
year = {2002},
crossref = {DBLP:conf/jelia/2002},
url = {https://doi.org/10.1007/3-540-45757-7\_50},
doi = {10.1007/3-540-45757-7\_50},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/LeonePFCDEGIIKPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/CalimeriFLP02,
author = {Francesco Calimeri and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Pruning operators for answer set programming systems},
booktitle = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
pages = {200--209},
year = {2002},
crossref = {DBLP:conf/nmr/2002},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nmr/CalimeriFLP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0211004,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Thomas Eiter and
Georg Gottlob and
Simona Perri and
Francesco Scarcello},
title = {The {DLV} System for Knowledge Representation and Reasoning},
journal = {CoRR},
volume = {cs.AI/0211004},
year = {2002},
url = {http://arxiv.org/abs/cs/0211004},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0211004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0201013,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Computing Preferred Answer Sets by Meta-Interpretation in Answer Set
Programming},
journal = {CoRR},
volume = {cs.LO/0201013},
year = {2002},
url = {https://arxiv.org/abs/cs/0201013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0201013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/EiterFLP01,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation
in Answer Set Programming},
booktitle = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
crossref = {DBLP:conf/asp/2001},
url = {http://www.cs.nmsu.edu/\&\#126;tson/ASP2001/12.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/EiterFLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FaberLP01,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Experimenting with Heuristics for Answer Set Programming},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {635--640},
year = {2001},
crossref = {DBLP:conf/ijcai/2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/FaberLP01.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},
title = {System Description: {DLV}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
pages = {424--428},
year = {2001},
crossref = {DBLP:conf/lpnmr/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/EiterFLPP01,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
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},
pages = {429--433},
year = {2001},
crossref = {DBLP:conf/lpnmr/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/FaberLP01,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
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},
pages = {295--308},
year = {2001},
crossref = {DBLP:conf/lpnmr/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}
}
@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}
}
@article{DBLP:journals/corr/cs-AI-0112006,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {A Logic Programming Approach to Knowledge-State Planning: Semantics
and Complexity},
journal = {CoRR},
volume = {cs.AI/0112006},
year = {2001},
url = {https://arxiv.org/abs/cs/0112006},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0112006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0105036,
author = {Francesco Buccafurri and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive Logic Programs with Inheritance},
journal = {CoRR},
volume = {cs.LO/0105036},
year = {2001},
url = {https://arxiv.org/abs/cs/0105036},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0105036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/EiterFLPP00,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {Planning under Incomplete Knowledge},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
pages = {807--821},
year = {2000},
crossref = {DBLP:conf/cl/2000},
url = {https://doi.org/10.1007/3-540-44957-4\_54},
doi = {10.1007/3-540-44957-4\_54},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/EiterFLPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/EiterFLPP00,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer and
Axel Polleres},
title = {Using the dlv System for Planning and Diagnostic Reasoning},
booktitle = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
26.-28. Januar 2000},
pages = {125--134},
year = {2000},
crossref = {DBLP:conf/wlp/2000},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/wlp/EiterFLPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0003036,
author = {Thomas Eiter and
Wolfgang Faber and
Christoph Koch and
Nicola Leone and
Gerald Pfeifer},
title = {{DLV} - {A} System for Declarative Problem Solving},
journal = {CoRR},
volume = {cs.AI/0003036},
year = {2000},
url = {https://arxiv.org/abs/cs/0003036},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/EiterFLP99,
author = {Thomas Eiter and
Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {The Diagnosis Frontend of the dlv System},
journal = {{AI} Commun.},
volume = {12},
number = {1-2},
pages = {99--111},
year = {1999},
url = {http://content.iospress.com/articles/ai-communications/aic171},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aicom/EiterFLP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BuccafurriFL99,
author = {Francesco Buccafurri and
Wolfgang Faber and
Nicola Leone},
title = {Disjunctive Logic Programs with Inheritance},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {79--93},
year = {1999},
crossref = {DBLP:conf/iclp/1999},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BuccafurriFL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FaberLP99,
author = {Wolfgang Faber and
Nicola Leone and
Gerald Pfeifer},
title = {Pushing Goal Derivation in {DLP} Computations},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
pages = {177--191},
year = {1999},
crossref = {DBLP:conf/lpnmr/1999},
url = {https://doi.org/10.1007/3-540-46767-X\_13},
doi = {10.1007/3-540-46767-X\_13},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FaberLP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagm/1999,
editor = {Wolfgang F{\"{o}}rstner and
Joachim M. Buhmann and
Annett Faber and
Petko Faber},
title = {Mustererkennung 1999, 21. DAGM-Symposium, Bonn, 15.-17. September
1999, Proceedings},
series = {Informatik Aktuell},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60243-6},
doi = {10.1007/978-3-642-60243-6},
isbn = {3-540-66381-9},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagm/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/CitrignoEFGKLMPS97,
author = {Simona Citrigno and
Thomas Eiter and
Wolfgang Faber and
Georg Gottlob and
Christoph Koch and
Nicola Leone and
Cristinel Mateis and
Gerald Pfeifer and
Francesco Scarcello},
title = {The dlv System: Model Generator and Advanced Frontends (system description)},
booktitle = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
year = {1997},
crossref = {DBLP:conf/wlp/1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/CitrignoEFGKLMPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/him/JankoTF91,
author = {Wolfgang Janko and
Alfred Taudes and
Wolfgang Faber},
title = {Optimale Startpunkte zur Navigation in Hypermediasystemen - ein entscheidungstheoretischer
Ansatz},
booktitle = {Hypertext/Hypermedia, Tagung der GI, {SI} und OCG, Graz, 27./28 Mai
1991, Proceedings},
pages = {145--155},
year = {1991},
crossref = {DBLP:conf/him/1991},
url = {https://doi.org/10.1007/978-3-642-76698-5\_13},
doi = {10.1007/978-3-642-76698-5\_13},
timestamp = {Wed, 24 May 2017 08:27:13 +0200},
biburl = {https://dblp.org/rec/conf/him/JankoTF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaps/2024,
editor = {Sara Bernardini and
Christian Muise},
title = {Proceedings of the Thirty-Fourth International Conference on Automated
Planning and Scheduling, {ICAPS} 2024, Banff, Alberta, Canada, June
1-6, 2024},
publisher = {{AAAI} Press},
year = {2024},
url = {https://ojs.aaai.org/index.php/ICAPS/issue/view/606},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/icaps/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2023,
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
publisher = {{AAAI} Press},
year = {2023},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/548},
isbn = {978-1-57735-880-0},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aiia/2023dp,
editor = {Roberto Basili and
Domenico Lembo and
Carla Limongelli and
Andrea Orlandini},
title = {Proceedings of the Discussion Papers - 22nd International Conference
of the Italian Association for Artificial Intelligence (AIxIA 2023
{DP)} co-located with 22nd International Conference of the Italian
Association for Artificial Intelligence (AIxIA 2023), Rome, Italy,
November 6-9, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3537},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3537},
urn = {urn:nbn:de:0074-3537-8},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/aiia/2023dp.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2023,
editor = {Michael Hanus and
Daniela Inclezan},
title = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2},
doi = {10.1007/978-3-031-24841-2},
isbn = {978-3-031-24840-5},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/padl/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/datalog/2022,
editor = {Mario Alviano and
Andreas Pieris},
title = {Proceedings of the 4th International Workshop on the Resurgence of
Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
the 16th International Conference on Logic Programming and Nonmonotonic
Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3203},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3203},
urn = {urn:nbn:de:0074-3203-3},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/datalog/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2022hydra,
editor = {Pierangela Bruno and
Francesco Calimeri and
Francesco Cauteruccio and
Marco Maratea and
Giorgio Terracina and
Mauro Vallati},
title = {Joint Proceedings of the 1st International Workshop on HYbrid Models
for Coupling Deductive and Inductive ReAsoning {(HYDRA} 2022) and
the 29th {RCRA} Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion {(RCRA} 2022) co-located
with the 16th International Conference on Logic Programming and Non-monotonic
Reasoning {(LPNMR} 2022), Genova Nervi, Italy, September 5, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3281},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3281},
urn = {urn:nbn:de:0074-3281-3},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2022hydra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2022,
editor = {James Cheney and
Simona Perri},
title = {Practical Aspects of Declarative Languages - 24th International Symposium,
{PADL} 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13165},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94479-7},
doi = {10.1007/978-3-030-94479-7},
isbn = {978-3-030-94478-0},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/padl/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2021,
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
year = {2021},
url = {https://doi.org/10.24963/kr.2021},
doi = {10.24963/KR.2021},
isbn = {978-1-956792-99-7},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/kr/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2021,
editor = {Sotiris Moschoyiannis and
Rafael Pe{\~{n}}aloza and
Jan Vanthienen and
Ahmet Soylu and
Dumitru Roman},
title = {Rules and Reasoning - 5th International Joint Conference, RuleML+RR
2021, Leuven, Belgium, September 13-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12851},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91167-6},
doi = {10.1007/978-3-030-91167-6},
isbn = {978-3-030-91166-9},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2020,
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710},
urn = {urn:nbn:de:0074-2710-9},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/cilc/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/etfa/2020,
title = {25th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11,
2020},
publisher = {{IEEE}},
year = {2020},
url = {https://ieeexplore.ieee.org/xpl/conhome/9210104/proceeding},
isbn = {978-1-7281-8956-7},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/etfa/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2020w,
editor = {Carmine Dodaro and
George Aristidis Elder and
Wolfgang Faber and
Jorge Fandinno and
Martin Gebser and
Markus Hecher and
Emily LeBlanc and
Michael Morak and
Jessica Zangari},
title = {International Conference on Logic Programming 2020 Workshop Proceedings
co-located with 36th International Conference on Logic Programming
{(ICLP} 2020), Rende, Italy, September 18-19, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2678},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2678},
urn = {urn:nbn:de:0074-2678-5},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2020w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2020,
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
year = {2020},
url = {https://proceedings.kr.org/2020/},
isbn = {978-0-9992411-7-2},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/kr/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2020s,
editor = {Sotiris Moschoyiannis and
Paul Fodor and
Jan Vanthienen and
Daniela Inclezan and
Nikolay Nikolov and
Francisco Mart{\'{\i}}n{-}Recuerda and
Ioan Toma},
title = {Proceedings of the 14th International Rule Challenge, 4th Doctoral
Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with
16th Reasoning Web Summer School {(RW} 2020) 12th DecisionCAMP 2020
as part of Declarative {AI} 2020, Oslo, Norway (virtual due to Covid-19
pandemic), 29 June - 1 July, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2644},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2644},
urn = {urn:nbn:de:0074-2644-0},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/2020s.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2020,
editor = {Marco Manna and
Andreas Pieris},
title = {Reasoning Web. Declarative Artificial Intelligence - 16th International
Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {12258},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-60067-9},
doi = {10.1007/978-3-030-60067-9},
isbn = {978-3-030-60066-2},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2019,
title = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/246},
isbn = {978-1-57735-809-1},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2019,
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0},
doi = {10.1007/978-3-030-19570-0},
isbn = {978-3-030-19569-4},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2018,
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
publisher = {{AAAI} Press},
year = {2018},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/301},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/comma/2018,
editor = {Sanjay Modgil and
Katarzyna Budzynska and
John Lawrence},
title = {Computational Models of Argument - Proceedings of {COMMA} 2018, Warsaw,
Poland, 12-14 September 2018},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {305},
publisher = {{IOS} Press},
year = {2018},
url = {http://ebooks.iospress.nl/volume/computational-models-of-argument-proceedings-of-comma-2018},
isbn = {978-1-61499-905-8},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/comma/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smc/2018,
title = {{IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2018, Miyazaki, Japan, October 7-10, 2018},
publisher = {{IEEE}},
year = {2018},
url = {https://ieeexplore.ieee.org/xpl/conhome/8615119/proceeding},
isbn = {978-1-5386-6650-0},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/smc/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2017,
editor = {Satinder Singh and
Shaul Markovitch},
title = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
publisher = {{AAAI} Press},
year = {2017},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/302},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/17/BBBM2017,
editor = {Arndt Bode and
Manfred Broy and
Hans{-}Joachim Bungartz and
Florian Matthes},
title = {50 Jahre Universit{\"{a}}ts-Informatik in M{\"{u}}nchen},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54712-0},
doi = {10.1007/978-3-662-54712-0},
isbn = {978-3-662-54711-3},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/books/sp/17/BBBM2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016,
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
publisher = {{AAAI} Press},
year = {2016},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/303},
isbn = {978-1-57735-760-5},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecai/2016,
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
publisher = {{IOS} Press},
year = {2016},
isbn = {978-1-61499-671-2},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/ecai/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2016,
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-007-1},
isbn = {978-3-95977-007-1},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016,
editor = {Subbarao Kambhampati},
title = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Proceedings/2016},
isbn = {978-1-57735-770-4},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plansig/2016,
editor = {Luk{\'{a}}s Chrpa and
Simon Parkinson and
Mauro Vallati},
title = {Proceedings of the 34th Workshop of the {UK} Planning and Scheduling
Special Interest Group, PlanSIG 2016, Huddersfield, UK, December 15-16,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1782},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1782},
urn = {urn:nbn:de:0074-1782-7},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/plansig/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015,
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/proceedings/2015},
isbn = {978-1-57735-738-4},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2015,
editor = {Balder ten Cate and
Alessandra Mileo},
title = {Web Reasoning and Rule Systems - 9th International Conference, {RR}
2015, Berlin, Germany, August 4-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9209},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22002-4},
doi = {10.1007/978-3-319-22002-4},
isbn = {978-3-319-22001-7},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/rr/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2013,
editor = {Marie desJardins and
Michael L. Littman},
title = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
publisher = {{AAAI} Press},
year = {2013},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/306},
isbn = {978-1-57735-615-8},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isse/2013,
editor = {Helmut Reimer and
Norbert Pohlmann and
Wolfgang Schneider},
title = {{ISSE} 2013 - Securing Electronic Business Processes, Highlights of
the Information Security Solutions Europe 2013 Conference, Brussels,
Belgium, October 22-23, 2013},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-658-03371-2},
doi = {10.1007/978-3-658-03371-2},
isbn = {978-3-658-03370-5},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/isse/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2013,
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8},
doi = {10.1007/978-3-642-40564-8},
isbn = {978-3-642-40563-1},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2013,
editor = {Sebastian Rudolph and
Georg Gottlob and
Ian Horrocks and
Frank van Harmelen},
title = {Reasoning Web. Semantic Technologies for Intelligent Data Access -
9th International Summer School 2013, Mannheim, Germany, July 30 -
August 2, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8067},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39784-4},
doi = {10.1007/978-3-642-39784-4},
isbn = {978-3-642-39783-7},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/rweb/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sebd/2013,
editor = {Francesco Buccafurri and
Domenico Sacc{\`{a}}},
title = {21st Italian Symposium on Advanced Database Systems, {SEBD} 2013,
Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013},
publisher = {Curran Associates},
year = {2013},
isbn = {978-1-62993-949-0},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/sebd/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2012lifschitz,
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0},
doi = {10.1007/978-3-642-30743-0},
isbn = {978-3-642-30742-3},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2012lifschitz.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isse/2012,
editor = {Helmut Reimer and
Norbert Pohlmann and
Wolfgang Schneider},
title = {{ISSE} 2012 - Securing Electronic Business Processes, Highlights of
the Information Security Solutions Europe 2012 Conference, Brussels,
Belgium, October 23-24, 2012},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-658-00333-3},
doi = {10.1007/978-3-658-00333-3},
isbn = {978-3-658-00332-6},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/isse/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2012,
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
isbn = {978-1-57735-560-1},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/kr/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rr/2012,
editor = {Markus Kr{\"{o}}tzsch and
Umberto Straccia},
title = {Web Reasoning and Rule Systems - 6th International Conference, {RR}
2012, Vienna, Austria, September 10-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7497},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33203-6},
doi = {10.1007/978-3-642-33203-6},
isbn = {978-3-642-33202-9},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/rr/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2011gelfond,
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4},
doi = {10.1007/978-3-642-20832-4},
isbn = {978-3-642-20831-7},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2011gelfond.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cilc/2011,
editor = {Fabio Fioravanti},
title = {Proceedings of the 26th Italian Conference on Computational Logic,
Pescara, Italy, August 31 - September 2, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {810},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-810},
urn = {urn:nbn:de:0074-810-0},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/cilc/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2011,
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9},
doi = {10.1007/978-3-642-20895-9},
isbn = {978-3-642-20894-2},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2011logic,
editor = {Alessandra Mileo and
Michael Fink},
title = {Proceedings of the 2nd Workshop on Logic-based Interpretation of Context:
Modelling and Applications, Vancouver, Canada, May 16, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {738},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-738},
urn = {urn:nbn:de:0074-738-1},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2011logic.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2010,
editor = {Maria Fox and
David Poole},
title = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {https://ojs.aaai.org/index.php/AAAI/issue/view/309},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpaior/2010rcra,
editor = {Marco Gavanelli and
Toni Mancini},
title = {Proceedings of the 17th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR
2010, Bologna, Italy, June 10-11, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {616},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-616},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/2010rcra.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/datalog/2010,
editor = {Oege de Moor and
Georg Gottlob and
Tim Furche and
Andrew Jon Sellers},
title = {Datalog Reloaded - First International Workshop, Datalog 2010, Oxford,
UK, March 16-19, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6702},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24206-9},
doi = {10.1007/978-3-642-24206-9},
isbn = {978-3-642-24205-2},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/datalog/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hci/2009-10,
editor = {Masaaki Kurosu},
title = {Human Centered Design, First International Conference, {HCD} 2009,
Held as Part of {HCI} International 2009, San Diego, CA, USA, July
19-24, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5619},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02806-9},
doi = {10.1007/978-3-642-02806-9},
isbn = {978-3-642-02805-2},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/hci/2009-10.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 = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2008,
editor = {Dieter Fox and
Carla P. Gomes},
title = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
publisher = {{AAAI} Press},
year = {2008},
isbn = {978-1-57735-368-3},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2008,
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2},
doi = {10.1007/978-3-540-89982-2},
isbn = {978-3-540-89981-5},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2008,
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2},
doi = {10.1007/978-3-540-87803-2},
isbn = {978-3-540-87802-5},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2008,
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
publisher = {{AAAI} Press},
year = {2008},
isbn = {978-1-57735-384-3},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/kr/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rcra/2008,
editor = {Marco Gavanelli and
Toni Mancini},
title = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/rcra/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/wiley/2008,
editor = {Benjamin W. Wah},
title = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118},
doi = {10.1002/9780470050118},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/reference/wiley/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2007,
editor = {Manuela M. Veloso},
title = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
year = {2007},
url = {http://ijcai.org/proceedings/2007},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2007,
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7},
doi = {10.1007/978-3-540-72200-7},
isbn = {978-3-540-72199-4},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2006,
editor = {Michael Fink and
Hans Tompits and
Stefan Woltran},
title = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
2006},
series = {{INFSYS} Research Report},
volume = {1843-06-02},
publisher = {Technische Universit{\"{a}}t Wien, Austria},
year = {2006},
url = {http://www.kr.tuwien.ac.at/wlp06/proceedings.html},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/wlp/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2005,
editor = {Thomas Eiter and
Leonid Libkin},
title = {Database Theory - {ICDT} 2005, 10th International Conference, Edinburgh,
UK, January 5-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3363},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b104421},
doi = {10.1007/B104421},
isbn = {3-540-24288-0},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/icdt/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2005,
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/proceedings/2005},
isbn = {0938075934},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2005,
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191},
doi = {10.1007/11591191},
isbn = {3-540-30553-X},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2005,
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207},
doi = {10.1007/11546207},
isbn = {3-540-28538-5},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sebd/2005,
editor = {Andrea Cal{\`{\i}} and
Diego Calvanese and
Enrico Franconi and
Maurizio Lenzerini and
Letizia Tanca},
title = {Proceedings of the Thirteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy,
June 19-22, 2005},
year = {2005},
isbn = {88-548-0122-4},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/sebd/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2005,
editor = {Fatma {\"{O}}zcan},
title = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, Baltimore, Maryland, USA, June 14-16, 2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066157},
doi = {10.1145/1066157},
isbn = {1-59593-060-4},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2004,
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b99475},
doi = {10.1007/B99475},
isbn = {3-540-22671-0},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2004,
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b100483},
doi = {10.1007/B100483},
isbn = {3-540-23242-7},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2004,
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
publisher = {{AAAI} Press},
year = {2004},
isbn = {1-57735-199-1},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/kr/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2004,
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b94792},
doi = {10.1007/B94792},
isbn = {3-540-20721-X},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/2004,
editor = {James P. Delgrande and
Torsten Schaub},
title = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
year = {2004},
isbn = {92-990021-0-X},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/nmr/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agp/2003,
editor = {Francesco Buccafurri},
title = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
year = {2003},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/agp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asp/2003,
editor = {Marina De Vos and
Alessandro Provetti},
title = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28,
2003},
series = {{CEUR} Workshop Proceedings},
volume = {78},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-78},
urn = {urn:nbn:de:0074-78-6},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/asp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2003,
editor = {Georg Gottlob and
Toby Walsh},
title = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/proceedings/2003},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2002,
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7},
doi = {10.1007/3-540-45757-7},
isbn = {3-540-44190-5},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/jelia/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nmr/2002,
editor = {Salem Benferhat and
Enrico Giunchiglia},
title = {9th International Workshop on Non-Monotonic Reasoning {(NMR} 2002),
April 19-21, Toulouse, France, Proceedings},
year = {2002},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/nmr/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asp/2001,
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Answer Set Programming, Towards Efficient and Scalable Knowledge Representation
and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford,
CA, USA, March 26-28, 2001},
year = {2001},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/asp/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2001,
editor = {Bernhard Nebel},
title = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
publisher = {Morgan Kaufmann},
year = {2001},
url = {http://ijcai.org/proceedings/2001-1},
isbn = {1-55860-777-3},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/2001.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 = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cl/2000,
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4},
doi = {10.1007/3-540-44957-4},
isbn = {3-540-67797-6},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/cl/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2000,
editor = {Fran{\c{c}}ois Bry and
Ulrich Geske and
Dietmar Seipel},
title = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
26.-28. Januar 2000},
series = {{GMD} Report},
volume = {90},
year = {2000},
url = {http://www.gmd.de/publications/report/0090/},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/wlp/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1999,
editor = {Danny De Schreye},
title = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
publisher = {{MIT} Press},
year = {1999},
isbn = {0-262-54104-1},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/iclp/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1999,
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X},
doi = {10.1007/3-540-46767-X},
isbn = {3-540-66749-0},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/1997,
editor = {Fran{\c{c}}ois Bry and
Burkhard Freitag and
Dietmar Seipel},
title = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/wlp/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/him/1991,
editor = {Hermann A. Maurer},
title = {Hypertext/Hypermedia, Tagung der GI, {SI} und OCG, Graz, 27./28 Mai
1991, Proceedings},
series = {Informatik-Fachberichte},
volume = {276},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-3-642-76698-5},
doi = {10.1007/978-3-642-76698-5},
isbn = {3-540-54145-4},
timestamp = {Thu, 10 Oct 2024 03:48:20 +0200},
biburl = {https://dblp.org/rec/conf/him/1991.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-10-10 03:48 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:
