A Curious Dialogical Logic and its Composition Problem.
Sara L. UckelmanJesse AlamaAleks KnoksPublished in: J. Philos. Log. (2014)
Keyphrases
- modal logic
- logic programming
- real time
- multi valued
- digital circuits
- data mining
- expert systems
- probabilistic logic
- classical logic
- sound and complete axiomatization
- database
- music composition
- dynamic logic
- linear logic
- abductive reasoning
- automated reasoning
- temporal logic
- artificial intelligence
- machine learning
- real world