908 search results - page 11 / 182 » Generating maximal models using the stable model semantics |
IJCAI
2007
14 years 11 months ago
2007
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
93
Voted
ASP
2001
Springer
15 years 2 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
84
Voted
INEX
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper explores the possibility of using a modified Expectation-Maximization algorithm to estimate parameters for a simple hierarchical generative model for XML retr...
65
Voted
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
129
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
Much research effort on Automatic Image Annotation
(AIA) has been focused on Generative Model, due to its
well formed theory and competitive performance as compared
with many we...