( en | de | ru )

 

Disambiguation of "Clark, Keith"

Author of the publication

copydeleteadd this publication to your clipboard
Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs.

, , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 265-280. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Caren Christine Keith

Jon Franz Keith

Clark Gorsler

Susanne Clark

Harald Keith

 

Other publications of authors with the same name

April: A Language for Building Intelligent Distributed Information Retrieval Systems.. CIKM Information Agents Workshop, page 31:1-31:2. (1995)SAGE: A Logical Agent-Based Environment Monitoring and Control System., , , and . AmI, volume 5859 of Lecture Notes in Computer Science, page 112-117. Springer, (2009)And Agent Based Electronic Program Guide, and . Proceedings of the 2nd Workshop on Personalization in Future TV, (2002)Temporal Logic Semantics for Teleo-Reactive Robotic Agent Programs., , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 265-280. Springer, (2019)Loading CSS without blocking render. (2015)Rule Control of Teleo-Reactive, Multi-tasking, Communicating Robotic Agents.. ICINCO (1), page 5-15. SciTePress, (2018)Content-Based Routing as the Basis for Intra-Agent Communication, and . Proceedings of the 5th International Workshop on Intelligent Agents V : Agent Theories, Architectures, and Languages (ATAL-98), volume 1555 of LNAI, page 345--362. Berlin, Springer, (1999)Negation as Failure.. Logic and Data Bases, page 293-322. New York, Plemum Press, (1977)Robotic agent programming in TeleoR., and . ICRA, page 5040-5047. IEEE, (2015)Multi-threading and Message Communication in Qu-Prolog., , and . Theory Pract. Log. Program., 1 (3): 283-301 (2001)