Sciweavers

2783 search results - page 145 / 557
» The Nature Of Near-Synonymic Relations
Sort
View
ICAIL
2007
ACM
15 years 5 months ago
Argumentation and standards of proof
In this paper we examine some previous AI and Law attempts to characterise standards of proof, and relate these to the notions of acceptability found in argumentation frameworks, ...
Katie Atkinson, Trevor J. M. Bench-Capon
103
Voted
AAAI
2000
15 years 2 months ago
Semantics and Inference for Recursive Probability Models
In recent years, there have been several proposals that extend the expressive power of Bayesian networks with that of relational models. These languages open the possibility for t...
Avi Pfeffer, Daphne Koller
JAPLL
2008
76views more  JAPLL 2008»
15 years 1 months ago
Axiomatizing geometric constructions
In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to ge...
Victor Pambuccian
LPAR
2007
Springer
15 years 7 months ago
Completeness and Decidability in Sequence Logic
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
Marc Bezem, Tore Langholm, Michal Walicki
ICDM
2006
IEEE
152views Data Mining» more  ICDM 2006»
15 years 7 months ago
Application of Graph-based Data Mining to Metabolic Pathways
We present a method for finding biologically meaningful patterns on metabolic pathways using the SUBDUE graph-based relational learning system. A huge amount of biological data t...
Chang Hun You, Lawrence B. Holder, Diane J. Cook