Open AccessA 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