3970 search results - page 70 / 794 » A Logic For Causal Reasoning |
SETN
2010
Springer
13 years 6 months ago
2010
Springer
Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial n...
DLOG
2001
13 years 9 months ago
2001
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized ...
CADE
2003
Springer
14 years 8 months ago
2003
Springer
CADE
2008
Springer
14 years 8 months ago
2008
Springer
CADE
2006
Springer
14 years 8 months ago
2006
Springer
