I do declare: consensus in a logic language.
Peter AlvaroTyson CondieNeil ConwayJoseph M. HellersteinRussell SearsPublished in: ACM SIGOPS Oper. Syst. Rev. (2009)
Keyphrases
- logic programming
- intuitionistic logic
- language learning
- natural language
- modal operators
- dynamic logic
- logic programming language
- highly expressive
- programming language
- agent programming
- formal language
- conditional logic
- order sorted
- classical logic
- modal logic
- proof theory
- predicate logic
- computational linguistics
- predicate calculus
- asynchronous circuits
- operational semantics
- linear temporal logic
- lambda calculus
- conceptual graphs
- programs written
- target language
- language processing
- mathematical theory
- clustering algorithm
- functional programs
- artificial intelligence
- fixed point semantics
- neural network