2501 search results - page 165 / 501 » Logics with Rank Operators |
160
click to vote
ICCS
1998
Springer
15 years 8 months ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
123
click to vote
AGP
1993
IEEE
15 years 8 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
143
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
118
click to vote
IFIPTCS
2000
15 years 8 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
137
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...