Sciweavers

488 search results - page 42 / 98
» Logic Programming to Address Issues of the Semantic Web
Sort
View
AICT
2006
IEEE
113views Communications» more  AICT 2006»
14 years 1 months ago
QoS awareness support in Web-Service semantics
Web Services (WSs) are a new breed of web application that have brought out quite challenging research issues. One of these is the establishment of an interoperable semantic frame...
Dimitrios T. Tsesmetzis, Ioanna Roussaki, Ioannis ...
TPHOL
2005
IEEE
14 years 1 months ago
Alpha-Structural Recursion and Induction
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
Andrew M. Pitts
IFIP
2004
Springer
14 years 1 months ago
Three decades of data integration - All problems solved?
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...
Patrick Ziegler, Klaus R. Dittrich
RR
2007
Springer
14 years 1 months ago
Decidability Under the Well-Founded Semantics
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
Natalia Cherchago, Pascal Hitzler, Steffen Hö...
IFIP
2010
Springer
13 years 2 months ago
Semantics of Trust
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
Tim Muller