A Logical Characterization of a Reactive System Language.
Robert A. KowalskiFariba SadriPublished in: RuleML (2014)
Keyphrases
- language learning
- logical language
- predicate calculus
- natural language
- specification language
- programming language
- language processing
- lambda calculus
- dynamic logic
- model theoretic
- agent architecture
- natural language processing
- information extraction
- information retrieval
- database
- object oriented programming
- computational linguistics
- representation language
- english language
- database systems
- case study