Sciweavers

1426 search results - page 25 / 286
» Specification of nonmonotonic reasoning
Sort
View
ADC
2004
Springer
109views Database» more  ADC 2004»
15 years 1 months ago
A Model of Dynamic Resource Allocation in Workflow Systems
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
Guido Governatori, Antonino Rotolo, Shazia Wasim S...
59
Voted
LOPSTR
1998
Springer
15 years 1 months ago
Specialising Logic Programs with Respect to Call?Post Specifications
Annalisa Bossi, Sabina Rossi
CSL
1994
Springer
15 years 1 months ago
Canonical Forms for Data-Specifications
Frank Piessens, Eric Steegmans
ECSQARU
2005
Springer
15 years 3 months ago
Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
Carlos Iván Chesñevar, Guillermo Ric...
CSFW
2009
IEEE
15 years 1 months ago
Specification and Analysis of Dynamic Authorisation Policies
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
Moritz Y. Becker