Logic programming for finding models in the logics of knowledge and its applications: A case study
BARAL, C., GELFOND, G., PONTELLI, E., SON, T.
Published in Theory and practice of logic programming (01.07.2010)
Published in Theory and practice of logic programming (01.07.2010)
Get full text
Journal Article