Items where Author is Faber, Wolfgang

2018

Amendola, Giovanni, Dodaro, Carmine, Faber, Wolfgang and Ricca, Francesco (2018) Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence. AAAI Press.

2017

Amendola, Giovanni, Dodaro, Carmine, Faber, Wolfgang, Leone, Nicola and Francesco, Ricca (2017) On the Computation of Paracoherent Answer Sets. In: Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence. AAAI Press, pp. 1034-1040.

2016

Faber, Wolfgang, Vallati, Mauro, Cerutti, Federico and Giacomin, Massimiliano (2016) Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. In: 22nd European Conference on Artificial Intelligence (ECAI2016). Frontiers in Artificial Intelligence and Applications, 285 (285). IOS Press, pp. 966-973. ISBN 978-1-61499-671-2

Brenton, Christopher, Faber, Wolfgang and Batsakis, Sotiris (2016) Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments. In: Technical Communications of the 32nd International Conference on Logic Programming (ICLP'16). OASIcs, 52 . Dagstuhl. ISBN 978359770071

Alviano, Mario, Faber, Wolfgang and Gebser, Martin (2016) From Non-Convex Aggregates to Monotone Aggregates in ASP. In: 25th International Joint Conference on Artificial Intelligence (IJCAI-16). AAAI Press. ISBN 978-1-57735-771-1

Alviano, Mario, Faber, Wolfgang and Strass, Hannes (2016) Boolean Functions with Ordered Domains in Answer Set Programming. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI Press, pp. 879-885.

2015

Alviano, Mario, Faber, Wolfgang and Gebser, Martin (2015) Rewriting recursive aggregates in answer set programming: back to monotonicity. Theory and Practice of Logic Programming, 15 (4-5). pp. 559-573. ISSN 1471-0684

Alviano, Mario and Faber, Wolfgang (2015) Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. AAAI Press, pp. 2684-2690.

Alviano, Mario and Faber, Wolfgang (2015) Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. In: Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. Lecture Notes in Computer Science, 9209 . Springer, pp. 30-44. ISBN 978-3-319-22001-7

Alviano, Mario and Faber, Wolfgang (2015) Effectively Solving NP-SPEC Encodings by Translation to ASP. Journal of Experimental and Theoretical Artificial Intelligence, 27 (5). pp. 577-601. ISSN 0952-813X

Lembo, Domenico and Faber, Wolfgang (2015) Editorial: Web reasoning and rule systems. Semantic Web, 6 (5). pp. 425-426. ISSN 1570-0844

2014

Tachmazidis, Ilias, Antoniou, Grigoris and Faber, Wolfgang (2014) Efficient Computation of the Well-Founded Semantics over Big Data. Theory and Practice of Logic Programming, 14 (4-5). pp. 445-459. ISSN 1471-0684

Alviano, Mario, Faber, Wolfgang and Woltran, Stefan (2014) Complexity of super-coherence problems in ASP. Theory and Practice of Logic Programming, 14 (3). pp. 339-361. ISSN 1471-0684

2013

Alviano, Mario and Faber, Wolfgang (2013) The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. In: Logic Programming and Nonmonotonic Reasoning. Lecture Notes in Computer Science, 8148 (8148). Springer Verlag, pp. 67-72. ISBN 978-3-642-40563-1

Alviano, Mario and Faber, Wolfgang (2013) Properties of Answer Set Programming with Convex Generalized Atoms. In: Sixth International Workshop on Answer Set Programming and Other Computing Paradigms, 25 August 2013, Istanbul, Turkey.

Faber, Wolfgang, Truszczyński, Mirosław and Woltran, Stefan (2013) Abstract Preference Frameworks: a Unifying Perspective on Separability and Strong Equivalence. In: Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA. AAAI Press. ISBN 978-1-57735-615-8

Alviano, Mario, Faber, Wolfgang, Leone, Nicola and Manna, Marco (2013) Query answering over disjunctive datalog with existential quantifiers. In: 21st Italian Symposium on Advanced Database Systems, 30 June - 3 July 2013, Roccella Jonica, Italy.

Alviano, Mario and Faber, Wolfgang (2013) Solving NP-SPEC Domains Using ASP. In: 20th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion", 14-15 June 2013, Rome, Italy.

Faber, Wolfgang, Truszczyński, Miroslaw and Woltran, Stefan (2013) Strong Equivalence of Qualitative Optimization Problems. Journal of Artificial Intelligence Research, 47. pp. 351-391. ISSN 1076 - 9757

2012

Alviano, Mario, Faber, Wolfgang, Greco, Gianluigi and Leone, Nicola (2012) Magic Sets for disjunctive Datalog programs. Artificial Intelligence, 187-18. pp. 156-192. ISSN 0004-3702

2011

Alviano, Mario, Calimeri, Francesco, Faber, Wolfgang, Leone, Nicola and Perri, Simona (2011) Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Journal of Artificial Intelligence Research, 42. pp. 487-527. ISSN 1076 - 9757

Faber, Wolfgang, Pfeifer, Gerald and Leone, Nicola (2011) Semantics and complexity of recursive aggregates in answer set programming. Artificial Intelligence, 175 (1). pp. 278-298. ISSN 0004-3702

2010

Alviano, Mario, Faber, Wolfgang and Leone, Nicola (2010) Disjunctive ASP with functions: Decidable queries and effective computation. Theory and Practice of Logic Programming, 10 (4-6). pp. 497-512. ISSN 1471-0684