scientific article; zbMATH DE number 770147
From MaRDI portal
Publication:4837944
zbMath0826.68114MaRDI QIDQ4837944
Torsten Schaub, Philippe Besnard
Publication date: 20 November 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Active logic semantics for a single agent in a static world ⋮ Consistency defaults ⋮ Prolog technology for default reasoning: proof theory and compilation techniques
This page was built for publication:
