scientific article; zbMATH DE number 2000825

zbMath1026.68126MaRDI QIDQ4434175

No author found.

Publication date: 4 November 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

AI planningGOLOG systems

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Characterizing causal action theories and their implementations in answer set programming, Knowledge forgetting in propositional \(\mu\)-calculus, Computing sufficient and necessary conditions in CTL: a forgetting approach, Loop formulas for circumscription

Uses Software

• GOLOG
• Walksat