scientific article; zbMATH DE number 1946846
From MaRDI portal
Publication:4411130
zbMath1032.68115MaRDI QIDQ4411130
Jean-François Baget, Marie-Laure Mugnier
Publication date: 7 July 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (4)
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin ⋮ Restricted Chase Termination: A Hierarchical Approach and Experimentation ⋮ On rules with existential variables: walking the decidability line ⋮ Unnamed Item
This page was built for publication:
