506 search results - page 19 / 102 » Constructor-based observational logic |
83
Voted
AIL
1998
15 years 8 days ago
1998
In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directl...
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
97
Voted
SAS
2004
Springer
15 years 5 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
77
Voted
JOLLI
2008
15 years 16 days ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
106
click to vote
CORR
2004
Springer
15 years 12 days ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...