scientific article

zbMath0713.68057MaRDI QIDQ3198883

Michael Kifer, T. Krishnaprasad

Publication date: 1989

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

zbMATH Keywords

logic programmingmultivalued logicsnon-monotonic multiple inheritance networks

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Resolving ambiguity in nonmonotonic inheritance hierarchies, A theory of nonmonotonic inheritance based on annotated logic, A semantical framework for supporting subjective and conditional probabilities in deductive databases