scientific article; zbMATH DE number 2090537

zbMATH Open1045.68508MaRDI QIDQ4812969FDOQ4812969

Authors: P. A. Bonatti 

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010333.htm

Title of this publication is not available (Why is that?)

Recommendations

• Reasoning with infinite stable models
• On finitely recursive programs
• On Finitely Recursive Programs
• scientific article; zbMATH DE number 25192
• Expressiveness of logic programs under the general stable model semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (15)

• Domain expansion for ASP-programs with external sources
• One More Decidable Class of Finitely Ground Programs
• Computable Functions in ASP: Theory and Implementation
• Stable classes and operator pairs for disjunctive programs
• Reasoning with infinite stable models
• Ordered completion for first-order logic programs on finite structures
• A decidable subclass of finitary programs
• Implementing Prioritized Circumscription by Computing Disjunctive Stable Models
• On Finitely Recursive Programs
• Bottom-up computation of perfect models for disjunctive theories
• On finitely recursive programs
• Embedding functions into disjunctive logic programs
• Erratum to: ``Reasoning with infinite stable models
• Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
• Embedding functions into disjunctive logic programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4812969)