scientific article; zbMATH DE number 2090546

zbMATH Open1045.68597MaRDI QIDQ4812982FDOQ4812982

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

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

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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Smallest horn clause programs
• Title not available (Why is that?)
• 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)