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