Back to Results
First PageMeta Content
Science / Constraint programming / Deduction / Computational topology / Region connection calculus / Spatial–temporal reasoning / Entailment / Dimensional analysis / Logic / Cognitive science / Knowledge representation


Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity ∗ Weiming Liu1 and Sanjiang Li1,2† and Jochen Renz3 1 State Key Laboratory of Intelligent Technology and Systems, TNLIST,
Add to Reading List

Document Date: 2009-06-11 03:18:18

Open Document

File Size: 616,21 KB

Share Result on Facebook

Company

3SAT / Jochen Renz3 1 State Key Laboratory / Microsoft / AAAI Press / /

Country

Australia / China / /

/

Facility

State Key Laboratory of Intelligent Technology / Information Technology University of Technology / Tsinghua University / The Australian National University / /

IndustryTerm

regular solution / constraint networks / potential applications / canonical solution / joint network / exponential decision algorithm / cubic realization algorithm / reasoning algorithms / valid solution / inconsistent network / canonical rectangle solution / regular solutions / basic constraint network / consistent regular solution / cubic algorithm / basic network / maximal solution / constraint network / basic networks / joint basic network / similar algorithm / /

Organization

Centre for Quantum Computation and Intelligent Systems / Tsinghua University / Faculty of Engineering / Department of Computer Science and Technology / University of Technology / Sydney / Australian National University / Research School of Information Sciences and Engineering / /

Person

Vladimir Lifschitz / Ai / Bruce Porter / /

Position

editor / planner / Corresponding author / /

Product

RCC8 / /

ProgrammingLanguage

EC / DC / /

Technology

JSP / exponential decision algorithm / Information Technology / cubic realization algorithm / similar algorithm / cubic algorithm / /

SocialTag