scientific article; zbMATH DE number 2090546

MaRDI QIDQ4812982zbMATH OpenFDO

Authors Shilong Ma, Yuefei Sui, Ke Xu

Publication date 12 August 2004

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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4160108
• Semantics of Horn and disjunctive logic programs
• Complexities of Horn description logics
• scientific article; zbMATH DE number 1841812
• Publication:4944895
• Near-Horn prolog and beyond
• Semantical and computational aspects of Horn approximations
• scientific article; zbMATH DE number 4125378
• scientific article; zbMATH DE number 193539
• scientific article; zbMATH DE number 4009854

Cited in

(10)

• Case-free programs: An abstraction of definite horn programs
• Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow
• scientific article; zbMATH DE number 193539 (Why is no real title available?)
• scientific article; zbMATH DE number 1841812 (Why is no real title available?)
• Smallest horn clause programs
• scientific article; zbMATH DE number 4160108 (Why is no real title available?)
• Extending Horn clause logic with implication goals
• Truth in the limit
• Decidable subsets of open logic and an algorithm for R-calculus
• On Bounded Database Schemes and Bounded Horn-Clause 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 Q4812982)