Agent-oriented programming

Artificial Intelligence

Volumn 60, Issue 1, 1993, Pages 51-92

  Shoham, Yoav ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DATA COMMUNICATION SYSTEMS; FORMAL LOGIC; MATHEMATICAL OPERATORS; PROGRAM INTERPRETERS; STATE ASSIGNMENT;

AGENT ORIENTED PROGRAMMING; AGENT PROGRAMS; EPISTEMIC LOGICS; MENTAL STATE; SPEECH ACT THEORY;

OBJECT ORIENTED PROGRAMMING;

EID: 0027560432     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(93)90034-9     Document Type: Article

References (76)

1. Pengi: an implementation of a theory of activity
2. Recognizing intentions from natural language utterances
3. Agreeing to disagree
4. Seeing to it that a canonical form of agentives
5. A robust layered control system for a mobile robot
6. Intention is choice with commitment
7. P.R. Cohen and H.J. Levesque, Rational interaction as the basis for communication, in: P.R. Cohen, J. Morgan and M.E. Pollack, eds., Intentions in Communication (MIT Press, Cambridge, MA, to appear).
8. Elements of a plan-based theory of speech acts
9. Temporal data base management
10. Deriving the postulates of belief update from theories of action
11. Artificial intelligence and rational self-government
12. A theory of relative desire
13. Situated control rules
14. Actors and agents as reflective concurrent objects: a Mering IV perspective
15. A comparative analysis of some simple architectures for autonomous agents
16. A proposal for research on informable agents
17. Using reasoning about knowledge to analyze distributed systems
18. A guide to the modal logics of knowledge and belief: preliminary draft
19. A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols
20. Intelligent monitoring and control
21. Towards open information systems semantics
22. Viewing control structures as patterns of passing messages
23. A mechanism for reasoning about time and belief
24. Goals as parallel program specifications
25. On the difference between updating a knowledge base and revising it
26. A circumscriptive theory of plan recognition
27. Semantical considerations of modal logic
28. A simulator for temporal automata
29. Temporal automata
30. All I know: an abridged report
31. Concurrent actions in the situation calculus
32. Discourse processing and commonsense plans
33. A model for computer life
34. Toward an interdisciplinary theory of coordination
35. Ascribing mental qualities to machines
36. Some philosophical problems from the standpoint of artificial intelligence
37. Tarskian semantics, or no notation without denotation!
38. Becoming increasingly reactive
39. A formal theory of knowledge and action
40. Foundations of a logic of knowledge, action, and communication
41. Action networks
42. Plans as complex mental attitudes
43. Proceedings 10th International Workshop on Distributed Artificial Intelligence
44. Deals among rational agents
45. Formal theories of knowledge in AI and robotics
46. The synthesis of digital machines with provable epistemic properties
47. The economic theory of agency
48. Understanding protocols for byzantine clock synchronization
49. Time for action
50. Varieties of context
51. Belief as defeasible knowledge
52. On the synthesis of useful social laws for artificial agents
53. The contract net protocol high-level communication and control in a distributed problem solver
54. A language/action perspective on the design of cooperative work