Saturday, July 03, 2004
Epistemic Closure Principles
Resource-Bounded Reasoning about Knowledge
Adding common knowledge
- Definition of the Kripke structure
Reactive Systems: Kripke Structures and Automata
Kripke structure
National Institute of Standards and Technology
Abstract State Machines
Thursday, July 01, 2004
Charlottesville Albemarle Bar Association - Member Directory
Wednesday, June 30, 2004
World Wide Learn | The World's Largest Directory of Online Education
Abstract State Machines
Thomson ISI ResearchSoft
Product Development Institute
Stage-Gate, Inc. - Giving Wings to New Product Development: Conferences, Seminars, Software, Consulting
R&D Magazine
Creative Commons
Tuesday, June 29, 2004
Agents Communication Languages (ACL)
XML on Wall Street - OFX Projects
XML on Wall Street - SWIFTML Projects
XML on Wall Street - FIXML Projects
The FIX protocol Organization
Main Page - SwarmWiki
Welcome to AI TOPICS
UMBC KQML Web
Open Agent Architecture (OAA)
Multi-Agent Systems
Semantic World and Cyberspace - why I love Patrick Sticklers URIQA approach
Monday, June 28, 2004
Distributed Agents
Metatomix : Home
Metatomix : Home says that it "...delivers the industry's only Semantic Web-based solutions for enterprise resource interoperability...".
Java Pro - What UML Is and Isn't
Sunday, June 27, 2004
Proposal for the first public working draft of the note on n-ary relations from Natasha Noy on 2004-06-23 (www-archive@w3.org from June 2004)
