3793 search results - page 361 / 759 » Expressive Description Logics |
185
Voted
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
183
Voted
ICLP
1997
Springer
15 years 11 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
186
click to vote
FUIN
2008
15 years 6 months ago
2008
Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredic...
179
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
192
Voted
ACL
2009
15 years 4 months ago
2009
Recent work on temporal relation identification has focused on three types of relations between events: temporal relations between an event and a time expression, between a pair o...