Saturday, July 03, 2004

Epistemic Closure Principles 

Epistemic Closure Principles

Resource-Bounded Reasoning about Knowledge  

Resource-Bounded Reasoning about Knowledge

Adding common knowledge 

Adding common knowledge

- Definition of the Kripke structure 

- Definition of the Kripke structure

Reactive Systems: Kripke Structures and Automata 

Reactive Systems: Kripke Structures and Automata

Kripke structure 

Kripke structure

National Institute of Standards and Technology 

National Institute of Standards and Technology

Abstract State Machines 

Abstract State Machines

Thursday, July 01, 2004

Charlottesville Albemarle Bar Association - Member Directory 

Charlottesville Albemarle Bar Association - Member Directory

Wednesday, June 30, 2004

World Wide Learn | The World's Largest Directory of Online Education 

World Wide Learn | The World's Largest Directory of Online Education

Abstract State Machines 

Abstract State Machines

Thomson ISI ResearchSoft 

Thomson ISI ResearchSoft

Product Development Institute 

Product Development Institute

Stage-Gate, Inc. - Giving Wings to New Product Development: Conferences, Seminars, Software, Consulting 

Stage-Gate, Inc. - Giving Wings to New Product Development: Conferences, Seminars, Software, Consulting

R&D Magazine 

R&D Magazine

Creative Commons 

Creative Commons

Tuesday, June 29, 2004

Agents Communication Languages (ACL) 

Agents Communication Languages (ACL)

XML on Wall Street - OFX Projects 

XML on Wall Street - OFX Projects

XML on Wall Street - SWIFTML Projects 

XML on Wall Street - SWIFTML Projects

XML on Wall Street - FIXML Projects 

XML on Wall Street - FIXML Projects

The FIX protocol Organization 

The FIX protocol Organization

Main Page - SwarmWiki 

Main Page - SwarmWiki

Welcome to AI TOPICS 

Welcome to AI TOPICS

UMBC KQML Web 

UMBC KQML Web

Open Agent Architecture (OAA) 

Open Agent Architecture (OAA)

Multi-Agent Systems 

Multi-Agent Systems

Semantic World and Cyberspace - why I love Patrick Sticklers URIQA approach 

Semantic World and Cyberspace - why I love Patrick Sticklers URIQA approach

Monday, June 28, 2004

Distributed Agents 

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 

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) 

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)

This page is powered by Blogger. Isn't yours?