DBLP:conf/ijcai/CalvaneseGL99 + redirect page
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees + Has identifier
| Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees |
Has publishing details
pp. 84-89, 1999
Has title
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai99.html#CalvaneseGL99
Has where published
IJCAI
Has year
1999
Has author
Diego Calvanese +, Giuseppe De Giacomo +, Maurizio Lenzerini +
Has identifier
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees +
Categories Proceeding Paper +
|
