Mutual Belief Logic for Processing Definite Reference.
Luis Fariñas del CerroSaid SoulhiPublished in: Natural Language Understanding and Natural Language Understanding Workshop (1984)
Keyphrases
- real time
- automated reasoning
- modal logic
- logic programming
- temporal logic
- proof theory
- truth values
- multi valued
- expert systems
- information systems
- search engine
- neural network
- data sets
- data processing
- knowledge base
- computational power
- probability theory
- information retrieval
- computational properties
- predicate logic
- modal operators