Search dblp for Publications

export results for "A logic programming approach to knowledge-state planning ???????? II0X0.05617932B90B4P-1022 The DLVK system."

 download as .bib file

a service of  Schloss Dagstuhl - Leibniz Center for Informatics