1027 search results - page 39 / 206 » Representing and Reasoning with Operational Semantics |
104
click to vote
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
120
Voted
JAIR
2010
14 years 11 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
151
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
87
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
We consider Dung’s argumentation framework, in which an argument system consists of a set of arguments and a binary relation between arguments representing the notion of a con...
87
Voted
COMMA
2008
15 years 2 months ago
2008
Abstract. The identification of consistent sets of arguments is one of the most important concerns in the development of computational models of argument. Such extensions drive the...