scientific article; zbMATH DE number 1149406
From MaRDI portal
Publication:4386925
zbMath0900.68399MaRDI QIDQ4386925
Publication date: 11 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Reasoning with minimal models: efficient algorithms and applications ⋮ An incremental algorithm for generating all minimal models ⋮ Specifying causality in action theories: A default logic approach ⋮ Graph-based construction of minimal models ⋮ Backdoors to tractable answer set programming
This page was built for publication:
