Login / Signup
Incremental Tabling in Support of Knowledge Representation and Reasoning.
Terrance Swift
Published in:
Theory Pract. Log. Program. (2014)
Keyphrases
</>
knowledge representation and reasoning
logic programming
artificial intelligence
knowledge representation
description logics
reasoning systems
machine learning
logic programs
structured knowledge
incomplete information
objective function
defeasible logic