Search Sciweavers | Sciweavers

3238 search results - page 89 / 648

» On the Computational Interpretation of Negation

click to vote

UAI
2004

141views Artificial Intelligence» more UAI 2004»

Reputation Systems: An Axiomatic Approach

13 years 11 months ago

Download uai.sis.pitt.edu

Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about uncertainty ...

Moshe Tennenholtz

claim paper

Read More »

click to vote

ENTCS
2007

109views more ENTCS 2007»

Modular Structural Operational Semantics with Strategies

13 years 10 months ago

Download www.cse.unsw.edu.au

Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, diﬀerent transition relations can be deﬁned and then combined by means of ...

Christiano Braga, Alberto Verdejo

claim paper

Read More »

click to vote

LOGCOM
2002

72views more LOGCOM 2002»

Definability in Rationals with Real Order in the Background

13 years 9 months ago

Download research.microsoft.com

The paper deals with logically definable families of sets (or point-sets) of rational numbers. In particular we are interested whether the families definable over the real line wi...

Yuri Gurevich, Alexander Moshe Rabinovich

claim paper

Read More »

click to vote

IFIPTM
2010

140views Management» more IFIPTM 2010»

Shinren: Non-monotonic Trust Management for Distributed Systems

13 years 8 months ago

Download www.doc.ic.ac.uk

Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents signiﬁcant challenges to security management. One solution may be trust ma...

Changyu Dong, Naranker Dulay

claim paper

Read More »

click to vote

BIOSYSTEMS
2008

67views more BIOSYSTEMS 2008»

Predator-prey dynamics in P systems ruled by metabolic algorithm

13 years 10 months ago