scientific article; zbMATH DE number 512816

zbMATH Open0799.68089MaRDI QIDQ4281509

Thomas Eiter, Georg Gottlob

Publication date: 13 November 1994

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

zbMATH Keywords

nonmonotonic reasoningcomputational complexity of abductionlogic- based abduction

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Related Items (5)

Let Us investigate! Dynamic conjecture-making as the formal logic of abduction ⋮ Complexity results for abductive logic programming ⋮ Unnamed Item ⋮ Counting complexity of propositional abduction ⋮ Tractable reasoning via approximation

This page was built for publication: