Thomas Eiter, V.S. Subrahmanian, George Pick  Home/Search
Context Related
| kr.tuwien.ac.at/staf...aij547sem.ps.gz 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: kr.tuwien.ac.at/staff/eiter/et... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Over the years, many different agent programming languages have been proposed. In this paper, we propose a concept called Agent Programs using which, the way an agent should act in various situations can be declaratively specified by the creator of that agent. Agent Programs may be built on top of arbitrary pieces of software code and may be used to specify what an agent is obliged to do, what an agent may do, and what an agent may not do. In this paper, we define several successively more ... (Update)
Context of citations to this paper: More
.... models [7, 16] and yet other models are based on social concepts like obligations and norms [10, 23, 22] as in deontic action programs [12]. Typically, the decision model is based on an attempt to reach goals, satisfy desires, ful ll obligations etc. Here we consider decision...
.... models [5, 14] and yet other models are based on social concepts like obligations and norms [6, 20, 19] as in deontic action programs [8]. Typically, the decision model is based on an attempt to reach goals, satisfy desires, or ful ll obligations. In the Belief Obligation...
Cited by: More
Languages for Programming BDI-style Agents: an Overview - Mascardi, Demergasso, Ancona (2005) (Correct)
Computational Logic in Multi-Agent Systems: recent advances and.. - Torroni (2003) (Correct)
Resolving Conflicts between Beliefs, Obligations.. - Broersen, Dastani.. (2001) (Correct)
Similar documents (at the sentence level):
66.5%: Heterogeneous Active Agents - Eiter, Subrahmanian, Pick (1998) (Correct)
Active bibliography (related documents): More All
6.1: Heterogeneous Active Agents, I: Semantics - Eiter, la. (1998) (Correct)
0.8: Meta-Agent Programs - Dix, Subrahmanian, Pick (2001) (Correct)
0.4: IMPACT: The Interactive Maryland Platform for.. - Arisha, Kraus.. (1998) (Correct)
Similar documents based on text: More All
0.7: Heterogeneous Active Agents, III: Polynomially Implementable.. - Eiter, al. (1999) (Correct)
0.6: Secure Agents - Bonatti, Kraus, Subrahmanian (Correct)
0.6: Temporal Agent Programs - Dix, Kraus, Subrahmanian (2000) (Correct)
Related documents from co-citation: More All
4: Intention is choice with commitment (context) - Cohen, Levesque - 1990
3: van der Torre (context) - Broersen, Dastani - 2001
2: BDI Agents from Theory to Practice - Rao, Georgeff - 1995
BibTeX entry: (Update)
T. Eiter, V. Subrahmanian, and G. Pick. Heterogeneous active agents I: Semantics. Articial Intelligence, 108 (1-2):179-255, 1999. http://citeseer.ist.psu.edu/eiter99heterogeneous.html More
@article{ eiter99heterogeneous,
author = "T. Eiter and V. S. Subrahmanian",
title = "Heterogeneous Active Agents, {II}: Algorithms and Complexity",
journal = "Artificial Intelligence",
volume = "108",
number = "1--2",
pages = "257--307",
year = "1999",
url = "citeseer.ist.psu.edu/eiter99heterogeneous.html" }
Citations (may not include all citations):4212 Computers and Intractability -- A Guide to the Theory of NPC.. (context) - Garey, Johnson - 1979
1838 Foundations of Logic Programming (context) - Lloyd - 1984
981 Principles of Database and Knowledge Base Systems (context) - Ullman - 1989
858 The Stable Model Semantics for Logic Programming - Gelfond, Lifschitz - 1988
850 A Logic for Default Reasoning (context) - Reiter - 1980
725 Temporal and Modal Logics (context) - Emerson
619 The Object Database Standard: ODMG (context) - Cattell - 1997
511 Federated Database Systems for Managing Distributed (context) - Sheth, Larson - 1990
453 Agent Oriented Programming (context) - Shoham - 1993
410 Principles of Artificial Intelligence (context) - Nilsson - 1980
404 Agents that Reduce Work and Information Overload (context) - Maes - 1994
399 Intention is Choice with Commitment (context) - Cohen, Levesque - 1990
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
355 Knowledge Engineering Reviews (context) - Wooldridge, Jennings et al. - 1995
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
327 Modeling Rational Agents within a BDI-Architecture - Rao, Georgeff - 1991
311 Semantical Considerations on Nonmonotonic Logics (context) - Moore - 1985
300 The TSIMMIS Project: Integration of Heterogeneous Informatio.. - Chawathe, Garcia-Molina et al. - 1994
295 On Closed-World Databases (context) - Reiter - 1978
256 Representing Actions and Change by Logic Programs - Gelfond, Lifschitz - 1993
250 Artificial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995
248 Retrieving and Integrating Data From Multiple Information So.. - Arens, Chee et al. - 1993
245 Plans and Resource-Bounded Practical Reasoning - Bratman, Israel et al. - 1988
243 Rules of Encounter: Designing Conventions for Automated Nego.. (context) - Rosenschein, Zlotkin - 1994
206 Negotiation as a Metaphor for Distributed Problem Solving (context) - Smith, Davis - 1983
193 Controlling Cooperative Problem Solving in Industrial Multi-.. - Jennings - 1995
192 Logic Programming (context) - Apt
184 A Market-Oriented Programming Environment and its Applicatio.. - Wellman - 1993
181 Mathematical Logic (context) - Shoenfield - 1967
178 A Softbot-Based Interface to the Internet - Etzioni, Weld - 1994
161 Complexity Results for Nonmonotonic Logics (context) - Gottlob - 1992
149 Logic Programming and Knowledge Representation - Baral, Gelfond - 1994
136 Middle Agents for the Internet - Decker, Sycara et al. - 1997
130 Communications of the ACM (context) - Genesereth, Ketchpel - 1994
107 View Definition and Generalization for Database Integration .. (context) - Dayal, Hwang - 1984
89 Nonmonotonic Logics -- Context-Dependent Reasoning (context) - Marek, Truszczynski - 1993
83 Infosleuth: Agent-based Semantic Integration of Information .. - Bayardo - 1997
82 A Semantics Approach for KQML -- A General Purpose Communica.. - Labrou, Finin - 1994
82 Superviews: Virtual Integration of Multiple Databases (context) - Motro - 1987
79 Readings in Agents (context) - Huhns, Singh - 1997
79 Representing Concurrent Actions in Extended Logic Programmin.. (context) - Baral, Gelfond - 1993
78 Handbook of Theoretical Computer Science (context) - van Leeuwen - 1990
77 Semantics for an Agent Communication Language - Labrou, Finin
74 Symbolic Model Checking for Probabilistic Processes - Baier, Clarke et al. - 1997
72 Intelligent Integration of Information (context) - Wiederhold - 1993
64 Formal Theories of Knowledge in AI and Robotics (context) - Rosenschein - 1985
64 Amalgamating Knowledge Bases (context) - Subrahmanian - 1994
62 Plans and Practical Reason (context) - Bratman - 1987
54 A Situated View of Representation and Control - Rosenschein, Kaelbling - 1995
51 Formal Semantics of an Abstract Agent Programming Language (context) - Hindriks, de Boer et al.
48 Negotiation and Cooperation in Multi-Agent Environments - Kraus - 1997
43 Mixed Integer Programming Methods for Computing Non-Monotoni.. - Bell, Nerode et al. - 1994
38 A Formal Specification of dMARS - d'Inverno, Kinny et al.
37 Propositional Semantics for Disjunctive Logic Programs (context) - Ben-Eliyahu, Dechter - 1994
35 Formalizing the Cooperative Problem Solving Proces - Wooldridge, Jennings - 1997
34 Default and AutoEpistemic Semantics for General Logic Progra.. (context) - Marek, Subrahmanian et al. - 1992
28 Efficient Maintenance of Materialized Mediated Views - Lu, Moerkotte et al. - 1995
28 Heterogeneous Multimedia Reasoning (context) - Brink, Marcus et al. - 1995
28 Deontic Logic in Computer Science (context) - Meyer, Wieringa - 1993
27 and Exogenous Actions in the Situation Calculus (context) - Giacomo, Lesperance et al. - 1997
27 A Customizable Coordination Service for Autonomous Agents - Singh
25 Permissions and Obligations (context) - McCarty - 1983
25 Representing Actions: Laws (context) - Baral, Gelfond et al. - 1997
23 IEEE Transactions on Knowledge and Data Engineering (context) - Lu, Nerode et al. - 1996
23 Law and Logic (context) - Kanger - 1972
22 The Distributed Agent Architecture Of The University of Mich.. - Birmingham, Durfee et al. - 1995
22 Function Materialization in Object Bases: Design (context) - Kemper, Kilger et al. - 1994
20 Foundations of Multimedia Database Systems (context) - Marcus, Subrahmanian - 1996
20 A Dynamic Organizational Architecture For Adaptive Problem S.. (context) - Gasser, Ishida - 1991
17 Formal Characterization of Active Databases - Baral, Lobo - 1996
16 Intentional Agents and Goal Formation - Dignum, Conte
15 An Abductive Proof Procedure for Reasoning about Actions in .. - Baldoni, Giordano et al. - 1998
14 Defeasible Deontic Reasoning: A Logic Programming Model (context) - Ryu, Lee
14 Multi-Agent Integration of Information Gathering and Decisio.. - Sycara, Zeng - 1996
14 OdeFS: A File System Interface to an Object-Oriented Databas.. - Gehani, Jagadish et al. - 1994
13 Materialized Views (context) - Gupta, Mumick - 1998
13 Towards a Pragmatic Theory of Interactions (context) - Haddadi - 1995
13 Implementation of a Cooperative Agent Architecture Based on .. - Verharen, Dignum et al.
13 Multi-Agent Coordination through Coalition Formation - Shehory, Sycara et al.
13 Integrating Information via Matchmaking (context) - Kuokka, Harada - 1996
11 Reasoning About Indefinite Actions - McCarty - 1992
11 Interoperability among Heterogeneous Software Agents on the .. - Sycara, Lu et al. - 1998
11 A Modal Programming Language for Representing Complex Action.. - Baldoni, Giordano et al. - 1998
10 Obligations in Multi-Agent Systems - Krogh - 1995
10 Query Processing in Distributed Mediated Systems (context) - Adali, Candan et al. - 1996
9 Modalities Over Actions (context) - McCarty - 1996
9 A Logic of Capabilities - van der Hoek, van Linder et al. - 1994
9 Implementing Deductive Databases by Mixed Integer Programmin.. (context) - Bell, Nerode et al. - 1996
8 Bidding Mechanisms for Data Allocation in Multi-Agent Enviro.. - Schwartz, Kraus
8 Deontic Logic (context) - Aquist - 1984
8 IMPACT: The Interactive Maryland Platform for Agents Collabo.. - Arisha, Kraus et al. - 1997
8 Reflections on TAXMAN: An Experiment in Artificial Intellige.. (context) - McCarty - 1977
7 Special Issue on Distributed Artificial Intelligence (context) - Conry, Kuwabara et al. - 1991
5 A Non-Monotonic Logic Based on Conditional Logic (context) - Nute - 1985
5 Relating Minimal Models and Pre-Requisite-Free Normal Defaul.. - Lobo, Subrahmanian - 1992
5 Regular Agent Programs and their Implementation (context) - Eiter, Subrahmanian - 1998
4 Designing Embedded Agents to Optimize End-User Objectives (context) - Schoppers, Shapiro
4 A Multi-Agent Environment for Department of Defense Distribu.. (context) - Glicoe, Staats et al. - 1995
3 Review of Deontic Logic in Computer Science: Normative Syste.. (context) - Hansson - 1994
3 A Behavior-based Decision Mechanism for Agents Coordinating .. (context) - Coradeschi, Karlsson
3 Coalition Formation Amongst Bounded Rational Agents (context) - Sandholm, Lesser - 1995
2 Expressive Capabilities of Description Languages and Query R.. (context) - Papakonstantinou, Vassalos
2 Guide to TCPIP Protocol Suite (context) - to, IP et al. - 1993
2 Networked Visualization of US Army War Reserve Readiness Dat.. (context) - Schafer, Rogers et al. - 1998
1 A Clausal Logic for Deontic Action Specification (context) - van der Meyden - 1991
1 Available from httpwww (context) - Subrahmanian, Agent et al. - 1998
Documents on the same site (http://www.kr.tuwien.ac.at/staff/eiter/et-archive/): More
On the Difference of Horn Theories (Extended Abstract) - Eiter, Ibaraki, Makino (Correct)
Complexity of Nested Circumscription and Abnormality Theories - Cadoli (2001) (Correct)
Complexity and Expressive Power of Logic Programming - Dantsin, Eiter, Gottlob.. (1997) (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