Annotated Constraint Logic Programming Applied to Temporal Reasoning - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Thom W. Frühwirth. Annotated Constraint Logic Programming Applied to Temporal Reasoning. In Manuel V. Hermenegildo, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings. Volume 844 of Lecture Notes in Computer Science, pages 230-243, Springer, 1994.

The following publications are possibly variants of this publication:

Temporal Annotated Constraint Logic ProgrammingThom W. Frühwirth. JSC, 22(5/6):555-583, 1996.

Temporal Logic and Annotated Constraint Logic ProgrammingThom W. Frühwirth. IJCAI 1995: 58-68

Spatio-temporal Annotated Constraint Logic ProgrammingAlessandra Raffaetà, Thom W. Frühwirth. PADL 2001: 259-273 [doi]

runs on WebDSL