David J. Robinson, 1st Lieutenant, Usaf Afit/Gcs/Eng/00M-22 Department Of The ...  Home/Search
Context Related
| ksu.edu/~sdeloach/ai/../...robinson.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ksu.edu/~sdeloach/ai/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Air Force, as well as all of industry, is currently faced with the problem of having to produce larger and more complex software systems that run efficiently and reliably as well as being extensible and maintainable. This research addresses this problem by developing a knowledge representation language that can be used to unambiguously specify and design software systems in a verifiable, efficient, and understandable manner. The language is a combination of object-oriented and... (Update)
Cited by: More
Agents Are Not Part of the Problem, Agents Can Solve - Weyns, Helleboogh.. (2004) (Correct)
Agents Are Not Part of the Problem, Agents Can Solve.. - Weyns, Helleboogh.. (Correct)
Active bibliography (related documents): More All
0.5: Computational Logic in Multi-Agent Systems: recent advances and.. - Torroni (2003) (Correct)
0.5: Agent-Based Software Engineering - Petrie (2000) (Correct)
0.5: Synthesis of Tactical Plans for Robotic Excavation - Singh (1995) (Correct)
Similar documents based on text: More All
0.6: Knowledge Base Support For Design And Synthesis Of Multiagent.. - Raphael (2000) (Correct)
0.5: Selecting A Software Engineering - Methodology Using Multiobjective (Correct)
0.4: Multiagent Systems Engineering: A Methodology For Analysis And.. - Wood (2000) (Correct)
Related documents from co-citation: More All
2: Software Architecture: Perspectives on an Emerging Discipline (context) - Mary, Garlan - 1996
2: Moving up the information food chain: Deploying softbots on the world-wide web - Etzioni - 1996
2: Analysis Patterns: Reusable Object Models (context) - Fowler - 1997
BibTeX entry: (Update)
D. Robinson, A Component Based Approach To Agent, citeseer.ist.psu.edu/632651.html http://citeseer.ist.psu.edu/632651.html More
@misc{ robinson-component,
author = "D. Robinson",
title = "A Component Based Approach To Agent",
text = "D. Robinson, A Component Based Approach To Agent, citeseer.ist.psu.edu/632651.html",
url = "citeseer.ist.psu.edu/632651.html" }
Citations (may not include all citations):1364 A Robust Layered Control System for a Mobile Robot (context) - Brooks - 1985 ACM
1286 ObjectOriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
653 Object-Oriented Analysis and Design with Applications (context) - Booch - 1994
537 Component Software Beyond Object-Oriented Programming (context) - Szyperski - 1998
267 Software Engineering: A Practitioner's Approach (context) - Pressman - 1997
250 Artificial Intelligence A Modern Approach (context) - Russell, Norvig - 1995
244 Abstractions for software architecture and tools to support .. - Shaw, DeLine et al. - 1995 ACM DBLP
237 Intelligent Agents Theory and Practice - Wooldridge, Jennings - 1995
213 An Introduction to Software Architecture (context) - Garlan, Shaw - 1993 ACM
181 The Object Constraint Language Precise Modeling with UML (context) - Warmer, Kleppe - 1999
173 Distributed Intelligent Agents - Sycara, Decker et al. - 1996 ACM DBLP
164 Software agents - Genesereth, Ketchpel - 1994 ACM DBLP
117 Acme: An Architecture Description Interchange Language - Garlan, Monroe et al. - 1997
107 Readings in Knowledge Representation (context) - Brachman, Levesque - 1985 ACM
93 COOL: A Language for Describing Coordination in Multi Agent .. - Barbuceanu, Fox - 1995
79 Readings In Agents (context) - Huhns, Singh - 1997 ACM
70 Multi-Agent Systems An Introduction to Distributed Artificia.. (context) - Ferber - 1999
68 A Formal Framework for Agency and Autonomy - Luck, d'Inverno - 1995
62 Seven more myths of formal methods - Bowen, Hinchey - 1995 ACM DBLP
40 Artificial Intelligence Structures and Strategies for Comple.. (context) - Luger, Stubblefield - 1998
38 A Formal Specification of dMARS - d'Inverno, Kinny et al. - 1997 ACM DBLP
33 A Common Knowledge Representation for Plan Generation and Re.. - Wilkins, Myers - 1994 DBLP
33 Artificial Intelligence (context) - Pollack - 1992 ACM DBLP
31 DSSA-ADAGE: An Environment for Architecture-based Avionics D.. (context) - Coglianese, Szymanski - 1993
28 Multiagent Systems Engineering: A Methodology and Language f.. - DeLoach
28 UML Toolkit (context) - Eriksson, Penkar - 1998 ACM
23 PDDL -- The Planning Domain Definition Language - Ghallab, Howe et al. - 1998
22 The Agent Network Architecture (context) - Maes - 1991
21 Strategies for incorporating formal specifications in softwa.. (context) - Fraser, Kumar et al. - 1994 ACM DBLP
21 Software Architecture Perspectives on an Emerging Discipline (context) - Garlan, Shaw - 1996
15 An Overview of Knowledge Representation (context) - Mylopoulos, Levesque - 1984 ACM DBLP
12 Developing Intelligent Agents for Distributed Systems (context) - Knapik, Johnson - 1998 ACM
11 Knowledge Representation An AI Perspective (context) - Reichgelt - 1991
10 Frame Representations and The Declarative/Procedural Controv.. (context) - Winograd - 1975
8 Development and Application of a Formal Agent Framework - d'Inverno, Luck - 1997 ACM DBLP
8 The OK BDI Architecture - Kumar, Shapiro - 1994
7 Constructing Intelligent Agents with Java (context) - Bigus, Bigus - 1998 ACM
6 An Introduction to the Aesop System (context) - Garlan - 1995
6 Jess, The Java Expert System Shell (context) - Friedman-Hill - 1998
5 Composite Structured Design (context) - Myers - 1978
5 Formalisms for Multi-Agent Systems (context) - d'Inverno, Fisher et al. - 1997 ACM
4 A Hybrid Connectionist and BDI Architecture for Modleing Emb.. - Kumar, Meeden - 1998
4 School of Computer Science (context) - The, Tutorial et al. - 1992
3 Informal formality? The Object Constraint Language and its a.. (context) - Kleppe, Warmer et al. - 1998 ACM DBLP
2 The Act Formalism - Wilkins, Myers - 1997
2 Volume I: Planning and Technology Insertion (context) - Specification, for et al. - 1995
2 Artificial Intelligence Center (context) - System, Guide - 1999
2 Reasoning About Actions & Plans -- Proceedings of the 1986 W.. (context) - Georgeff, Lansky - 1987
1 Essays in the Representation of Knowledge (context) - Cercone, McCalla - 1987
1 A Metamodel for OCL (context) - Gogolla - 1999 DBLP
1 Formal Methods in Artificial Intelligence (context) - Ramsey - 1988 ACM
1 Structuring a Z Specification to Provide a Formal Framework .. - Luck, d'Inverno ACM DBLP
1 Ellis Horwood Limited (context) - Hodgson - 1991
1 the expression language for the UML (context) - Constraint, OCL - 1999
1 SNePS 2.5 User's Manual (context) - Shapiro - 1999
1 Methods and Tools for Applied Artificial Intelligence (context) - Popovic, Bhatkar - 1994 ACM
Documents on the same site (http://www.cis.ksu.edu/~sdeloach/ai/papers.htm): More
An Overview of the Multiagent Systems Engineering Methodology - Wood, DeLoach (2000) (Correct)
Design Issues for Mixed-Initiative Agent Systems - Hartrum, DeLoach (1999) (Correct)
Heterogeneous Database Integration Using Agent-Oriented .. - McDonald, Talbert.. (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC