3515 search results - page 310 / 703 » On the semantics of Strategy Logic |
195
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—We explore the design of a logically centralized but physically distributed control plane for 4D architecture. 4D architecture proposes centralization of network-wide decision m...
178
click to vote
SARA
2000
Springer
15 years 11 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
214
click to vote
ICDAR
1995
IEEE
15 years 11 months ago
1995
IEEE
A system for the acquisition, storage, indexing, and retrieval of map images is presented. The input to this system are raster images of separate map layers and map composites. A ...
183
click to vote
CAV
1999
Springer
15 years 12 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
183
click to vote
AGP
1998
IEEE
15 years 12 months ago
1998
IEEE
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...