scientific article
From MaRDI portal
Publication:2721207
zbMath0963.03045MaRDI QIDQ2721207
No author found.
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)
Related Items (7)
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis ⋮ The Modal Logic of Equilibrium Models ⋮ Equilibrium logic ⋮ A qualitative temporal extension of here-and-there logic ⋮ Capturing equilibrium models in modal logic ⋮ Partial equilibrium logic ⋮ Quantified Equilibrium Logic and Foundations for Answer Set Programs
This page was built for publication:
