2501 search results - page 218 / 501 » Logics with Rank Operators |
105
click to vote
EATCS
2000
15 years 4 months ago
2000
One of the previous articles in this column was devoted to the zero-one laws for a number of logics playing prominent role in finite model theory: first-order logic FO, the extens...
142
Voted
DLOG
2009
15 years 2 months ago
2009
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
127
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
148
click to vote
BIBM
2007
IEEE
15 years 11 months ago
2007
IEEE
Clustering has been shown to be effective in analyzing functional relationships of genes. However, no single clustering method with single distance metric is capable of capturing ...
124
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...