PDT Logic for Stream Reasoning in Multi-agent Systems.
Karsten MartinyRalf MöllerPublished in: SCSS (2014)
Keyphrases
- multi agent systems
- computational logic
- logical framework
- coalition logic
- proof theory
- automated reasoning
- intuitionistic logic
- order of magnitude reasoning
- deductive reasoning
- normative systems
- logic programming
- computational properties
- proof theoretic
- logical inference
- reasoning engine
- human reasoning
- reasoning tasks
- probabilistic logic
- data streams
- logical rules
- commonsense reasoning
- epistemic logic
- modal logic
- classical logic
- cognitive agents
- reasoning about actions
- abductive reasoning
- agent architecture
- autonomous agents
- knowledge representation
- real time
- horn logic
- multi agent
- sliding window
- reasoning systems
- predicate logic
- intelligent agents
- proof procedure
- agent systems
- cooperative
- causal reasoning
- knowledge representation and reasoning
- truth maintenance systems
- multi valued
- game theory
- inference rules
- reasoning process
- temporal reasoning
- probabilistic reasoning
- knowledge representation formalisms
- default reasoning
- linear logic
- deontic logic
- distributed problem solving