Sciweavers

1912 search results - page 252 / 383
» GOAL as a Planning Formalism
Sort
View
CCS
2006
ACM
15 years 10 months ago
On the modeling and analysis of obligations
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
Keith Irwin, Ting Yu, William H. Winsborough
LPNMR
1995
Springer
15 years 10 months ago
Skeptical Rational Extensions
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
Artur Mikitiuk, Miroslaw Truszczynski
CHI
2010
ACM
15 years 9 months ago
Informal interactions in nonprofit networks
Nonprofit organizations often need to excel in coordinating with other organizations and must do so in a variety of contexts and levels from the informal to the formal. Their abil...
Jennifer Stoll, W. Keith Edwards, Elizabeth D. Myn...
ML
2006
ACM
122views Machine Learning» more  ML 2006»
15 years 6 months ago
PRL: A probabilistic relational language
In this paper, we describe the syntax and semantics for a probabilistic relational language (PRL). PRL is a recasting of recent work in Probabilistic Relational Models (PRMs) into ...
Lise Getoor, John Grant
JUCS
2007
98views more  JUCS 2007»
15 years 6 months ago
Using Visitor Patterns in Object-Oriented Action Semantics
Abstract: Object-Oriented Action Semantics is a semantic framework for the definition of programming languages. The framework incorporates some object-oriented concepts to the Act...
André Murbach Maidl, Cláudio Carvilh...