New Hybrid MKNF Knowledge Base Extends Logic Programming with Classical Negation

Researchers have developed an extension to Hybrid MKNF knowledge bases that incorporates classical negation into the rule component. This advancement addresses a key limitation of existing systems, which previously could not represent explicit negative knowledge, a crucial aspect for safety-critical applications. The new framework formally defines its syntax and semantics, and includes a procedure for computing its well-founded model. AI

RANK_REASON The cluster contains a single academic paper detailing a novel technical approach in a specific area of computer science. [lever_c_demoted from research: ic=1 ai=0.4]

Read on arXiv cs.AI →

• alphaXiv
• CatalyzeX Code Finder for Papers
• DagsHub
• description logic
• Electronic Proceedings in Theoretical Computer Science
• Gotit.pub
• Hugging Face
• logic programming
• MKNF Knowledge Bases in Multi-Context Systems
• ScienceCast

• paper
• other

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →