4573 search results - page 482 / 915 » Automated Reasoning |
180
click to vote
DLOG
2006
15 years 7 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
146
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
149
click to vote
INAP
2001
Springer
15 years 10 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
168
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
286
click to vote
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...