290 search results - page 13 / 58 » A Metamodeling Approach for Reasoning about Requirements |
AINA
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
DLOG
2003
14 years 10 months ago
2003
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
155
click to vote
AIME
2003
Springer
15 years 2 months ago
2003
Springer
Objective: Deep biomedical models are often expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and make decisions, g...
LOPSTR
2009
Springer
15 years 4 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
UAI
2004
14 years 10 months ago
2004
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about uncertainty ...