H ?
«
‹
←
→
›
»
Language peer sets for conGolog:
United States↑
United States/1994↑
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
conGolog(ID:2951/con027)
alternate simple view
Country: United States
Designed 1994
a logic-based control language for robots based on situation calculus and Golog
Related languages
References:
Lesperance, Yves; Levesque, Hector J.; Lin, F.; Ma (1995) Lesperance, Yves; Levesque, Hector J.; Lin, F.; Marcu, D.; Reiter, R.; Scherl. R. "Foundations of a Logical Approach to Agent Programming" in M. Wooldridge and N. R. Jennings (eds) Intelligent Agents II - Proceeding of the 1995 Workshop on Agent Theories, Architectures and Languages,1996.
Fan Xiaocong et al (1998) Fan Xiaocong et al "SPLAW: a computable language for agent-oriented programming" ACM pp61-69
DOI
Abstract
Extract:
Introduction
in [SIGPLAN] (1998) ACM SIGPLAN Notices 33(01) January 1998
Baier, Jorge; Pinto, Javier (1999) Baier, Jorge; Pinto, Javier "Integrating True Concurrency into the Robot Programming Language" p179
Abstract
Online copy
in [Proceedings] (1999) 19th International Conference of the Chilean Computer Science Society November 11 - 13, 1999 Talca, Chile
Grosskreutz, H. (1999) Grosskreutz, H. "Probabilistic temporal projections in congolog"
in Proc. (1999) Proc. of the IJCAI'99 Workshop on Robot Action Planning. 1999
Lesperance, Y.; Kelley, T.G.; Mylopoulos, J. and E (1999) Lesperance, Y.; Kelley, T.G.; Mylopoulos, J. and E. Yu. "Modeling dynamic domains with congolog"
in [Proceedings] (1999) Proceedings of CAISE'99, 1999
Baral, Chitta and Son, Tran Cao (2000) Baral, Chitta and Son, Tran Cao "Extending ConGolog to allow partial ordering"
in Jennings N.R. (1999) Jennings N.R. and Lesperance, Y. (eds), Intelligent Agents VI --- Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence. Springer-Verlag, Berlin, 2000
Barbosa, Fernanda and Cunha, José C. (2000) Barbosa, Fernanda and Cunha, José C. "A coordination language for collective agent based systems: GroupLog" pp189-195
Extract:
Extensions to GHC
Extract:
GroupLog and other work
in [ACM] (2000) Proceedings of the 2000 ACM Symposium on Applied computing SAC'2000 Villa Olmo, Como, Italy
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|