Sciweavers

2501 search results - page 73 / 501
» Semiotics and Intelligent Control
Sort
View
FLAIRS
2003
13 years 10 months ago
A Possibilistic Logic Encoding of Access Control
This paper proposes a modelling of information security policies in the framework of possibilistic logic. Our modelling is based on the concept of roles associated with users. Acc...
Salem Benferhat, Rania El Baida, Fréd&eacut...
ECAI
2010
Springer
13 years 9 months ago
A constructive conditional logic for access control: a preliminary report
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary form...
Valerio Genovese, Laura Giordano, Valentina Gliozz...
AI
1998
Springer
13 years 8 months ago
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
Fangzhen Lin
EVOW
2007
Springer
14 years 2 months ago
Creating Soundscapes Using Evolutionary Spatial Control
A new way to control sound spatial dispersion using the ESSynth Method is introduced here. The Interaural Time Difference (ITD) is used as genotype of an evolutionary control of so...
José Fornari, Adolfo Maia, Jônatas Ma...
ATAL
2005
Springer
14 years 2 months ago
Performance of digital pheromones for swarming vehicle control
The use of digital pheromones for controlling and coordinating swarms of unmanned vehicles is studied under various conditions to determine their effectiveness in multiple militar...
John A. Sauter, Robert S. Matthews, H. Van Dyke Pa...