Login / Signup
True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.
Jean-Marc Andreoli
Lone Leth Thomsen
Remo Pareschi
Bent Thomsen
Published in:
TAPSOFT (1993)
Keyphrases
</>
logic programming language
logic programming
constraint logic programming
inference rules
declarative semantics
situation calculus
logic programs
answer set programming
concurrent programming
formal semantics
machine learning
video sequences
programming language
deductive databases
answer sets
constraint solving