The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity

DOI10.1017/S0960129501003413zbMath0994.68139OpenAlexW2017668106MaRDI QIDQ4534180

Jacqueline Vauzeilles, Max I. Kanovich

Publication date: 13 October 2002

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129501003413

zbMATH Keywords

planning problemrobot systemsHorn linear logic

Mathematics Subject Classification ID

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

Related Items (7)

Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) ⋮ Non-normal modalities in variants of linear logic ⋮ A rewriting framework and logic for activities subject to regulations ⋮ Bounded memory Dolev-Yao adversaries in collaborative systems ⋮ Linear logic as a tool for planning under temporal uncertainty ⋮ Collaborative planning with confidentiality ⋮ On linear logic planning and concurrency

This page was built for publication: The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity