scientific article

From MaRDI portal

Revision as of 22:24, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3493303

Jump to:navigation, search

zbMath0709.68083MaRDI QIDQ3493303

Héctor Geffner

Publication date: 1989

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

zbMATH Keywords

logic programming knowledge base default reasoning abductive reasoning model 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 (4)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3493303&oldid=16839993"