1391 search results - page 206 / 279 » Completeness of Neighbourhood Logic |
175
click to vote
GLOBECOM
2008
IEEE
16 years 19 days ago
2008
IEEE
— Passive Optical Networks (PONs) represent a step forward in “first mile” networks; indeed, by using optical technologies, PONs can transfer a large amount of data, and by ...
158
click to vote
TASE
2008
IEEE
16 years 17 days ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
170
click to vote
VL
2007
IEEE
16 years 13 days ago
2007
IEEE
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...
154
click to vote
CSL
2007
Springer
16 years 11 days ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...
158
click to vote
DEXA
2007
Springer
16 years 11 days ago
2007
Springer
The retrieval problem is one of the main reasoning tasks for knowledge base systems. Given a knowledge base K and a concept C, the retrieval problem consists of finding all indivi...