Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
-
- Computer networks (2)
- CD-ROM (1)
- 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)
- Library research (1)
- Mordell-Weil group (1)
- Multiagent systems (1)
- Problem solving (1)
- Problem-solving systems (1)
- Procedural solutions (1)
- Reasoning abilities (1)
- Remote access (1)
- Temporal logic (1)
- Virtual library (1)
Articles 1 - 4 of 4
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.
Networking Your Cd-Roms: A Texas Tale, Margaret Sylvia
Networking Your Cd-Roms: A Texas Tale, Margaret Sylvia
Faculty Publications
Installation of a CD-ROM network at St. Mary's University Academic Library created a revolution in the way students and faculty do research.
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.
Building A Gateway For The Cd-Rom Network: A Step Toward The Virtual Library With The Virtual Microsystems V-Server, Margaret Sylvia
Building A Gateway For The Cd-Rom Network: A Step Toward The Virtual Library With The Virtual Microsystems V-Server, Margaret Sylvia
Faculty Publications
Describes one college library's experience with a gateway for dial-in access to its CD-ROM network to increase access to automated index searching for students off-campus. Hardware and software choices are discussed in terms of access, reliability, affordability, and ease of use. Installation problems are discussed, and an appendix lists product information.