Pages that link to "Item:Q1891263"

From MaRDI portal

← A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263)

Jump to:navigation, search

The following pages link to A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263):

Displaying 2 items.

Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
A uniform tableaux method for nonmonotonic modal logics (Q5235255) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"