TDG Scholar TDGScholar Committed to research! Version 1.7

Bibliography

| Report | Share
A total of 59 records were found in 0.297 seconds
Formalizing Complex Task Libraries in Golog
ECAI, 755-756, 2006
From Functional Specifications to Logic Programms
ILPS, 355-369, 1997
Value Minimization in Circumscription
KR, 474-481, 1996