Keyphrases
- logic programming
- modal logic
- asynchronous circuits
- multi valued
- real time
- classical logic
- computational properties
- defeasible logic
- probabilistic logic
- propositional dynamic logic
- dynamic logic
- formal theory
- predicate logic
- formal language
- web services
- knowledge base
- social networks
- search engine
- learning algorithm
- information retrieval