1544 search results - page 295 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
BIRTHDAY
1991
Springer
15 years 3 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
128
click to vote
TMC
2012
13 years 2 months ago
2012
Abstract—We consider the problem of relay-assisted transmission for cellular networks. In the considered system, a source node together with n relay nodes are selected in a propo...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
105
click to vote
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
IWSSD
1993
IEEE
15 years 3 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...