Back to Results
First PageMeta Content
Philosophical logic / Model theory / Deduction / Symbol / Entailment / Structure / Interpretation / If and only if / Modal logic / Logic / Metalogic / Binary operations


QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC Konstantine Arkoudas, Selmer Bringsjord Departments of Cognitive and Computer Science, RPI, Troy, NY, USA [removed], [removed]
Add to Reading List

Document Date: 2012-09-06 02:48:10

Open Document

File Size: 202,90 KB

Share Result on Facebook

City

Berlin / London / Hamburg / Baltimore / Chicago / Paris / /

Company

IBM / CNF / Translation To / QSR / Selmer Bringsjord / /

/

Event

Reorganization / Product Issues / Product Recall / /

Facility

Princeton University / /

IndustryTerm

Similar systems / relative reference systems / absolute reference systems / present systems / pathconsistency algorithms / geographic information systems / software verification / /

Organization

Princeton University / Sangeet Khemlani Department of Cognitive Science / Federal Bureau of Investigation / /

Person

Proc / /

Position

Colonel / editor / General / /

Product

Translation To SAT / /

PublishedMedium

Communications of the ACM / Lecture Notes in Computer Science / /

Technology

RAM / SAT-solving technology / artificial intelligence / pathconsistency algorithms / /

SocialTag