4573 search results - page 504 / 915 » Automated Reasoning |
132
Voted
ISMB
1993
15 years 6 months ago
1993
Wesurvey and discuss issues required of intelligent systems to support research efforts in locus mapping. In particular wefocus on the issues of order, on howone can automate the ...
116
Voted
IJCAI
1997
15 years 6 months ago
1997
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
148
Voted
DLOG
2010
15 years 3 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
153
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
139
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...