Login / Signup
Parameterized Logical Theories.
Fangzhen Lin
Published in:
AAAI (2021)
Keyphrases
</>
logical theories
situation calculus
inductive logic programming
belief revision
propositional logic
uncertain databases
reasoning about actions
expert systems
domain knowledge
uncertain information