scientific article

zbMath0749.68020MaRDI QIDQ4013773

Luís Moniz Pereira, José Júlio Alferes, Joaquim N. Aparício

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

3-valued logic programmingderivation proof proceduresextended stable model semantics

Mathematics Subject Classification ID

Database theory (68P15) Artificial intelligence (68T99) Logic programming (68N17)

Related Items

A Complexity Assessment for Queries Involving Sufficient and Necessary Causes, A unifying view for logic programming with non-monotonic reasoning, An abductive framework for extended logic programming, Explaining Preferences and Preferring Explanations, A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics, Soundness of abductive proof procedure with respect to constraint for non-ground abducibles