Sciweavers

28 search results - page 2 / 6
» Agreeing on Defeasible Commitments
Sort
View
JAPLL
2011
108views more  JAPLL 2011»
13 years 15 days ago
A deontic logic framework allowing for factual detachment
Due to the fact that a large number of our ethical and behavioural norms have a conditional form, it is of great importance that deontic logics give an account of deontic commitme...
Christian Straßer
RE
2002
Springer
13 years 5 months ago
Security Requirements Engineering: When Anti-Requirements Hit the Fan
Everyone agrees that security is a problem, ranging from Microsoft to the banks that have been recent victims of rogue traders. What is paradoxical is that there does not seem to ...
Robert Crook, Darrel C. Ince, Luncheng Lin, Bashar...
VLDB
2001
ACM
93views Database» more  VLDB 2001»
13 years 10 months ago
Transaction Timestamping in (Temporal) Databases
Many database applications need accountability and trace-ability that necessitate retaining previous database states. For a transaction-time database supporting this, the choice o...
Christian S. Jensen, David B. Lomet
JOLLI
2007
129views more  JOLLI 2007»
13 years 5 months ago
Dialogue Coherence: A Generation Framework
Abstract This paper presents a framework for the generation of coherent elementary conversational sequences at the speech act level. We will embrace the notion of a cooperative dia...
Robbert-Jan Beun, Rogier M. van Eijk
UAI
2004
13 years 6 months ago
Using Arguments for Making Decisions: A Possibilistic Logic Approach
Humans currently use arguments for explaining choices which are already made, or for evaluating potential choices. Each potential choice has usually pros and cons of various stren...
Leila Amgoud, Henri Prade