Back to Results
First PageMeta Content
Non-classical logic / Knowledge representation / Artificial intelligence / Philosophical logic / Model theory / Temporal logic / Description logic / Interval temporal logic / Modal logic / Logic / Science / Mathematical logic


Journal of Arti cial Intelligence Research[removed] Submitted 4/98; published[removed]A Temporal Description Logic for Reasoning about Actions and Plans
Add to Reading List

Document Date: 2006-02-07 22:52:18

Open Document

File Size: 683,17 KB

Share Result on Facebook

Company

Allen / /

Currency

pence / /

/

Facility

University of Manchester / /

IndustryTerm

constraint networks / interval temporal networks / computational machinery / knowledge representation systems / temporal constraint network / main inference tool / representation tools / possible solution / plan network / sound and complete reasoning algorithms / semantic networks / structural plan subsumption algorithm / /

Organization

Italy Enrico Franconi Department of Computer Science / University of Manchester / AI Access Foundation / /

Person

Enrico Franconi / Rich / /

SportsLeague

Division I / /

Technology

dom / structural plan subsumption algorithm / artificial intelligence / /

SocialTag