Rapid Text-Based Authoring of Defeasible Higher-Order Logic Formulas, via Textual Logic and Rulelog - (Summary of Invited Talk).
Benjamin N. GrosofPublished in: RuleML (2013)
Keyphrases
- higher order logic
- invited talk
- higher order
- conditional logic
- theorem prover
- logical framework
- textual features
- multimedia
- defeasible logic
- knowledge discovery and data mining
- nonmonotonic reasoning
- selected papers
- default reasoning
- default logic
- modal logic
- deontic logic
- inference rules
- program committee
- information retrieval
- reasoning tasks
- e learning
- theorem proving
- automated reasoning
- argumentation frameworks
- belief revision
- logic programming
- pairwise