On the Integration of Recursive-Theories
A Vitória, M Mamede - Conference of the Canadian Society for …, 2000 - Springer
… with recursive definitions of concepts. To the best of our knowledge, the problem of integrating
… candidate to be studied from the point of view of integrating description logic theories. A …
… candidate to be studied from the point of view of integrating description logic theories. A …
On the Integration of Recursive ACA-Theories
A Vitória, M Mamede - … 13th Biennial Conference of the Canadian …, 2000 - books.google.com
… with recursive definitions of concepts. To the best of our knowledge, the problem of integrating
… A framework for integrating ALN-theories with recursive definitions. In A. Brogi and P. …
… A framework for integrating ALN-theories with recursive definitions. In A. Brogi and P. …
[BOOK][B] Advances in Artificial Intelligence: 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000 Montreal, Quebec …
HJ Hamilton - 2000 - books.google.com
AI2000 was the 13th in the series of biennial Arti cial Intelligence conf-ences sponsored by
the Canadian Society for Computational Studies of Int-ligence/Soci et e canadienne pour l'…
the Canadian Society for Computational Studies of Int-ligence/Soci et e canadienne pour l'…
[PDF][PDF] SCE| O
R Mercer - caiac.ca
A survey of alternatives to model temporal objects in the Artificial Intelligence and Temporal
Databases communities is presented. We mainly focus on the ontology and formal modeling …
Databases communities is presented. We mainly focus on the ontology and formal modeling …
[CITATION][C] A framework for integrating ALN-theories with recursive definitions
A Vitória, M Mamede - Proc. of the 2nd International Workshop on Component …, 1999