Logic programming for finding models in the logics of knowledge and its applications: A case study

Chitta Baral, G. Gelfond, E. Pontelli, T. Son

Research output: Contribution to journalArticlepeer-review

8 Scopus citations

Fingerprint

Dive into the research topics of 'Logic programming for finding models in the logics of knowledge and its applications: A case study'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science