4401 search results - page 716 / 881 » Computing with Default Logic |
142
Voted
SGP
2003
15 years 4 months ago
2003
As the logical next step after sequencing the mouse genome, biologists have developed laboratory methods for rapidly determining where each of the 30K genes in the mouse genome is...
142
Voted
ISMB
1994
15 years 4 months ago
1994
The automatic generation of drawings of metabolic pathways is a challenging problem that depends intimately on exactly what information has been recorded for each pathway, and on ...
120
Voted
SLP
1994
15 years 4 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
149
Voted
AAAI
1990
15 years 4 months ago
1990
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
140
Voted
DEXA
2010
Springer
15 years 3 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...