Some Arguments for Coordination in Categorial Grammar and Combinatory Logic.
Ismaïl BiskriBoucif Amar BensaberPublished in: FLAIRS Conference (2005)
Keyphrases
- grammar induction
- natural language
- proof procedures
- multi agent
- multiagent systems
- modal logic
- formal language
- context free grammars
- logic programming
- language processing
- asynchronous circuits
- cooperative
- distributed agents
- multi agent systems
- predicate logic
- classical logic
- automated reasoning
- broad coverage
- proof theory
- multi valued
- coordination mechanism
- logic based argumentation
- knowledge base
- grammatical inference
- graph grammars
- argumentation systems
- linguistic knowledge
- multi agent reinforcement learning
- abstract argumentation frameworks
- tree grammars