Sciweavers

3319 search results - page 42 / 664
» Subshifts, Languages and Logic
Sort
View
CLIMA
2004
13 years 11 months ago
Planning Experiments in the DALI Logic Programming Language
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
Stefania Costantini, Arianna Tocchio
WOA
2003
13 years 11 months ago
Strips-like Planning in the DALI Logic Programmming Language
— In this paper we discuss how some features of the new logic programming language DALI for agents and multiagent systems are suitable to programming agents equipped with plannin...
Stefania Costantini, Arianna Tocchio
SP
1997
IEEE
134views Security Privacy» more  SP 1997»
14 years 1 months ago
A Logical Language for Expressing Authorizations
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
Sushil Jajodia, Pierangela Samarati, V. S. Subrahm...
ERSHOV
2009
Springer
14 years 4 months ago
A Query Language for Logic Architectures
Anton Malykh, Andrei Mantsivoda
LFCS
2009
Springer
14 years 4 months ago
Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
In this paper we consider languages of labelled N-free posets over countable and scattered linear orderings. We prove that a language of such posets is series-rational if and only ...
Nicolas Bedon