Sciweavers

488 search results - page 19 / 98
» Logic Programming to Address Issues of the Semantic Web
Sort
View
119
Voted
EDBTW
2006
Springer
15 years 7 months ago
Twelve Theses on Reactive Rules for the Web
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
François Bry, Michael Eckert
151
Voted
CL
2000
Springer
15 years 8 months ago
Proving Failure in Functional Logic Programs
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
Francisco Javier López-Fraguas, Jaime S&aac...
164
Voted
CSWWS
2006
15 years 7 months ago
A Semantic Web Mediation Architecture
Abstract. Heterogeneity is an inherent characteristic of open and distributed environments like the Internet that can hamper Web resources and Web services from successful interope...
Michael Stollberg, Emilia Cimpian, Adrian Mocan, D...
130
Voted
LPNMR
2009
Springer
15 years 8 months ago
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
Hui Wan, Michael Kifer
126
Voted
AAAI
2008
15 years 6 months ago
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
Paul Fodor