z-logo
open-access-imgOpen Access
A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants
Author(s) -
Stella Giannakopoulou,
Charalampos Nikolaou,
Manolis Koubarakis
Publication year - 2014
Publication title -
proceedings of the aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v28i1.9123
Subject(s) - semantic reasoner , consistency (knowledge bases) , constant (computer programming) , computer science , theoretical computer science , algorithm , computational science , artificial intelligence , programming language

The content you want is available to Zendy users.

Already have an account? Click here to sign in.
Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom