Agent-Oriented Programming in Linear Logic: An Example.
Abdullah-Al AminMichael WinikoffJames HarlandPublished in: PRICAI (2000)
Keyphrases
- linear logic
- agent oriented programming
- multi agent systems
- rapid prototyping
- fixed point
- desirable properties
- logical framework
- logic programming
- cut elimination
- agent oriented programming language
- proof theoretic
- sequent calculus
- ontology reasoning
- intuitionistic logic
- proof search
- machine learning
- development environment
- markov random field
- image segmentation