scientific article

zbMath0709.68083MaRDI QIDQ3493303

Héctor Geffner

Publication date: 1989

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

zbMATH Keywords

logic programmingknowledge basedefault reasoningabductive reasoningmodel semantics

Mathematics Subject Classification ID

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

Related Items

Deontic logic as founded on nonmonotonic logic, On the equivalence of upward and downward inheritance reasoners, Stable and extension class theory for logic programs and default logics, Netl and subsequent path-based inheritance theories