Results 1 - 10 of 9,585

Knowledge and Common Knowledge in a Distributed Environment

by Joseph Y. Halpern, Yoram Moses - Journal of the ACM , 1984
"... : Reasoning about knowledge seems to play a fundamental role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design of distributed protocols. Communication in a distributed system can be viewed as the act of transforming the system&apo ..."
Abstract - Cited by 578 (55 self) - Add to MetaCart
: Reasoning about knowledge seems to play a fundamental role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design of distributed protocols. Communication in a distributed system can be viewed as the act of transforming the system

The Proposition Bank: An Annotated Corpus of Semantic Roles

by Martha Palmer, Paul Kingsbury, Daniel Gildea - Computational Linguistics , 2005
"... The Proposition Bank project takes a practical approach to semantic representation, adding a layer of predicate-argument information, or semantic role labels, to the syntactic structures of the Penn Treebank. The resulting resource can be thought of as shallow, in that it does not represent corefere ..."
Abstract - Cited by 556 (22 self) - Add to MetaCart
The Proposition Bank project takes a practical approach to semantic representation, adding a layer of predicate-argument information, or semantic role labels, to the syntactic structures of the Penn Treebank. The resulting resource can be thought of as shallow, in that it does not represent

Model Checking Programs

by Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA , 2003
"... The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this pape ..."
Abstract - Cited by 592 (63 self) - Add to MetaCart
. In this paper we will attempt to give convincing arguments for why we believe it is time for the formal methods community to shift some of its attention towards the analysis of programs written in modern programming languages. In keeping with this philosophy we have developed a verification and testing

Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,

by ] Richard Hackman , Grec R Oldham , 1976
"... A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally motiv ..."
Abstract - Cited by 622 (2 self) - Add to MetaCart
of conceptual tools that are directly useful in guiding the implementation and evaluation of work redesign projects. In the paragraphs to follow, we examine several existing theoretical approaches to work redesign, with a special eye toward the measurability of the concepts employed and the action implications

Agents that reason and negotiate by arguing

by Simon Parsons, Carles Sierra, Nick Jennings - Journal of Logic and Computation , 1998
"... The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a solution to these problems by giving the agents the means to resolve their conflicting objectives, correct inconsistenci ..."
Abstract - Cited by 381 (77 self) - Add to MetaCart
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a solution to these problems by giving the agents the means to resolve their conflicting objectives, correct

Argument and multi-agent systems

by Timothy J. Norman, Daniela V. Carbogim, Erik C. W. Krabbe, Douglas N. Walton - ARGUMENTATION MACHINES , 2004
"... Recent work in argumentation theory and informal (practical) logic has developed certain tools that seem to be useful and applicable to multi-agent systems in which participants need to interact. Multiple interacting agents that engage in persuasive dialogue, negotiation and the construction of join ..."
Abstract - Cited by 9 (1 self) - Add to MetaCart
Recent work in argumentation theory and informal (practical) logic has developed certain tools that seem to be useful and applicable to multi-agent systems in which participants need to interact. Multiple interacting agents that engage in persuasive dialogue, negotiation and the construction

Multi-agent argumentation for edemocracy

by Katie Atkinson, Trevor Bench-capon, Peter Mcburney - In Proceedings of the Third European Workshop on Multi-Agent Systems , 2005
"... In this paper we discuss how a computational version of argumentation involving practical reasoning can be applied to the domain of e-democracy. We begin with a discussion of practical reasoning in general and we draw attention to differences between practical reasoning and reasoning about beliefs. ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
In this paper we discuss how a computational version of argumentation involving practical reasoning can be applied to the domain of e-democracy. We begin with a discussion of practical reasoning in general and we draw attention to differences between practical reasoning and reasoning about beliefs

Network Coding for Distributed Storage Systems

by Alexandros G. Dimakis, P. Brighten Godfrey, Yunnan Wu, Martin O. Wainwright, Kannan Ramchandran , 2008
"... Distributed storage systems provide reliable access to data through redundancy spread over individually unreliable nodes. Application scenarios include data centers, peer-to-peer storage systems, and storage in wireless networks. Storing data using an erasure code, in fragments spread across nodes, ..."
Abstract - Cited by 338 (13 self) - Add to MetaCart
coded system, a common practice to repair from a node failure is for a new node to download subsets of data stored at a number of surviving nodes, reconstruct a lost coded block using the downloaded data, and store it at the new node. We show that this procedure is sub-optimal. We introduce the notion

Towards an argument interchange format

by Carlos Chesnevar, Jarred McGinnis, Sanjay Modgil, Iyad Rahwan, Chris Reed, Guillermo Simari, Matthew South, Gerard Vreeswijk, Steven Willmott
"... The theory of argumentation is a rich, interdisciplinary area of research straddling the fields of artificial intelligence, philosophy, communication studies, linguistics and psychology. In the last few years, significant progress has been made in understanding the theoretical properties of differen ..."
Abstract - Cited by 74 (17 self) - Add to MetaCart
format (AIF) intended for representation and exchange of data between various argumentation tools and agent-based applications. It represents a consensus ‘abstract model’ established by researchers across fields of argumentation, artificial intelligence and multi-agent systems. In its current form

Reevaluating Amdahl’s law

by John L. Gustafson - Commun. ACM , 1988
"... At Sandia National Laboratories, we are currently en-gaged in research involving massively parallel process-ing. There is considerable skepticism regarding the via-bility of massive parallelism; the skepticism centers around Amdahl’s law, an argument put forth by Gene Amda.hl in 1967 [l] that even w ..."
Abstract - Cited by 316 (4 self) - Add to MetaCart
when the fraction of serial work in a given problem is small, say, s, the maximum speedup obtainable from even an infinite number of parallel processors is only l/s. We now have timing results for a 1024-processor system that demon-strate that the assumptions underlying Amdahl’s 1967 argument
Results 1 - 10 of 9,585