SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 1, 2002, Pages 721-728

ViP: A visual programming language for plan execution systems

(1) Kinny, David a

a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER ARCHITECTURE; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

PLAN EXECUTION SYSTEMS;

INTELLIGENT AGENTS;

EID: 0036362515 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper

Times cited : (12)

References (15)

1
- 0000029077
- Rewrite systems
- J. van Leeuwen, editor. MIT Press/Elsevier
- (1990) Handbook of Theoretical Computer Science , vol.B , pp. 243-320
- Dershowitz, N.¹ Jouannaud, J.-P.²

2
- 0000384402
- A formal specification of dMARS
- Providence, RI Springer LNAI 1365
- (1997) Intelligent Agents IV: Proceedings of ATAL-97
- D'Inverno, M.¹ Kinny, D.² Luck, M.³ Wooldridge, M.⁴

3
- 85159749045
- Technical Report 48, Australian Artificial Intelligence Institute, Melbourne, Australia
- (1993) Operational evaluation of PRS in monitoring space systems
- Georgeff, M.¹ Kinny, D.² Rönnquist, R.³ Lee, J.⁴

4
- 0002806536
- Decision-making in an embedded reasoning system
- Detroit, MI
- (1989) Proceedings of IJCAI-89
- Georgeff, M.P.¹ Ingrand, F.²

5
- 0022796312
- Procedural knowledge
- (1986) Proceedings of the IEEE Special Issue on Knowledge Representation , vol.74 , pp. 1383-1398
- Georgeff, M.P.¹ Lansky, A.L.²

6
- 84976769596
- On statecharts with overlapping
- (1992) ACM Transactions on Software Engineering and Methodology , vol.1 , Issue.4
- Harel, D.¹ Kahana, C.²

7
- 84865065695
- Thinking quickly: Agents for modeling air warfare
- (1998) Australian Joint Conference on Artificial Intelligence , pp. 47-58
- Heinze, C.¹ Smith, B.² Cross, M.³

8
- 0003987308
- Australian Artificial Intelligence Institute, Melbourne, Australia
- (1993) The Distributed Multi-Agent Reasoning System Architecture and Language Specification
- Kinny, D.¹

9
- 0010248234
- A framework for multi-agent systems development
- Hong Kong
- (1999) Proceedings of Intelligent Agent Technology: Systems, Methodologies and Tools , pp. 18-27
- Kinny, D.¹

10
- 0010220974
- PhD thesis, Department of Computer Science, University of Melbourne, Australia
- (2001) Fundamentals of Agent Computation Theory: Semantics
- Kinny, D.¹

11
- 85159746080
- The ψ calculus: An algebraic agent language
- Seattle, WA. Springer
- (2001) Intelligent Agents VIII: Proceedings of ATAL-01
- Kinny, D.¹

12
- 0012874702
- Modelling and design of multi-agent systems
- Budapest. Springer LNAI 1193
- (1996) Intelligent Agents III: Proceedings of ATAL-96
- Kinny, D.¹ Georgeff, M.²

13
- 0003799504
- Springer
- (1992) The Temporal Logic of Reactive and Concurrent Systems
- Manna, Z.¹ Pnueli, A.²

14
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoretical Computer Science , vol.96 , Issue.1 , pp. 73-155
- Meseguer, J.¹

15
- 0002986957
- AgentSpeak(L): BDI agents speak out in a logical computable language
- Eindhoven, The Netherlands. Springer LNAI 1038
- (1996) Agents Breaking Away: Proceedings of MAAMAW '96
- Rao, A.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.