Back to Results
First PageMeta Content
Non-classical logic / Logic programming / Reasoning / Proof theory / Logic in computer science / Prolog / Defeasible logic / Curry–Howard correspondence / Inference / Logic / Mathematics / Mathematical logic


Rule-Based Interactive Fiction (Full Presentation) Chris R. Martens Zachary A. Sparks Claire E. Alvis
Add to Reading List

Document Date: 2011-11-16 11:33:49


Open Document

File Size: 222,00 KB

Share Result on Facebook

City

A. Rule / New York / /

Company

Prentice-Hall Inc. / Cambridge University Press / MIT Press / Andrew / Oxford University Press Inc. / /

Country

United States / /

/

Facility

Indiana University / Martens Zachary A. Sparks Claire E. Alvis William E. Byrd Carnegie Mellon University / /

IndustryTerm

fancier rendering systems / search foundations / interactive proof search / proof search / /

Organization

Cambridge University / MIT / Carnegie Mellon University / Oxford University / Indiana University / /

Person

Cassie Orr / Donald Nute / Doug Orleans / William E. Byrd / Plotkin / Claire E. Alvis / Chris R. Martens Zachary / /

Position

author / extralinguistic interpreter / player / /

ProgrammingLanguage

Prolog / TADS / /

ProvinceOrState

New York / /

Technology

functional programming / http / /

URL

http /

SocialTag