2911 search results - page 23 / 583 » A Theory of Expressiveness in Mechanisms |
106
click to vote
BMCBI
2005
14 years 9 months ago
2005
Background: This paper describes a microarray study including data quality control, data analysis and the analysis of the mechanism of toxicity (MOT) induced by 1-methyl-4-phenylp...
CCE
2008
14 years 10 months ago
2008
The purpose of this paper is to evaluate the hypothesis that a systems biology approach can be developed such that a set of transcription factors, relevant to burn-induced inflamm...
103
click to vote
AAAI
2004
14 years 11 months ago
2004
This paper presents a logical framework for negotiation based on belief revision theory. We consider that a negotiation process is a course or multiple courses of mutual belief re...
122
click to vote
TPLP
2010
14 years 8 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
JLP
2010
14 years 4 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...