2469 search results - page 191 / 494 » Representations of Metabolic Knowledge |
189
click to vote
TABLEAUX
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
180
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
196
click to vote
JELIA
2004
Springer
16 years 3 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
188
click to vote
ICVS
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents an extensible architectural model for general content-based analysis and indexing of video data which can be customised for a given problem domain. Video interp...
190
click to vote
LPKR
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents an extension of disjunctive datalog (Datalog∨ ) by nested rules. Nested rules are (disjunctive) rules where elements of the head may be also rules. ...