79 search results - page 3 / 16 » The Representation of Defaults in Cyc |
COLING
1999
13 years 4 months ago
1999
CORR
1999
Springer
13 years 4 months ago
1999
Springer
ISMB
1993
13 years 6 months ago
1993
Construction of electronic repositories of metabolic information is an increasingly active area of research. Encoding detailed knowledge of a complex biological domain requires ï¬...
JELIA
2004
Springer
13 years 10 months ago
2004
Springer
In this work we reconsider the replacement of predicate-like notation by functional terms, using a similar syntax to Functional Logic Programming, but under a completely different...
ASP
2001
Springer
13 years 9 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...