An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper).
Alexander SteenPublished in: PAAR@IJCAR (2022)
Keyphrases
- lightweight
- horn logic
- proof theory
- automated reasoning
- computational properties
- intuitionistic logic
- human reasoning
- order of magnitude reasoning
- reasoning about actions
- dos attacks
- logical framework
- probabilistic logic
- data model
- reasoning engine
- logical inference
- deductive reasoning
- handheld devices
- development environments
- rfid tags
- modal logic
- logic programming
- proof procedure
- knowledge base
- classical logic
- proof theoretic
- knowledge representation
- wireless sensor networks
- mobile devices