834 search results - page 10 / 167 » Anaphora and the Logic of Change |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
The essence of any modeling approach for product line architectures lies in its ability to express variability. Existing approaches do so by explicitly specifying variation points...
SWWS
2008
13 years 10 months ago
2008
We propose a set of metrics for measuring the semantic implications of changes during ontology evolution. Our metrics focus on the changes of classes and associated axioms or annot...
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
— In many verification tools methods for functional simulation based on reduced ordered Binary Decision Diagrams (BDDs) are used. The evaluation time for a BDD can be crucial an...
JAIR
2010
13 years 7 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
FLAIRS
1998
13 years 10 months ago
1998
Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the represen...