2859 search results - page 380 / 572 » A Programming Environment for Bousi-Prolog |
199
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
148
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
Traditionally, optimizers are “programmed” to optimize queries following a set of buildin procedures. However, optimizers should be robust to its changing environment to gener...
149
click to vote
SIGGRAPH
1987
ACM
15 years 10 months ago
1987
ACM
The aggregate motion of a flock of birds, a herd of land animals, or a school of fish is a beautiful and familiar part of the natural world. But this type of complex motion is rar...
161
click to vote
AIIDE
2008
15 years 8 months ago
2008
As the non-playable characters (NPCs) of squad-based shooter computer games share a common goal, they should work together in teams and display cooperative behaviours that are tac...
161
click to vote
AIPS
2008
15 years 8 months ago
2008
We address the problem of coordinating the plans and schedules for a team of agents in an uncertain and dynamic environment. Bounded rationality, bounded communication, subjectivi...