scientific article; zbMATH DE number 1890620
From MaRDI portal
zbMath1010.68533MaRDI QIDQ4800163
Wolfgang Faber, Gerald Pfeifer, Nicola Leone
Publication date: 2 April 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items
Answer set programming based on propositional satisfiability, On look-ahead heuristics in disjunctive logic programming, Extending and implementing the stable model semantics