scientific article; zbMATH DE number 2090546

zbMATH Open1045.68597MaRDI QIDQ4812982

Shilong Ma, Ke Xu, Yuefei Sui

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

Mathematics Subject Classification ID

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

Related Items (9)

Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow ⋮ On Bounded Database Schemes and Bounded Horn-Clause Programs ⋮ Title not available (Why is that?) ⋮ Extending Horn clause logic with implication goals ⋮ Case-free programs: An abstraction of definite horn programs ⋮ Decidable subsets of open logic and an algorithm for R-calculus ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Smallest horn clause programs

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Near-Horn prolog and beyond 👍 👎
• Semantics of Horn and disjunctive logic programs 👍 👎
• Semantical and computational aspects of Horn approximations 👍 👎
• Complexities of Horn Description Logics 👍 👎

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)