1581 search results - page 273 / 317 » Mechanizing Inductive Reasoning |
ICCBR
1995
Springer
15 years 1 months ago
1995
Springer
There have been several e orts to create and use real maps in computer applications that automatically nd good map routes. In general, online map representations do not include in...
LICS
1991
IEEE
15 years 1 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
ICIA
2007
15 years 1 days ago
2007
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
VAMOS
2010
Springer
14 years 11 months ago
2010
Springer
During product configuration, users are prone to make errors because of complexity and lack of system knowledge. Such errors cause conflicts (i.e., incompatible choices selected) a...
MKWI
2008
14 years 11 months ago
2008
: Matchmaking between offers and requests is an essential mechanism in electronic market places. Description Logics have been proposed as a appropriate framework for representing o...