The following pages link to Logics in Artificial Intelligence (Q5394153):
Displaying 4 items.
- Completeness of hyper-resolution via the semantics of disjunctive logic programs (Q1041788) (← links)
- Near-Horn Prolog and the ancestry family of procedures (Q1924724) (← links)
- On semantics and proof theory of disjunctive logic programs with classical negation (Q2718191) (← links)
- (Q5480638) (← links)