scientific article
From MaRDI portal
Publication:2767097
zbMath0983.03024MaRDI QIDQ2767097
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Logic programming (68N17)
Related Items (9)
Connecting First-Order ASP and the Logic FO(ID) through Reducts ⋮ Obligation as optimal goal satisfaction ⋮ Semantics of templates in a compositional framework for building logics ⋮ What is answer set programming to propositional satisfiability ⋮ Stepwise debugging of answer-set programs ⋮ Automata and Answer Set Programming ⋮ Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages ⋮ Inductive situation calculus ⋮ Set based logic programming
This page was built for publication:
