Up a level
Export as [feed] RSS
Group by: Date | Creators | Item Type | Uncontrolled Keywords | No Grouping
Jump to: A | B | F | L | T
Number of items: 23.

A

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.

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.

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.

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

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

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.

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.

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

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

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

B

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

F

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

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

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

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

L

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

T

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

This list was generated on Wed Mar 27 17:40:13 2024 UTC.