Topology and Knowledge of Multiple Agents
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
Observational Effort and Formally Open Mappings
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
The mathematical morpho-logical view on reasoning about space
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
An overview of AI research in Italy
Artificial intelligence
A decidable spatial logic with cone-shaped cardinal directions
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
A linguistic ontology of space for natural language processing
Artificial Intelligence
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Expert Systems with Applications: An International Journal
CLP(QS): a declarative spatial reasoning framework
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
The cantor space as a generic model of topologically presented knowledge
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
Transforming semi-structured life science diagrams into meaningful domain ontologies with DiDOn
Journal of Biomedical Informatics
Extension properties of boolean contact algebras
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Integration of gesture and verbal language: a formal semantics approach
GW'11 Proceedings of the 9th international conference on Gesture and Sign Language in Human-Computer Interaction and Embodied Communication
From machine learning to machine reasoning
Machine Learning
| Hi-index | 0.02 |