2414 search results - page 110 / 483 » Reasoning Support for OWL-E |
172
click to vote
JANCL
2006
15 years 5 months ago
2006
We describe a relational framework that uniformly supports formalization and automated reasoning in various propositional modal logics. The proof system we propose is a relational ...
172
click to vote
IJCAI
2007
15 years 7 months ago
2007
A key problem in playing strategy games is learning how to allocate resources effectively. This can be a difficult task for machine learning when the connections between actions a...
140
click to vote
WIRTSCHAFTSINFORMATI
2003
15 years 7 months ago
2003
: Data warehouse projects, today, are in an ambivalent situation. On the one hand, data warehouses are critical for a company's success and various methodological and technolo...
193
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
154
Voted
IFIP
1989
Springer
15 years 9 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...