4211 search results - page 266 / 843 » A formal approach to MASQ |
167
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
179
click to vote
NMR
2004
Springer
16 years 1 days ago
2004
Springer
Current literature offers a number of different approaches to what could generally be called “probabilistic logic programming”. These are usually based on Horn clauses. Here, ...
160
click to vote
SAS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
168
click to vote
CIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
169
click to vote
SSD
1999
Springer
15 years 11 months ago
1999
Springer
This work is a contribution to the developing literature on multi-resolution data models. It considers operations for model-oriented generalization in the case where the underlying...