scientific article; zbMATH DE number 2000818
From MaRDI portal
Publication:4434167
zbMath1026.68124MaRDI QIDQ4434167
Axel Polleres, Thomas Eiter, Wolfgang Faber, Gerald Pfeifer, Nicola Leone
Publication date: 4 November 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Answer set based design of knowledge systems ⋮ Heuristics for planning with penalties and rewards formulated in logic and computed through circuits ⋮ Proof systems for planning under 0-approximation semantics ⋮ Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs ⋮ Domain-Independent Cost-Optimal Planning in ASP ⋮ Learning efficient logic programs ⋮ Specifying and computing preferred plans ⋮ The consequences of eliminating NP solutions ⋮ Logic programs with abstract constraint atoms: the role of computations
This page was built for publication:
