scientific article; zbMATH DE number 1453054

MaRDI QIDQ4955327zbMATH OpenFDO

Authors Douglas Cenzer, Amy Vanderbilt, Jeffrey Remmel

Publication date 25 May 2000

zbMATH Keywords

recursive propositional logic program

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Locally determined logic programs and recursive stable models
• scientific article; zbMATH DE number 1341465
• Local computation in linear logic
• Local possibilistic logic
• scientific article; zbMATH DE number 522843
• Propositional dynamic logic with local assignments
• Embedding Logics in the Local Computation Framework
• Logic Programming
• Declarative local search for predicate logic
• Deducing Logic Programs

Cited in

(12)

• My work with Victor Marek: a mathematician looks at answer set programming
• How complicated is the set of stable models of a recursive logic program?
• Testing logic programs for local stratification
• Locally determined logic programs and recursive stable models
• LoCo—A Logic for Configuration Problems
• scientific article; zbMATH DE number 1341465 (Why is no real title available?)
• scientific article; zbMATH DE number 522843 (Why is no real title available?)
• Local computation in linear logic
• The Stable Models of a Predicate Logic Program
• On the complexity of index sets for finite predicate logic programs which allow function symbols
• An Algorithm for Local Variable Elimination in Normal Logic Programs
• Reasoning with infinite stable models

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 Q4955327)