Francesco Scarcello

Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31, 2005

2004

Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation.

[BibT_eX]

[DOI]

V. S. Subrahmanian

IEEE Trans. Knowl. Data Eng., 2004

On Weighted Hypertree Decompositions.

[BibT_eX]

Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004

Event choice datalog: a logic programming language for reasoning in multiple dimensions.

[BibT_eX]

[DOI]

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

BackJumping techniques for rules instantiation in the DLV system.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Constrained Pure Nash Equilibria in Graphical Games.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2003

Non-Binary Constraints and Optimal Dual-Graph Representations.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Advanced Backjumping Techniques for Rule Instantiations.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Computing LOGCFL certificates.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Hypertree Decompositions and Tractable Queries.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2002

Fixed-parameter complexity in AI and nonmonotonic reasoning.

[BibT_eX]

[DOI]

Martha Sideri

Artif. Intell., 2002

Cost-based Query Decompositions.

[BibT_eX]

Alfredo Mazzitelli

Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

2001

The complexity of acyclic conjunctive queries.

[BibT_eX]

[DOI]

J. ACM, 2001

Abduction with Penalization in Logic Programming

[BibT_eX]

[DOI]

CoRR, 2001

Join Ordering Techniques for Knowledge Base Systems.

[BibT_eX]

Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001

Hypertree Decompositions: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2001, 2001

Improving ASP Instantiators by Join-Ordering Methods.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Census Data Repair: a Challenging Application of Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Enrico Franconi

Antonio Laureti Palma

Proceedings of the Logic for Programming, 2001

Abduction with Penalization in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000

A comparison of structural CSP decomposition methods.

[BibT_eX]

[DOI]

Artif. Intell., 2000

Semantical and computational aspects of Horn approximations.

[BibT_eX]

[DOI]

Marco Cadoli

Artif. Intell., 2000

1999

On the Complexity of Some Inductive Logic Programming Problems.

[BibT_eX]

[DOI]

New Gener. Comput., 1999

Propositional lower bounds: Algorithms and complexity.

[BibT_eX]

[DOI]

Marco Cadoli

Luigi Palopoli

Ann. Math. Artif. Intell., 1999

On Tractable Queries and Constraints.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999

1998

The KR System dlv: Progress Report, Comparisons and Benchmarks.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Propositional Lower Bounds: Generalization and Algorithms.

[BibT_eX]

[DOI]

Marco Cadoli

Luigi Palopoli

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Progress Report on the Disjunctive Deductive Database System <tt>dlv</tt>.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

1997

Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation.

[BibT_eX]

[DOI]

Pasquale Rullo

Inf. Comput., 1997

The dlv System: Model Generator and Advanced Frontends (system description).

[BibT_eX]

Proceedings of the Twelfth Workshop Logic Programming, 1997

A Deductive System for Non-Monotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

DATALOG with Nested Rules.

[BibT_eX]

[DOI]

Sergio Greco

Proceedings of the Logic Programming and Knowledge Representation, 1997

The Architecture of a Disjunctive Deductive Database System.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

On the Expressive Power of Ordered Logic.

[BibT_eX]

[DOI]

Francesco Buccafurri

AI Commun., 1996

Stable Model Checking for Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Pasquale Rullo

Proceedings of the Logic in Databases, 1996

On the Computation of Disjunctive Stable Models.

[BibT_eX]

[DOI]

Pasquale Rullo

Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996

1995

Declarative and Fixpoint Characterizations of Disjunctive Stable Models.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

Curbing Theories: Fixpoint Semantics and Complexity Issues.

[BibT_eX]

Luigi Palopoli

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1993

Calcolo del Modello Well-Founded di Programmi Datalog.

[BibT_eX]