logic programming
PulseAugur coverage of logic programming — every cluster mentioning logic programming across labs, papers, and developer communities, ranked by signal.
-
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 coul…
-
LLM assists in formal proof of sqrt(2) irrationality
Researchers have explored the use of a Large Language Model (LLM) in conjunction with a Logic Program Theorem Prover (LPTP) to formally prove the irrationality of the square root of 2. The process involved defining basi…
-
New semantics for description logic programs improve complexity and characterization
Researchers have introduced a novel semantics for description logic programs, aiming to address limitations in existing well-supported semantics. The new approach offers improved computational complexity for consistency…