9145 search results - page 255 / 1829 » Description Logic Systems |
153
click to vote
ENTCS
2008
15 years 6 months ago
2008
Coequations, which are subsets of a cofree coalgebra, can be viewed as properties of systems. In case of a polynomial functor, a logic of coequations was formulated by J. Ad
156
click to vote
LOGCOM
2007
15 years 6 months ago
2007
In this paper we present s1, a family of logics that is useful to disprove propositional formulas by means of an anytime approximation process. The systems follows the paradigm of...
190
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Large volumes of morphological descriptions of whole organisms have been created as print or electronic text in a human-readable format. Converting the descriptions in...
193
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
169
click to vote
AIIA
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular...