A Generalization of ACP Using Belnap's Logic.
Alban PonseMark van der ZwaagPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- logic programming
- modal logic
- logical framework
- predicate logic
- feature selection
- linear temporal logic
- logic programs
- multi valued
- propositional dynamic logic
- databases
- epistemic logic
- digital circuits
- probabilistic logic
- probability theory
- model checking
- information systems
- genetic algorithm
- information retrieval
- data mining