Back to Results
First PageMeta Content
Mathematics / Artificial intelligence / Logic in computer science / Deduction / Reasoning / Reasoning system / Fluent / Magni / Frame problem / Automated theorem proving / Science / Logic


Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed]
Add to Reading List

Document Date: 2012-01-23 11:35:13

Open Document

File Size: 82,10 KB

Share Result on Facebook

City

New York / /

Company

Prentice-Hall / Cambridge University Press / MIT Press / Russell / SRI International / Magni / /

Country

United States / /

/

EntertainmentAwardEvent

OSCAR / /

Facility

University of Arizona / Information Science Link¨oping University / /

IndustryTerm

heuristic search / automated reasoning technology / author intensive solution / basic chart parsing algorithm / edu/afs/cs.cmu.edu/project/oz/web/oz.html / artificial intelligence technology / larger scale applications / life autonomous software agents / hierarchical task network / programming languages and tools / use theorem proving technology / food / artificial life technologies / neural network / incremental algorithm / minimal machinery / genetic algorithms / pathfinding algorithm / /

OperatingSystem

Unix / /

Organization

Cambridge University / MIT / Augmented Natural Deductive Intelligence / Association for the Advancement / Patrick Doherty Department of Computer / Swedish Foundation for Strategic Research / Artificial Copyright Intelligence / Department of Philosophy / Computer and Information Science Link¨oping University / University of Arizona / /

Person

Martin Magnusson / Patrick Doherty / Magni / Ernest Davis / Jack / /

Position

Advisor / speaker / player / inquisitive player / author / /

ProvinceOrState

New York / Arizona / /

Technology

automated reasoning technology / Unix / artificial intelligence technology / html / ANDIs use theorem proving technology / pdf / basic chart parsing algorithm / artificial life technologies / neural network / artificial intelligence / planning algorithm / http / incremental algorithm / /

URL

http /

SocialTag