scientific article

zbMath1219.68142MaRDI QIDQ3007257

Dana Nau, Jürgen Dix, Ugur Kuter

Publication date: 21 June 2011

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

zbMATH Keywords

logic programmingnonmonotonic logic programsanswer set programming (ASP)ASP semanticsDLVhierarchical task-network (HTN) planning problemsSHOP planning systemSmodels

Mathematics Subject Classification ID

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

Related Items (1)

Model checking multi-agent systems with logic based Petri nets

Uses Software

• XSB

This page was built for publication: