Computer Science Logic
From MaRDI portal
Publication:5292643
DOI10.1007/b13224zbMath1116.68593MaRDI QIDQ5292643
Jacqueline Vauzeilles, Max I. Kanovich
Publication date: 21 June 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b13224
68T27: Logic in artificial intelligence
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
On linear logic planning and concurrency, Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)