DBLP:conf/aaai/GiacomoL94 + redirect page
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics + Has identifier
| Boosting the Correspondence between Description Logics and Propositional Dynamic Logics |
Has publishing details
pp. 205-212, 1994
Has title
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai94-1.html#GiacomoL94
Has where published
AAAI
Has year
1994
Has author
Giuseppe De Giacomo +, Maurizio Lenzerini +
Has identifier
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics +
Categories Proceeding Paper +
|
