4266 search results - page 31 / 854 » A Framework for Defining Logics |
CORR
2002
Springer
14 years 9 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...
118
click to vote
COMSIS
2010
14 years 7 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
MEDINFO
2007
14 years 11 months ago
2007
Health information systems (HIS) in their current form are rarely sustainable. In order to sustain our health information systems and with it our health systems, we need to focus ...
91
Voted
FOSSACS
2009
Springer
15 years 1 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
106
Voted
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...