Sciweavers

2539 search results - page 67 / 508
» Semantic frameworks for e-government
Sort
View
ERSHOV
2001
Springer
15 years 4 months ago
Reexecution-Based Analysis of Logic Programs with Delay Declarations
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
Agostino Cortesi, Baudouin Le Charlier, Sabina Ros...
AOSD
2012
ACM
13 years 7 months ago
A monadic interpretation of execution levels and exceptions for AOP
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
Nicolas Tabareau
NMR
2004
Springer
15 years 5 months ago
A recursive approach to argumentation: motivation and perspectives
In the context of Dung’s argumentation framework, we propose a general recursive schema for argumentation semantics, based on decomposition along the strongly connected componen...
Pietro Baroni, Massimiliano Giacomin
LREC
2008
102views Education» more  LREC 2008»
15 years 1 months ago
Towards a Vector Space Model for FrameNet-like Resources
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...
Marco Pennacchiotti, Diego De Cao, Paolo Marocco, ...
AI
2002
Springer
14 years 11 months ago
On the computational complexity of assumption-based argumentation for default reasoning
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...
Yannis Dimopoulos, Bernhard Nebel, Francesca Toni