4224 search results - page 140 / 845 » Reasoning about Choice |
189
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules...
184
click to vote
SETN
2010
Springer
15 years 5 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...
161
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, multiple on-board sensors are used to assess the terrain safety in real-time during spacecraft descent. A linguistic, fuzzy rule-based reasoning engine is used t...
155
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Robots’ interaction with humans raises new issues for geometrical reasoning where the humans must be taken explicitly into account. We claim that a human-aware motion system ...
194
click to vote
SARA
2007
Springer
16 years 1 months ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...