Login / Signup
On expressive rule-based logics.
Antti Kuusisto
Published in:
CoRR (2022)
Keyphrases
</>
expressive power
expert systems
modal logic
rule based systems
data driven
rule base
inference rules
classical logic
real time
information retrieval
decision making
image sequences
default logic
epistemic logic
proof theory