Login / Signup
A linear logical framework in hybrid (invited talk).
Amy P. Felty
Published in:
CPP (2019)
Keyphrases
</>
logical framework
invited talk
inference rules
belief revision
reasoning tasks
linear logic
selected papers
knowledge discovery and data mining
databases
information technology
case based reasoning
software engineering
general purpose
description logics
program committee