Sciweavers

3321 search results - page 236 / 665
» The Future of Knowledge Representation
Sort
View
CAISE
2004
Springer
16 years 4 hour ago
Data Integration Using ID-Logic
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...
Bert Van Nuffelen, Alvaro Cortés-Calabuig, ...
JELIA
2004
Springer
15 years 12 months ago
On the Relation Between ID-Logic and Answer Set Programming
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...
Maarten Mariën, David Gilis, Marc Denecker
ICVS
2003
Springer
15 years 11 months ago
A Self-Referential Perceptual Inference Framework for Video Interpretation
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...
Christopher Town, David Sinclair
LPKR
1997
Springer
15 years 10 months ago
DATALOG with Nested Rules
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. ...
Sergio Greco, Nicola Leone, Francesco Scarcello
ACMICEC
2006
ACM
120views ECommerce» more  ACMICEC 2006»
15 years 10 months ago
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
This paper presents a visual application in the framework of semantic-enabled e-marketplaces aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-mar...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...