The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Wolfgang Faber 0001" ( http://dblp.L3S.de/Authors/Wolfgang_Faber_0001 )

URL (Homepage):  http://www.wfaber.com/  Author page on DBLP  Author page in RDF  Community of Wolfgang Faber 0001 in ASPL-2

Publication years (Num. hits)
1997-2001 (15) 2002-2004 (21) 2005-2006 (18) 2007-2008 (17) 2009-2011 (22) 2012-2013 (19) 2014-2016 (18) 2017-2019 (12)
Publication types (Num. hits)
article(57) incollection(1) inproceedings(77) proceedings(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 15 keywords

Results
Found 143 publication records. Showing 142 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Luca Pulina, Francesco Ricca Algorithm Selection for Paracoherent Answer Set Computation. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Chain Answer Sets for Logic Programs with Generalized Atoms. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Michael Morak, Stefan Woltran Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber 0001, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV: Advancements and Applications. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Aggregates in Answer Set Programming. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. Search on Bibsonomy COMMA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Francesco Ricca Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Paul Fodor, Giovanni De Gasperis, Adrian Giurca, Kia Teymourian (eds.) 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. Search on Bibsonomy RuleML+RR (Supplement) The full citation details ... 2018 DBLP  BibTeX  RDF
1Tomás Skerík, Lukás Chrpa, Wolfgang Faber 0001, Mauro Vallati Automated Training Plan Generation for Athletes. Search on Bibsonomy SMC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca On the Computation of Paracoherent Answer Sets. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca On the Computation of Paracoherent Answer Sets. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber 0001, Birte Glimm, Georg Gottlob, Steffen Staab (eds.) Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tomás Skerík, Wolfgang Faber 0001, Lukás Chrpa Proposing of Planning System for Sports Domain: A Tool for Professional Coaches. Search on Bibsonomy PlanSIG The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Hannes Strass Boolean Functions with Ordered Domains in Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Christopher Brenton, Wolfgang Faber 0001, Sotiris Batsakis Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Martin Gebser From Non-Convex Aggregates to Monotone Aggregates in ASP. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Effectively solving NP-SPEC encodings by translation to ASP. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Domenico Lembo, Wolfgang Faber 0001 Web reasoning and rule systems. Search on Bibsonomy Semantic Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Martin Gebser Rewriting recursive aggregates in answer set programming: back to monotonicity. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Martin Gebser Rewriting recursive aggregates in answer set programming: back to monotonicity. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Adrian Paschke (eds.) Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures Search on Bibsonomy Reasoning Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Semantics and Compilation of Answer Set Programming with Generalized Atoms. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber 0001 Efficient Computation of the Well-Founded Semantics over Big Data. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber 0001 Efficient Computation of the Well-Founded Semantics over Big Data. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Stefan Woltran Complexity of super-coherence problems in ASP. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Miroslaw Truszczynski, Stefan Woltran Strong Equivalence of Qualitative Optimization Problems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Translating NP-SPEC into ASP Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Properties of Answer Set Programming with Convex Generalized Atoms. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone Introduction to the special issue on the 25th annual GULP conference. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca WASP: A Native ASP Solver Based on Constraint Learning. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Miroslaw Truszczynski, Stefan Woltran Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Wolfgang Faber 0001 Answer Set Programming. Search on Bibsonomy Reasoning Web The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna Query Answering over Disjunctive Datalog with Existential Quantifiers. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Domenico Lembo (eds.) Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets for disjunctive Datalog programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets for Disjunctive Datalog Programs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Stefan Woltran Complexity of super-coherence problems in ASP Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Simona Perri The Intelligent Grounder of DLV. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Wolfgang Faber 0001, V. S. Subrahmanian Privacy Preservation Using Multi-context Systems and Default Logic. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Miroslaw Truszczynski, Stefan Woltran Strong Equivalence of Qualitative Optimization Problems. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Wolfgang Faber 0001 A Polynomial Reduction from ASPDA to ASP. Search on Bibsonomy RR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Dynamic Magic Sets and super-coherent answer set programs. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone Semantics and complexity of recursive aggregates in answer set programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Answer Set Planning Under Action Costs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Miroslaw Truszczynski, Stefan Woltran Strong Equivalence of Qualitative Optimization Problems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca Look-back Techniques for ASP Programs with Aggregates. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Stefan Woltran Manifold Answer-Set Programs and Their Applications. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Wolfgang Faber 0001 (eds.) Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber 0001, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001 Privacy Preservation Using Multi-Context Systems. Search on Bibsonomy Log-IC@LPNMR The full citation details ... 2011 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Stefan Woltran Complexity of Super-Coherence Problems in Answer Set Programming. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Carmine Dodaro, Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca, Marco Sirianni The Birth of a WASP: Preliminary Report on a New ASP Solver. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001 Dynamic Magic Sets for Super-Consistent Answer Set Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone Disjunctive ASP with Functions: Decidable Queries and Effective Computation Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone Disjunctive ASP with functions: Decidable queries and effective computation. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina The Disjunctive Datalog System DLV. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Mushthofa Mushthofa Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone (eds.) Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010 Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. Search on Bibsonomy RCRA@CPAIOR The full citation details ... 2010 DBLP  BibTeX  RDF
1Annamaria Bria, Wolfgang Faber 0001, Nicola Leone Normal Form Nested Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Stefan Woltran Manifold Answer-Set Programs for Meta-reasoning. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Annamaria Bria, Wolfgang Faber 0001, Nicola Leone nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Francesco Ricca, Wolfgang Faber 0001, Nicola Leone Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. Search on Bibsonomy J. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa Design and Implementation of Aggregate Functions in the DLV System Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Wolfgang Faber 0001 Undoing the effects of action sequences. Search on Bibsonomy J. Applied Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa Design and implementation of aggregate functions in the DLV system. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Francesco Ricca Answer Set Programming. Search on Bibsonomy Wiley Encyclopedia of Computer Science and Engineering The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca Look-back Techniques for ASP Programs with Aggregates. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Annamaria Bria, Wolfgang Faber 0001, Nicola Leone Normal Form Nested Programs. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets for Data Integration. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Hans Tompits, Stefan Woltran Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Nicola Leone, Wolfgang Faber 0001 The DLV Project: A Tour from Theory and Research to Applications and Market. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets and their application to data integration. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Stefan Woltran Complexity results for answer set programming with bounded predicate arities and implications. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68Q17
1Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Francesco Ricca On look-ahead heuristics in disjunctive logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
1Thomas Eiter, Esra Erdem 0001, Wolfgang Faber 0001, Ján Senko A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone On the Complexity of Answer Set Programming with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Marco Maratea, Francesco Ricca Experimenting with Look-Back Heuristics for Hard ASP Programs. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Esra Erdem 0001, Wolfgang Faber 0001 On Reversing Actions: Algorithms and Complexity. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Francesco Ricca, Wolfgang Faber 0001, Nicola Leone A backjumping technique for Disjunctive Logic Programming. Search on Bibsonomy AI Commun. The full citation details ... 2006 DBLP  BibTeX  RDF
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello The DLV system for knowledge representation and reasoning. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
1Wolfgang Faber 0001, Kathrin Konczak Strong order equivalence. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 68T30, 68T15
1Francesco Calimeri, Wolfgang Faber 0001, Gerald Pfeifer, Nicola Leone Pruning Operators for Disjunctive Logic Programming Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Wolfgang Faber 0001 Decomposition of Nonmonotone Aggregates in Answer Set Programming. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Francesco Ricca Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2005 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Patrick Traxler Testing Strong Equivalence of Datalog Programs - Implementation and Examples. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001 Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Francesco Ricca Solving Hard ASP Programs Efficiently. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina Data Integration: a Challenging ASP Application. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis The INFOMIX system for advanced integration of incomplete and inconsistent data. Search on Bibsonomy SIGMOD Conference The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Wolfgang Faber 0001, V. S. Subrahmanian The Relationship Between Reasoning About Privacy and Default Logics. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 142 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license