A progression semantics for first-order logic programs

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2017.06.001

View full text

>> Full Text: A progression semantics for first-order logic programs

WPM3: An (in)complete algorithm for weighted partial MaxSAT

Understanding the complexity of axiom pinpointing in lightweight description logics