3738 search results - page 477 / 748 » Parametrized Logic Programming |
84
Voted
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
116
Voted
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
117
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
102
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
79
Voted
ILP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. It is well known by Inductive Logic Programming (ILP) practioners that ILP systems usually take a long time to find valuable models (theories). The problem is specially ...