2409 search results - page 65 / 482 » Logical systems for structured specifications |
107
click to vote
ENTCS
2006
15 years 1 months ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
107
click to vote
RR
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
In this article we present a study based on the use of texture features for logical pre-labeling. The aim of our work is to calculate a great number of texture features over three...
123
click to vote
OWLED
2008
15 years 2 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of ...