Sciweavers

2599 search results - page 267 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
ENGL
2007
73views more  ENGL 2007»
15 years 6 months ago
Updates Under Pstable
—Based on a recent view of Pstable models that allows talking about knowledge and beliefs of an agent, we propose an extension of the AGM postulates based on these notions. To th...
Fernando Zacarias Flores, Mauricio Osorio Galindo,...
ESWS
2007
Springer
16 years 22 days ago
Algorithms for Paraconsistent Reasoning with OWL
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
Yue Ma, Pascal Hitzler, Zuoquan Lin
CORR
2011
Springer
151views Education» more  CORR 2011»
14 years 10 months ago
A New Representation Theorem for Many-valued Modal Logics
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
Zoran Majkic
GISCIENCE
2010
Springer
215views GIS» more  GISCIENCE 2010»
15 years 6 months ago
Microtheories for Spatial Data Infrastructures - Accounting for Diversity of Local Conceptualizations at a Global Level
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
Stephanie Duce, Krzysztof Janowicz
KAIS
2008
151views more  KAIS 2008»
15 years 6 months ago
Expertise-based peer selection in Peer-to-Peer networks
Abstract. Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining th...
Peter Haase, Ronny Siebes, Frank van Harmelen