Michael Dekhtyar, Alexander Dikovsky, Mars Valiev  Home/Search
Context
Related
| sciences.univnante...RRIRIN200201.ps 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: sciences.univnantes.fr/irin/V... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, we try to find a reasonable balance of architecture details and abstraction level in order to bridge the gap between exorbitantly expressive agent behavior definition means on the one hand, and on the other hand, the well studied behavior analysis means of temporal logics applied to simplified control structures (Update)
Active bibliography (related documents): More All
0.5: Model Checking for the Concurrent Constraint Paradigm - Garcia (Correct)
0.5: An Agent Architecture for Planning in a Dynamic Environment - Armano, Cherchi, Vargiu (2001) (Correct)
0.5: Logic Program Based Updates - Zhang (2000) (Correct)
Similar documents based on text: More All
2.3: An Algebraic Approach to Heterogeneous Software Systems - Andre, Royer (2000) (Correct)
2.2: On Maximal Instances for the Original Syntenic Distance - Chauve, Fertin (Correct)
2.1: Ontology Enrichment and Indexing Process - Desmontils, Jacquin, Simon (2003) (Correct)
BibTeX entry: (Update)
@misc{ dekhtyar-behavior,
author = "Michael Dekhtyar and Alexander Dikovsky and Mars Valiev",
title = "On Behavior of Interacting Agents",
url = "citeseer.ist.psu.edu/dekhtyar02behavior.html" }
Citations (may not include all citations):4212 Computers and intractability -- a guide to the theory of NP-.. (context) - Garey, Johnson - 1979
1180 The temporal logic of reactive and concurrent systems: Speci.. (context) - Manna, Pnueli - 1991
951 Computational complexity (context) - Papadimitriou - 1994
828 Model Checking - Clarke, Grumberg et al. - 2000
725 Temporal and modal logic (context) - Emerson - 1990
453 Agent oriented programming (context) - Shoham - 1993
434 An automata-theoretic approach to automatic program verifica.. (context) - Vardi, Wolper - 1986
397 Design and synthesis of synchronization skeletons using bran.. (context) - Clarke, Emerson - 1981
261 Reactive Reasoning and Planning (context) - Georgeff, Lansky - 1987
230 Checking that finite state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985
222 The complexity of propositional linear temporal logic (context) - Sistla, Clarke - 1985
195 Propositional dynamic logic of regular programs (context) - Fischer, Ladner - 1979
192 Logic Programming (context) - Apt - 1990
165 Theoretical Computer Science (context) - Kozen - 1983
50 A model-theoretic approach to the verification of situated r.. (context) - Rao, Georgeff - 1993
45 Knowledge in Action: Logical Foundations for Specifying and .. (context) - Reiter - 2001
39 Model Checking Multiagent Systems - Benerecetti, Guinchiglia et al. - 1998
30 Specification and verification of concurrent programs in CES.. (context) - Queille, Sifakis - 1982
24 ACM Transactions on computational logic (context) - Fisher, Dixon et al. - 2001
23 Specifying and Verifying Distributed Intelligent Systems - Fisher, Wooldridge - 1993
20 Heterogeneous Agent Systems - Subrahmanian, Bonatti et al. - 2000
19 Formal Aspects of Computing (context) - Barringer, Fisher et al. - 1995
17 The Computational Complexity of Agent Design Problem - Wooldridge - 2000
15 II: Algorithms and Complexity (context) - Eiter, Subrahmanian - 1999
13 or just a program (context) - Franclin, Graesser
10 III: Polynomially implementable agents (context) - Eiter, Subrahmanian - 1999
10 Model checking and the mu-calculus - Emerson - 1996
10 A Conceptual Framework for Agent Definition and Development .. - Luck, d'Inverno - 2001
10 Towards an Architecture for adaptive (context) - Ferguson - 1992
8 An Architecture for Adaptive intelligent systems (context) - Hayes-Roth - 1995
8 Modal logics and mu-calculi (context) - Bradfield, Stirling - 2001
7 Efficient model checking in fragments of the mu-calculus (context) - Emerson, Lei - 1986
5 On Formal Modeling of Agent Computations - Araragi, Attie et al. - 2000
4 Local model checking in the Mu-calculus (context) - Stirling, Walker - 1989
4 What is an agent (context) - Petrie
3 A roadmap of agent research and development Autonomous Agent.. (context) - Jennings, Sycara et al. - 1998
2 Dynamic Deductive Data Bases with Steady Behavior (context) - Dekhtyar, Dikovsky - 1995
2 Computer aided verification (context) - Bernholz, Vardi et al. - 1994
2 A cooperation model for autonomous agents (context) - Mller - 1997
2 NATO ASI series F (context) - Clarke, Grumberg et al. - 1996
1 On Homeostatic Behavior of Dynamic Deductive Data Bases (context) - Dekhtyar, Dikovsky - 1996
1 Applying temporal logic to analysis of behavior of cooperati.. (context) - Dekhtyar, Dikovsky et al. - 2000
1 Architectures and applications of intelligent agents: A surv.. (context) - Mller - 1998
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