2500 search results - page 132 / 500 » Logical Semantics of Modularisation |
165
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
139
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
181
click to vote
DEON
2010
Springer
15 years 8 months ago
2010
Springer
We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it ...
269
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
166
click to vote
SUM
2009
Springer
15 years 11 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...