Sciweavers

3970 search results - page 70 / 794
» A Logic For Causal Reasoning
Sort
View
SETN
2010
Springer
15 years 2 months ago
A Reasoning Framework for Ambient Intelligence
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...
Theodore Patkos, Ioannis Chrysakis, Antonis Bikaki...
128
Voted
DLOG
2001
15 years 5 months ago
Description of the RACER System and its Applications
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 ...
Volker Haarslev, Ralf Möller
104
Voted
CADE
2008
Springer
16 years 4 months ago
Evaluation of Systems for Higher-order Logic (ESHOL)
Christoph Benzmüller, Florian Rabe, Carsten S...
121
Voted
CADE
2006
Springer
16 years 4 months ago
Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
Allen Van Gelder, Geoff Sutcliffe