404 search results - page 7 / 81 » Multi-dimensional Dynamic Logic Programming |
DALT
2006
Springer
14 years 8 days ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
FSTTCS
2000
Springer
14 years 5 days ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
ICLP
1997
Springer
14 years 22 days ago
1997
Springer
ATAL
2001
Springer
14 years 7 days ago
2001
Springer
