SAT for Epistemic Logic Using Belief Bases - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emiliano Lorini, Fabián Romero. SAT for Epistemic Logic Using Belief Bases. In Louise A. Dennis, Rafael H. Bordini, Yves Lespérance, editors, Engineering Multi-Agent Systems - 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13-14, 2019, Revised Selected Papers. Volume 12058 of Lecture Notes in Computer Science, pages 235-245, Springer, 2019. [doi]

This author has not been identified. Look up 'Emiliano Lorini' in GoogleThis author has not been identified. Look up 'Fabián Romero' in Google

runs on WebDSL