Thomas Eiter, et la.  Home/Search
Context Related
| kr.tuwien.ac.at/pub/tr/rr9802.ps.gz kr.tuwien.ac.at/research...rr9802.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/research/...index (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):
70.1%: Heterogeneous Active Agents - Eiter, Subrahmanian, Pick (1998) (Correct)
Active bibliography (related documents): More All
6.1: Heterogeneous Active Agents, I: Semantics - Eiter, Subrahmanian, Pick (1999) (Correct)
0.5: Reasoning About Indefinite Actions - McCarty, van der Meyden (1992) (Correct)
0.5: Meta-Agent Programs - Dix, Subrahmanian, Pick (1999) (Correct)
Similar documents based on text: More All
0.7: Heterogeneous Active Agents, III: Polynomially Implementable.. - Eiter, al. (1999) (Correct)
0.7: Heterogeneous Agent Systems - Subrahmanian, Bonatti, Dix, Eiter.. (2000) (Correct)
0.6: Heterogeneous Active Agents, II: Algorithms and Complexity - Eiter, al. (1998) (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/article/eiter98heterogeneou.html More
@misc{ eiter99heterogeneous,
author = "T. Eiter and V. Subrahmanian and G. Pick",
title = "Heterogeneous active agents I: Semantics",
text = "T. Eiter, V. Subrahmanian, and G. Pick. Heterogeneous active agents I:
Semantics. Articial Intelligence, 108 (1-2):179-255, 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/article/eiter98heterogeneou.html" }
Citations (may not include all citations):4212 Computers and Intractability -- A Guide to the Theory of NP-.. (context) - Garey, Johnson - 1979
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
782 Artificial Intelligence: A Modern Approach (context) - Russell, Norvig - 1995
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
295 On Closed-World Databases (context) - Reiter - 1978
256 Representing Actions and Change by Logic Programs - Gelfond, Lifschitz - 1993
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
99 Handbook of Theoretical Computer Science (context) - van Leeuwen - 1990
89 Nonmonotonic Logics -- Context-Dependent Reasoning (context) - Marek, Truszczynski - 1993
83 Infosleuth: Agent-based Semantic Integration of Information .. - Bayardo - 1997
82 Superviews: Virtual Integration of Multiple Databases (context) - Motro - 1987
82 A Semantics Approach for KQML -- A General Purpose Communica.. - Labrou, Finin - 1994
79 Readings in Agents (context) - Huhns, Singh - 1997
79 Representing Concurrent Actions in Extended Logic Programmin.. (context) - Baral, Gelfond - 1993
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 Propositional Semantics for Disjunctive Logic Programs (context) - Ben-Eliyahu, Dechter - 1994
43 Mixed Integer Programming Methods for Computing NonMonotonic.. - Bell, Nerode et al. - 1994
40 A Formal Specification of dMARS (context) - d'Inverno, Kinny et al.
35 Formalizing the Cooperative Problem Solving Proces - Wooldridge, Jennings - 1997
34 Default and Auto-Epistemic Semantics for General Logic Progr.. (context) - Marek, Subrahmanian et al. - 1992
28 Heterogeneous Multimedia Reasoning (context) - Brink, Marcus et al. - 1995
28 Deontic Logic in Computer Science (context) - Meyer, Wieringa - 1993
28 Efficient Maintenance of Materialized Mediated Views - Lu, Moerkotte et al. - 1995
27 A Customizable Coordination Service for Autonomous Agents - Singh
27 and Exogenous Actions in the Situation Calculus (context) - Giacomo, Lesperance et al. - 1997
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 Function Materialization in Object Bases: Design (context) - Kemper, Kilger et al. - 1994
22 The Distributed Agent Architecture Of The University of Mich.. - Birmingham, Durfee et al. - 1995
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
15 Meta-Agent Programs - Dix, Subrahmanian et al.
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
14 Defeasible Deontic Reasoning: A Logic Programming Model (context) - Ryu, Lee
13 Integrating Information via Matchmaking (context) - Kuokka, Harada - 1996
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 Towards a Pragmatic Theory of Interactions (context) - Haddadi - 1995
13 Materialized Views (context) - Gupta, Mumick - 1998
11 Interoperability among Heterogeneous Software Agents on the .. - Sycara, Lu et al. - 1998
11 Reasoning About Indefinite Actions - McCarty - 1992
11 A Modal Programming Language for Representing Complex Action.. - Baldoni, Giordano et al. - 1998
10 Query Processing in Distributed Mediated Systems (context) - Adali, Candan et al. - 1996
10 A Guide to the TCP/IP Protocol Suite (context) - Wilder - 1993
10 Obligations in Multi-Agent Systems - Krogh - 1995
9 Implementing Deductive Databases by Mixed Integer Programmin.. (context) - Bell, Nerode et al. - 1996
9 Modalities Over Actions (context) - McCarty - 1996
9 A Logic of Capabilities - van der Hoek, van Linder et al. - 1994
8 IMPACT: The Interactive Maryland Platform for Agents Collabo.. - Arisha, Kraus et al. - 1997
8 Deontic Logic (context) - Aquist - 1984
8 Bidding Mechanisms for Data Allocation in Multi-Agent Enviro.. - Schwartz, Kraus
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 A Multi-Agent Environment for Department of Defense Distribu.. (context) - Glicoe, Staats et al. - 1995
4 Designing Embedded Agents to Optimize End-User Objectives (context) - Schoppers, Shapiro
3 Coalition Formation Amongst Bounded Rational Agents (context) - Sandholm, Lesser - 1995
3 A Behavior-based Decision Mechanism for Agents Coordinating .. (context) - Coradeschi, Karlsson
3 Review of Deontic Logic in Computer Science: Normative Syste.. (context) - Hansson - 1994
2 Networked Visualization of US Army War Reserve Readiness Dat.. (context) - Schafer, Rogers et al. - 1998
2 Expressive Capabilities of Description Languages and Query R.. (context) - Papakonstantinou, Vassalos
2 A Clausal Logic for Deontic Action Specification (context) - van der Meyden - 1991
Documents on the same site (http://www.kr.tuwien.ac.at/research/reports/index.html): More
Complexity and Expressive Power of Logic Programming - Dantsin, Eiter, Gottlob.. (1999) (Correct)
On ACTL Formulas Having Deterministic Counterexamples - Buccafurri, al. (1999) (Correct)
Heterogeneous Active Agents, II: Algorithms and Complexity - Eiter, al. (1998) (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