5122 search results - page 203 / 1025 » Comparing Consequence Relations |
135
Voted
KR
1992
Springer
15 years 7 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
181
Voted
KR
1991
Springer
15 years 7 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
114
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Much effort is currently made to develop the Gene Ontology (GO). Due to the dynamic nature of information it addresses, GO undergoes constant updates whose results are...
145
Voted
GIL
2011
14 years 3 months ago
2011
Abstract: Several global developments such as the growing demand for bioenergy, limits in the availability of water and diminishing production resources as well as sector-wide cris...
156
click to vote
ISORC
2009
IEEE
15 years 10 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...