5122 search results - page 740 / 1025 » Comparing Consequence Relations |
152
click to vote
AAAI
2008
15 years 9 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
160
click to vote
DLOG
2007
15 years 9 months ago
2007
In this paper we deal with the problem of providing natural language front-ends to databases upon which an ontology layer has been added. Specifically, we are interested in expres...
185
click to vote
ICIA
2007
15 years 9 months ago
2007
There is a growing interest in intelligent assistants for a variety of applications from organizing tasks for knowledge workers to helping people with dementia. In our earlier wor...
177
click to vote
ISMB
2007
15 years 9 months ago
2007
Gene duplication and divergence is a major evolutionary force. Despite the growing number of fully sequenced genomes, methods for investigating these events on a genome-wide scale...
184
click to vote
WSC
2007
15 years 9 months ago
2007
Developing and analyzing schedules is essential for successfully controlling the time aspect of construction projects. The critical path method of scheduling is by far the most wi...