Sciweavers

1679 search results - page 153 / 336
» Strong order equivalence
Sort
View
FLAIRS
2008
13 years 11 months ago
On the Compilation of Possibilistic Default Theories
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...
Salem Benferhat, Safa Yahi, Habiba Drias
EDBTW
2006
Springer
13 years 11 months ago
Efficient Integrity Checking over XML Documents
The need for incremental constraint maintenance within collections of semi-structured documents has been ever increasing in the last years due to the widespread diffusion of XML. T...
Daniele Braga, Alessandro Campi, Davide Martinengh...
ECAI
2008
Springer
13 years 10 months ago
A Formal Approach for RDF/S Ontology Evolution
Abstract. In this paper, we consider the problem of ontology evolution in the face of a change operation. We devise a general-purpose algorithm for determining the effects and side...
George Konstantinidis, Giorgos Flouris, Grigoris A...
ESWS
2008
Springer
13 years 10 months ago
Managing URI Synonymity to Enable Consistent Reference on the Semantic Web
The Web of Data is growing at an ever increasing rate, with RDF datasets being produced in the order of billions of triples. The effect of this increase has meant that many entitie...
Afraz Jaffri, Hugh Glaser, Ian Millard
ACL
2008
13 years 10 months ago
A Discriminative Latent Variable Model for Statistical Machine Translation
Large-scale discriminative machine translation promises to further the state-of-the-art, but has failed to deliver convincing gains over current heuristic frequency count systems....
Phil Blunsom, Trevor Cohn, Miles Osborne