Sciweavers

2152 search results - page 203 / 431
» On Automating the Calculus of Relations
Sort
View
ICLP
2010
Springer
15 years 10 months ago
Bisimilarity in Concurrent Constraint Programming
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
Andres A. Aristizabal P.
ICLP
2010
Springer
15 years 10 months ago
Models for Trustworthy Service and Process Oriented Systems
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
Hugo A. López
ER
2007
Springer
88views Database» more  ER 2007»
16 years 20 days ago
Teaching a Schema Translator to Produce O/R Views
This paper describes a rule-based algorithm to derive a relational schema from an extended entity-relationship model. Our work is based on an approach by Atzeni and Torlone in whic...
Peter Mork, Philip A. Bernstein, Sergey Melnik
ILP
2007
Springer
16 years 20 days ago
Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilistic Estimates
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...
Mark Goadrich, Jude W. Shavlik
KR
2004
Springer
15 years 12 months ago
An Experimental Analysis of Possibilistic Default Reasoning
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...
Salem Benferhat, Jean-François Bonnefon, Ru...