The co-occurrence test for non-monotonic inference

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.2016.01.012

View full text

>> Full Text:   The co-occurrence test for non-monotonic inference

Parameterised verification for multi-agent systems

Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction p