1670 search results - page 133 / 334 » On Skolemization in constructive theories |
162
click to vote
MMSEC
2006
ACM
16 years 12 days ago
2006
ACM
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
166
click to vote
SKG
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
137
click to vote
ATAL
2005
Springer
16 years 4 hour ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
161
click to vote
ATAL
2005
Springer
16 years 4 hour ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
165
click to vote
BIRTHDAY
2005
Springer
16 years 3 hour ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...