title
Linear logic programming for AI planning
Master thesis
author
Küngas, P.
keywords
linear logic
deductive AI planning
logic programming languages
theorem proving
Petri nets
abstraction
description
Research Report CS 106/02
publishing year
2002
identifier
http://digi.lib.ttu.ee/i/?11975
language
eng
rights
http://rightsstatements.org/vocab/InC-EDU/1.0/
institution
Eesti Teaduste Akadeemia Küberneetika Instituut
Institute of Cybernetics of the Estonian Academy of Sciences