Back to Results
First PageMeta Content
Mathematical logic / Circumscription / Closed world assumption / Inference / Literal / Horn clause / Function / Logic / Logic programming / Mathematics


Ecient Reasoning using the Local Closed-World Assumption Patrick Doherty1? , Witold Lukaszewicz2, and Andrzej Szalas2 1 Department of Computer and Information Science,
Add to Reading List

Document Date: 2012-02-01 08:05:06

Open Document

File Size: 183,78 KB

Share Result on Facebook

City

Warsaw / /

Country

Poland / Sweden / /

Currency

pence / /

/

Facility

Institute of Informatics / Warsaw University / /

IndustryTerm

image processing module / realistic robotics applications / robotics applications / realistic applications / tractable algorithm / /

Organization

Warsaw University / Institute of Informatics / Department of Computer and Information Science / Wallenberg Foundation / /

Position

complete model of the region / Planner / /

Technology

incomplete / tractable algorithm / image processing / /

SocialTag