Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Computational agents (1)
- Computer Science and Engineering (1)
- Computer Science and Engineering, Mathematics (1)
- Cooperative systems (1)
- Declarative representations (1)
-
- Descent (1)
- Distributed artificial intelligence (1)
- Elliptic curves (1)
- Formal semantics (1)
- Formal specifications (1)
- Knowledge representation (1)
- Mordell-Weil group (1)
- Multiagent systems (1)
- Problem solving (1)
- Problem-solving systems (1)
- Procedural solutions (1)
- Reasoning abilities (1)
- Temporal logic (1)
Articles 1 - 2 of 2
Full-Text Articles in Computer Engineering
Declarative Representations Of Multiagent Systems, Munindar P. Singh, Michael N. Huhns, Larry M. Stevens
Declarative Representations Of Multiagent Systems, Munindar P. Singh, Michael N. Huhns, Larry M. Stevens
Faculty Publications
This paper explores the specification and semantics of multiagent problem-solving systems, focusing on the representations that agents have of each other. It provides a declarative representation for such systems. Several procedural solutions to a well-known test-bed problem are considered, and the requirements they impose on different agents are identified. A study of these requirements yields a representational scheme based on temporal logic for specifying the acting, perceiving, communicating, and reasoning abilities of computational agents. A formal semantics is provided for this scheme. The resulting representation is highly declarative, and useful for describing systems of agents solving problems reactively.
Three Points Of Great Height On Elliptic Curves, Andrew Bremner, Duncan A. Buell
Three Points Of Great Height On Elliptic Curves, Andrew Bremner, Duncan A. Buell
Faculty Publications
We give three elliptic curves whose generators have great height, demonstrating along the way a moderately efficient method for finding such points.