Sciweavers

2138 search results - page 213 / 428
» Logics for the Relational Syllogistic
Sort
View
TPLP
2002
117views more  TPLP 2002»
13 years 8 months ago
On Properties of Update Sequences Based on Causal Rejection
In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new informat...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
ILP
2007
Springer
14 years 2 months 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
LOPSTR
1998
Springer
14 years 17 days ago
Improving Homeomorphic Embedding for Online Termination
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
Michael Leuschel
ECAI
2006
Springer
14 years 23 hour ago
Background Default Knowledge and Causality Ascriptions
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on background...
Jean-François Bonnefon, Rui Da Silva Neves,...
KRDB
2003
121views Database» more  KRDB 2003»
13 years 9 months ago
Knowledge Representation using Schema Tuple Queries
This paper introduces schema tuple queries and argues for their suitability in representing knowledge over standard relational databases. Schema tuple queries are queries that ret...
Michael Minock