225 search results - page 4 / 45 » Defining new argumentation-based semantics by minimal models |
AAAI
2008
13 years 9 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
ASM
2003
ASM
14 years 20 days ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Ontologies play a key role in the realization of the Semantic Web. An ontology is used as an explicit specification of a shared conceptualization of a given domain. When such a dom...
LREC
2008
13 years 9 months ago
2008
In this paper, we present an original framework to model frame semantic resources (namely, FrameNet) using minimal supervision. This framework can be leveraged both to expand an e...
NIPS
2004
13 years 8 months ago
2004
The correction of bias in magnetic resonance images is an important problem in medical image processing. Most previous approaches have used a maximum likelihood method to increase...