scientific article; zbMATH DE number 1319354
From MaRDI portal
Publication:4256671
zbMath0919.00027MaRDI QIDQ4256671
No author found.
Publication date: 2 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (8)
Answer set programming based on propositional satisfiability ⋮ Guarantees and limits of preprocessing in constraint satisfaction and reasoning ⋮ On the Coincidence of Semantics for Uniquely Determined Programs ⋮ Syntactic ASP forgetting with forks ⋮ Model reconciliation in logic programs ⋮ Preface ⋮ On the relation among answer set solvers ⋮ Some (in)translatability results for normal logic programs and propositional theories
This page was built for publication:
