8337 search results - page 142 / 1668 » Reasoning With Characteristic Models |
140
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
This paper elaborates on some of the fundamental contributions made by John Mylopoulos in the area of Requirements Engineering. We specifically focus on the use of goal models and ...
130
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
In description logics, concrete domains are used to model concrete properties such as weight, name, or age, having concrete values such as integers or strings, with built-in predic...
116
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool that combines a hierarchical graphical layout and instant reasoning feedback for (the most rationa...
134
click to vote
TIME
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
159
Voted
CSL
2006
Springer
15 years 8 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...