Back to Results
First PageMeta Content
Reasoning / Knowledge representation / Logic programming / Epistemology / Programming paradigms / Reasoning system / Knowledge representation and reasoning / Frame problem / Reason / Science / Artificial intelligence / Logic


Natural Language Understanding using Temporal Action Logic Martin Magnusson Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden email: [removed]
Add to Reading List

Document Date: 2012-02-03 06:39:30

Open Document

File Size: 237,53 KB

Share Result on Facebook

Company

SRI International / Oxford University Press / MIT Artificial Intelligence Laboratory / John Wiley and Sons / Dynamical Systems / ACM Press / /

Country

Sweden / /

/

Facility

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

IndustryTerm

real-world applications / online collection / sentence processing / automated reasoning technology / knowledge representation technologies / realistic conversational systems / translation algorithm / knowledge representation technology / natural language technology / dialogue systems / /

MusicAlbum

Load / /

Organization

University of Cambridge / MIT / Department of Computer / Yale / Oxford University / Computer and Information Science Link¨oping University / /

Person

Michael Thielscher / Ann Copestake / Patrick Blackburn / Johan Bos / Thomas Wasow / Terry Winograd / Erik Sandewall / Witold Łukaszewicz / Dan Flickinger / Jonas Kvarnstr¨om / Mark E. Stickel / Vladimir Lifschitz / Arnold Smith / Michael Kohlhase / Lars Ahrenberg / Joakim Gustafsson / Patrick Doherty / Leora Morgenstern / Steve Pulman / Lars Karlsson / Emily M. Bender / Manny Rayner / David Carter / James Allen / Hiyan Alshawi / Amanda Stent / George Ferguson / Richard Crouch / /

Position

special purpose planner / /

ProgrammingLanguage

Prolog / Lisp / SHRDLU / /

Technology

automated reasoning technology / knowledge representation technology / artificial intelligence / natural language technology / knowledge representation technologies / http / translation algorithm / html / /

URL

http /

SocialTag