Languages of logic and their applications.
Katalin Pásztor-VargaMagda VárterészPublished in: Comput. Math. Appl. (2008)
Keyphrases
- modal logic
- formal language
- expressive power
- classical logic
- logic programming
- artificial intelligence
- language independent
- description languages
- multi valued
- neural network
- cross lingual
- databases
- set theory
- propositional variables
- asynchronous circuits
- language identification
- computational properties
- automated reasoning
- probability theory
- text summarization