Sign in
Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates.
Timm Lampert
Anderson Nakano
Published in:
IJCAR (1) (2020)
Keyphrases
</>
binary relations
inference rules
graph theoretic
data structure
semantic network
artificial intelligence
decision making