Coordination of Subject Markers in Arabic and Typed Categorial Logic.
Adel JebaliIsmaïl BiskriLouisette EmirkanianPublished in: Canadian Conference on AI (2010)
Keyphrases
- lambda calculus
- higher order
- modal logic
- information sharing
- multi agent
- logic programming
- classical logic
- cooperative
- multi agent systems
- deontic logic
- epistemic logic
- sound and complete axiomatization
- language identification
- morphological analysis
- logical framework
- multiple agents
- multiagent systems
- programming language