![Logic / Prolog / Futures and promises / Frame problem / Abductive logic programming / Predicate / Situation calculus / Operational semantics / Event calculus / Logic programming / Mathematical logic / Theoretical computer science Logic / Prolog / Futures and promises / Frame problem / Abductive logic programming / Predicate / Situation calculus / Operational semantics / Event calculus / Logic programming / Mathematical logic / Theoretical computer science](https://www.pdfsearch.io/img/30ee0c9e749abbd20aa8d7a51b5d0024.jpg)
| Document Date: 2011-08-20 04:15:20 Open Document File Size: 480,63 KBShare Result on Facebook
City confirm(X / / Company Dell / LPS / W3C RIF Working Group / / / Event Reorganization / / Facility Imperial College / / IndustryTerm search strategies / hierarchical task networks / search strategy / online shopping scenario / go-online / active database systems / search space / action go-online / large search space / / Organization Fariba Sadri Department of Computing / Imperial College London / / Person Fariba Sadri / Robert Kowalski / / Position guard / model of agency / / ProgrammingLanguage Prolog / / URL http /
SocialTag |