3845 search results - page 651 / 769 » Belief Logic Programming |
169
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
152
click to vote
AGP
1999
IEEE
15 years 10 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
159
click to vote
EUROMICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose an hardware solution to several security problems that are difficult to solve on classical processor architectures, like licensing, electronic commerce, or software pri...
180
Voted
BIRTHDAY
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
151
Voted
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
The Department of Defense (DoD) needs multilevel secure (MLS) workflow management systems to enable globally distributed users and applications to cooperate across classification l...