Improvement of message communication in concurrent logic language.
Kazuhiko OhnoMasahiko IkawaShin-ichiro MoriHiroshi NakashimaShinji TomitaMasahiro GoshimaPublished in: PASCO (1997)
Keyphrases
- concurrent programming
- message transmission
- programming language
- communication channels
- proof theory
- concurrent programs
- formal language
- agent communication
- agent communication language
- operational semantics
- intuitionistic logic
- agent programming
- dynamic logic
- specification language
- language learning
- predicate logic
- formal logic
- communication systems
- human communication
- defeasible logic
- logic programming
- lambda calculus
- communication networks
- predicate calculus
- conditional logic
- communication cost
- linear logic
- modal logic
- formal semantics
- distributed databases
- classical logic
- significant improvement
- natural language
- fixed point semantics
- order sorted