On the complexity of the partner units decision problem

Author:

Publication: Artificial Intelligence

CITE.CC academic search helps you expand the influence of your papers.

Tags: AI

Abstract

Cite this article

https://doi.org/10.1016/j.artint.2017.04.002

View full text

>> Full Text: On the complexity of the partner units decision problem

On the logical properties of the nonmonotonic description logic DLN

From model checking to equilibrium checking: Reactive modules for rational verification