Impact Logic: Reasoning with resources and losses.
Matteo CristaniFrancesco OlivieriLuca PasettoClaudio TomazzoliTewabe Chekole WorknehPublished in: KES (2022)
Keyphrases
- proof theory
- automated reasoning
- deductive reasoning
- computational properties
- logical framework
- order of magnitude reasoning
- proof theoretic
- intuitionistic logic
- probabilistic logic
- knowledge representation formalisms
- logical inference
- human reasoning
- resource allocation
- causal reasoning
- commonsense reasoning
- classical logic
- reasoning systems
- qualitative reasoning
- multi valued
- logical rules
- reasoning engine
- learning resources
- modal logic
- information resources
- internet enabled
- resource management
- nonmonotonic inference
- web resources
- reasoning about actions
- horn logic
- bayesian networks
- logic programming
- description logics
- derivation rules
- knowledge representation
- gathering information
- situation calculus
- linear logic
- probabilistic reasoning
- knowledge representation and reasoning
- limited resources
- probability theory