The problem of predestination: as a prelude to A. N. Prior's tense logic.
Per F. V. HaslePublished in: Synth. (2012)
Keyphrases
- modal logic
- prior knowledge
- real time
- classical logic
- logic programming
- information retrieval
- case study
- website
- predicate logic
- database
- prior information
- automated reasoning
- sound and complete axiomatization
- linear logic
- defeasible logic
- multi valued
- probability theory
- bayesian methods
- data sets
- maximum a posteriori
- markov random field
- query language
- artificial intelligence
- expert systems
- multi agent