Sciweavers

1000 search results - page 35 / 200
» An RDF Query Language based on Logic Programming
Sort
View
FSS
2008
145views more  FSS 2008»
14 years 9 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
EUROPAR
2005
Springer
15 years 3 months ago
Soft Computing Approach to Performance Analysis of Parallel and Distributed Programs
This paper describes a novel approach to performance analysis for parallel and distributed systems that is based on soft computing. We introduce the concept of performance score re...
Hong Linh Truong, Thomas Fahringer
91
Voted
IJCAI
1993
14 years 11 months ago
A Language for Implementing Arbitrary Logics
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
Mark Tarver
KRDB
2003
111views Database» more  KRDB 2003»
14 years 11 months ago
A Framework for Answering Queries using Multiple Representation and Inference Techniques
The Polylog framework is designed to provide a language for efficiently automating complex queries of information represented in multiple formats. A Polylog program contains a set...
Nicholas L. Cassimatis
ICFP
2009
ACM
15 years 10 months ago
Identifying query incompatibilities with evolving XML schemas
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
Nabil Layaïda, Pierre Genevès, Vincent...