1097 search results - page 144 / 220 » Revision Programming = Logic Programming Integrity Constra... |
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...
115
click to vote
LPNMR
1990
Springer
15 years 7 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
189
Voted
COOPIS
1998
IEEE
15 years 7 months ago
1998
IEEE
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...
147
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
140
Voted
KES
2006
Springer
15 years 3 months ago
2006
Springer
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...