Sciweavers

506 search results - page 50 / 102
» Logics for Action
Sort
View
CLIMA
2004
15 years 1 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
15 years 1 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
JANCL
2007
95views more  JANCL 2007»
14 years 11 months ago
Dynamic logic of preference upgrade
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
Johan van Benthem, Fenrong Liu
FUZZIEEE
2007
IEEE
15 years 3 months ago
A Linguistic Multi-level Weighted Query Language to Represent User Information Needs
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
Enrique Herrera-Viedma, Antonio Gabriel Lóp...
AIMSA
2008
Springer
15 years 6 months ago
A Logical Approach to Dynamic Role-Based Access Control
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
Philippe Balbiani, Yannick Chevalier, Marwa El Hou...