DBLP:conf/aaai/BaaderLMSW05 + redirect page
Integrating Description Logics and Action Formalisms: First Results + Has identifier
| Integrating Description Logics and Action Formalisms: First Results |
Has publishing details
pp. 572-577, 2005
Has title
Integrating Description Logics and Action Formalisms: First Results
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2005.html#BaaderLMSW05
Has where published
AAAI
Has year
2005
Has author
Franz Baader +, Carsten Lutz +, Maja Milicic +, Ulrike Sattler +, Frank Wolter +
Has identifier
Integrating Description Logics and Action Formalisms: First Results +
Categories Proceeding Paper +
|
