Back to Results
First PageMeta Content
Non-classical logic / Science / Knowledge representation / Model theory / Artificial intelligence / Frame problem / Situation calculus / Circumscription / Modal logic / Logic / Mathematical logic / Logic programming


Handbook of Knowledge Representation Edited by B. Porter, V. Lifschitz and F. van Harmelen c 2008 Elsevier All rights reserved 1
Add to Reading List

Document Date: 2011-05-25 06:07:08

Open Document

File Size: 646,55 KB

Share Result on Facebook

City

Stockholm / /

Event

Person Travel / /

IndustryTerm

software system / quantifier elimination algorithm / detailed solution / on-line discussions / software tools / on-line use / law abiding / partial solutions / /

Person

Jonas Kvarnstr¨om / Boris / V. Lifschitz / Logics Patrick Doherty / B. Porter / V / F. van Harmelen / Vladimir Lifschitz / Erik / Dimiter / /

Position

knowledge engineer / businessman / forward chaining planner / planner / Porter / /

Technology

object-oriented programming / quantifier elimination algorithm / artificial intelligence / dom / /

SocialTag