The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nicola Leone" ( http://dblp.L3S.de/Authors/Nicola_Leone )

URL (Homepage):  http://www.dbai.tuwien.ac.at/staff/leone/  Author page on DBLP  Author page in RDF  Community of Nicola Leone in ASPL-2

Publication years (Num. hits)
1991-1994 (15) 1995-1996 (17) 1997 (15) 1998-1999 (22) 2000-2001 (22) 2002-2003 (23) 2004-2005 (24) 2006-2007 (16) 2008-2009 (23) 2010-2011 (25) 2012-2013 (21) 2014-2016 (20) 2017-2018 (17) 2019 (12)
Publication types (Num. hits)
article(105) incollection(4) inproceedings(157) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 62 occurrences of 37 keywords

Results
Found 273 publication records. Showing 272 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca An ASP-Based System for e-Tourism. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nicola Leone Exploiting ASP in Real-World Applications: Main Strengths and Challenges. 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
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
1Enrico Giunchiglia, Nicola Leone, Marco Maratea On the relation among answer set solvers. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27, 68T20
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
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
1Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta Experimenting with recursive queries in database and logic programming systems. Search on Bibsonomy TPLP The full citation details ... 2008 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, 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
1Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone Experiencing ASP with Real World Applications. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Sergio Greco, Luigi Palopoli, Nicola Leone, Pasquale Rullo, Domenico Saccà Logic Programming in DataLog: A Long Tour from Theory to Practice. Search on Bibsonomy Il Milione 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
1Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone Computable Functions in ASP: Theory and Implementation. Search on Bibsonomy ICLP 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
1Annamaria Bria, Wolfgang Faber 0001, Nicola Leone Normal Form Nested Programs. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone Enhancing a DLP System for Advanced Database Applications. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
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
1Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone Enhancing DLV instantiator by backjumping techniques. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27
1Francesco Scarcello, Gianluigi Greco, Nicola Leone Weighted hypertree decompositions and optimal query plans. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2007 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
1Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta Experimenting with recursive queries in database and logic programming systems Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Francesco Ricca, Nicola Leone Disjunctive logic programming with types and objects: The DLV+ system. Search on Bibsonomy J. Applied Logic 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
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
1Nicola Leone Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
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
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
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
1Giorgio Terracina, Nicola Leone, Vincenzino Lio, Claudio Panetta Adding Efficient Data Management to Logic Programming Systems. Search on Bibsonomy ISMIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andrea Gualtieri, Tina Dell'Armi, Nicola Leone Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features. Search on Bibsonomy Business Process Management Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Massimo Ruffolo, Lorenzo Gallucci, Nicola Leone, Marco Manna, Domenico Saccà Towards a Semantic Information Extraction Approach from Unstructured Documents. Search on Bibsonomy SEBD The full citation details ... 2006 DBLP  BibTeX  RDF
1Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Saccà A Logic-Based Tool for Semantic Information Extraction. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  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
1Simona Perri, Francesco Scarcello, Nicola Leone Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Search on Bibsonomy TPLP 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
1Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (eds.) Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso 0002 A DLP System with Object-Oriented Features. 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, Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Georg Gottlob, Gianluigi Greco Boosting Information Integration: The INFOMIX System. Search on Bibsonomy SEBD The full citation details ... 2005 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets and their Application to Data Integration. Search on Bibsonomy SEBD The full citation details ... 2005 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Magic Sets and Their Application to Data Integration. Search on Bibsonomy ICDT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto Exploiting ASP for Semantic Information Extraction. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Declarative and Computational Properties of Logic Programs with Aggregates. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Francesco Ricca Heuristics for Hard ASP Programs. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres A logic programming approach to knowledge-state planning: Semantics and complexity. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF conformant planning, declarative planning, knowledge-states, secure planning, computational complexity, incomplete information, Answer sets
1Simona Perri, Nicola Leone Parametric connectives in Disjunctive Logic Programming. Search on Bibsonomy AI Commun. The full citation details ... 2004 DBLP  BibTeX  RDF
1Nicola Leone, Francesco Scarcello, V. S. Subrahmanian Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF computational complexity, knowledge representation, nonmonotonic reasoning, optimization problems, Disjunctive logic programming
1Francesco Calimeri, Nicola Leone Toward the Implementation of Functions in the DLV System (Preliminary Technical Report) Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Scarcello BackJumping techniques for rules instantiation in the DLV system. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone Enhancing the Magic-Set Method for Disjunctive Datalog Programs. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer System Description: DLV with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Vincenzino Lio, Giorgio Terracina DLVDB: Adding Efficient Data Management Features to ASP. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Scarcello, Gianluigi Greco, Nicola Leone Weighted Hypertree Decompositions and Optimal Query Plans. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gianluigi Greco, Nicola Leone, Francesco Scarcello On Weighted Hypertree Decompositions. Search on Bibsonomy SEBD The full citation details ... 2004 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer New DLV Features for Data Integration. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres A logic programming approach to knowledge-state planning, II: The DLVK system. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Christoph Koch 0001, Nicola Leone, Gerald Pfeifer Enhancing disjunctive logic programming systems by SAT checkers. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Answer Set Planning Under Action Costs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Simona Perri, Nicola Leone Parametric Connectives in Disjunctive Logic Programming Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Simona Perri, Francesco Scarcello, Nicola Leone Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Computing preferred answer sets by meta-interpretation in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Simona Perri Parametric Connectives in Disjunctive Logic Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer Aggregate Functions in DLV. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Michael Gelfond, Nicola Leone Knowledge Representation and Logic Programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Michael Gelfond, Nicola Leone Logic programming and knowledge representation - The A-Prolog perspective. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Computing LOGCFL certificates. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Hypertree Decompositions and Tractable Queries. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2002 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 CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Francesco Buccafurri, Wolfgang Faber 0001, Nicola Leone Disjunctive Logic Programs with Inheritance. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Pruning operators for answer set programming systems. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Nicola Leone, Alfredo Mazzitelli, Francesco Scarcello Cost-based Query Decompositions. Search on Bibsonomy SEBD The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres Answer Set Planning under Action Costs. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres The DLVK Planning System: Progress Report. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (eds.) Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch 0001, Simona Perri, Axel Polleres The DLV System. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone On ACTL Formulas Having Linear Counterexamples. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello The complexity of acyclic conjunctive queries. Search on Bibsonomy J. ACM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF LOGCFL, acyclic hypergraph, degree of cyclicity, hinge, join tree, qury-idth, algorithm, parallel algorithm, constraint, CSP, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, bounded treewidth, tree query
1Francesco Buccafurri, Wolfgang Faber 0001, Nicola Leone Disjunctive Logic Programs with Inheritance Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello Abduction with Penalization in Logic Programming Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello Census Data Repair: a Challenging Application of Disjunctive Logic Programming. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Hypertree Decompositions: A Survey. Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Christoph Koch 0001, Nicola Leone, Simona Perri, Gerald Pfeifer System Description: DLV. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer, Axel Polleres System Description: The DLVK Planning System. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Scarcello Improving ASP Instantiators by Join-Ordering Methods. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Optimizing the Computation of Heuristics for Answer Set Programming Systems. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. (PDF / PS) Search on Bibsonomy PODS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Scarcello Join Ordering Techniques for Knowledge Base Systems. Search on Bibsonomy SEBD The full citation details ... 2001 DBLP  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. Search on Bibsonomy SEBD The full citation details ... 2001 DBLP  BibTeX  RDF
1Thomas Eiter, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Scarcello Abduction with Penalization in Logic Programming. Search on Bibsonomy AI*IA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer Experimenting with Heuristics for Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Georg Gottlob, Nicola Leone, Francesco Scarcello A comparison of structural CSP decomposition methods. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Francesco Buccafurri, Nicola Leone, Pasquale Rullo Enhancing Disjunctive Datalog by Constraints. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF computational complexity, knowledge representation, deductive databases, Nonmonotonic reasoning, disjunctive datalog
Displaying result #101 - #200 of 272 (100 per page; Change: )
Pages: [<<][1][2][3][>>]
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