scientific article

From MaRDI portal

Publication:3818294

Jump to:navigation, search

zbMath0666.03010MaRDI QIDQ3818294

Pierre Siegel, Philippe Besnard

Publication date: 1988

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

zbMATH Keywords

nonmonotonic logic automated reasoning nonmonotonic reasoning supposition language supposition theories

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Mechanization of proofs and logical operations (03B35)

Related Items (4)

Tableau-based characterization and theorem proving for default logic ⋮ Modal logic based theory for non-monotonic reasoning ⋮ Graded hypothesis theories ⋮ More on bounding introspection in modal nonmonotonic logics

This page was built for publication:

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