Sciweavers

4555 search results - page 21 / 911
» Deductive Algorithmic Knowledge
Sort
View
VLDB
1998
ACM
95views Database» more  VLDB 1998»
14 years 1 months ago
From Data Independence to Knowledge Independence: An on-going Story
It is today widely acceptedthat "Business Rules Independence" is required for information systemsto better and more rapidly adjust to changesin thebusinessenvironment,Th...
Laurent Vieille
CIKM
1999
Springer
14 years 1 months ago
Binary String Relations: A Foundation for Spatiotemporal Knowledge Representation
The paper is concerned with the qualitative representation of spatiotemporal relations. We initially propose a multiresolution framework for the representation of relations among ...
Vasilis Delis, Thanasis Hadzilacos
PSSS
2003
13 years 10 months ago
Inferencing and Truth Maintenance in RDF Schema
Contrary to earlier reports in literature, exhaustive forward inferencing is a feasible approach for practical RDF. It is sufficiently fast and the increase in necessary storage s...
Jeen Broekstra, Arjohn Kampman
CIKM
2007
Springer
14 years 3 months ago
Reasoning about vague topological information
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
Steven Schockaert, Martine De Cock
ATAL
2006
Springer
14 years 24 days ago
Belief revision for AgentSpeak agents
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...
Natasha Alechina, Rafael H. Bordini, Jomi Fred H&u...