Logics in Artificial Intelligence

DOI10.1007/b100483zbMath1111.68660OpenAlexW335252711MaRDI QIDQ5394133

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä

Publication date: 25 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100483

Mathematics Subject Classification ID

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

Related Items (7)

Gearing Up for Effective ASP Planning ⋮ Using Satisfiability for Non-optimal Temporal Planning ⋮ Planning as satisfiability: heuristics ⋮ SAT Modulo Graphs: Acyclicity ⋮ Planning as satisfiability: parallel plans and algorithms for plan search ⋮ Robust planning with incomplete domain models ⋮ Programming for modular reconfigurable robots

Uses Software

• Walksat
• Graphplan

This page was built for publication: Logics in Artificial Intelligence