2500 search results - page 111 / 500 » Logical Semantics of Modularisation |
105
click to vote
ENTCS
2008
15 years 3 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
104
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
115
click to vote
IANDC
2010
15 years 1 months ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
126
click to vote
EPIA
2005
Springer
15 years 8 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
133
click to vote
EUSFLAT
2007
15 years 4 months ago
2007
Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear Progr...