Back to Results
First PageMeta Content
Artificial intelligence / Knowledge representation / Applied mathematics / Event calculus / Situation calculus / Multi-agent systems / Fluent / Communications protocol / Agent-based model / Theoretical computer science / Logic programming / Logic in computer science


Document Date: 2002-07-10 12:51:19

Open Document

File Size: 281,38 KB

Share Result on Facebook

City

San Francisco / Bologna / /

Company

State University of New York Press / Multiagent Systems / Multi-Agent Systems / Account / /

Country

Italy / /

Currency

USD / /

/

Event

FDA Phase / /

Facility

Computer Science North Carolina State University / /

IndustryTerm

e-commerce protocols / model protocols / given protocol / bank / software industry / payment protocol / intermediation server / commitment protocols / network protocols / interaction protocols / process protocols / electronic commerce / /

Organization

Department of Computer Science North Carolina State University Raleigh / National Science Foundation / State University of New York / /

Person

Peter Wurman / Michael Winikoff / Mehdi Dastani / Matt Stallman / Morgan Kaufmann / /

Position

Techniques General / rt / abductive event calculus planner / planner / event calculus planner / /

Product

Happens / F1 / To remedy / /

ProgrammingLanguage

Prolog / EC / R / /

ProvinceOrState

North Carolina / /

PublishedMedium

New York Press / The Proceedings / IEEE Spectrum / /

Technology

interaction protocols / commitment-based protocol / Designing protocols / SPECIFYING PROTOCOLS / commitment-based protocols / specifying process protocols / commitment protocols / e-commerce protocols / artificial intelligence / EXECUTING PROTOCOLS / process protocols / example protocol / given protocol / NetBill protocol / NetBill payment protocol / network protocols / model protocols / /

SocialTag