Login / Signup
A Linear Logical Framework in Hybrid (Invited Talk).
Amy P. Felty
Published in:
FSCD (2019)
Keyphrases
</>
logical framework
invited talk
inference rules
belief revision
knowledge discovery and data mining
reasoning tasks
selected papers
linear logic
artificial intelligence
expert systems
logic programming
qualitative and quantitative
temporal reasoning