Results 1  10
of
4,562
On computing backbones of propositional theories
 In ECAI
, 2010
"... Abstract. Backbones of propositional theories are literals that are true in every model. Backbones have been used for characterizing the hardness of decision and optimization problems. Moreover, backbones find other applications. For example, backbones are often identified during product configura ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
Abstract. Backbones of propositional theories are literals that are true in every model. Backbones have been used for characterizing the hardness of decision and optimization problems. Moreover, backbones find other applications. For example, backbones are often identified during product
Answer Sets for Propositional Theories
 In Proceedings of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR
, 2005
"... Abstract. Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case in which every formula is a “rule ” — an implication that has no implications in the antecedent (body) and c ..."
Abstract

Cited by 90 (9 self)
 Add to MetaCart
Abstract. Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case in which every formula is a “rule ” — an implication that has no implications in the antecedent (body) and consequent (head). The semantics of equilibrium logic looks very different from the usual definitions of an answer set in logic programming, as it is based on Kripke models. In this paper we propose a new definition of equilibrium logic which uses the concept of a reduct, as in the standard definition of an answer set. Second, we apply the generalized concept of an answer set to the problem of defining the semantics of aggregates in answer set programming. We propose, in particular, a semantics for weight constraints that covers the problematic case of negative weights. Our semantics of aggregates is an extension of the approach due to Faber, Leone, and Pfeifer to a language with choice rules and, more generally, arbitrary rules with nested expressions. 1
Propositional Theories are Strongly Equivalent to Logic Programs
 UNDER CONSIDERATION FOR PUBLICATION IN THEORY AND PRACTICE OF LOGIC PROGRAMMING
, 2003
"... In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be reexpressed as a strongly equivalent disjunctive logic program, possibly with negation in the head. We provide two differen ..."
Abstract

Cited by 29 (7 self)
 Add to MetaCart
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be reexpressed as a strongly equivalent disjunctive logic program, possibly with negation in the head. We provide two
Reducing propositional theories in equilibrium logic to logic programs
 PROGRESS IN ARTIFICIAL INTELLIGENCE, PROC. OF THE 12TH PORTUGUESE CONF. ON ARTIFICIAL INTELLIGENCE, EPIA’05
, 2005
"... The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to transform an arbitrary set of propositional formulas into an equivalent logic program and what are the complexity const ..."
Abstract

Cited by 14 (7 self)
 Add to MetaCart
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to transform an arbitrary set of propositional formulas into an equivalent logic program and what are the complexity
A Theory of Focus Interpretation
"... More or less final version. To appear in Natural Language Semantics. According to the alternative semantics for focus, the semantic reflex of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic applicat ..."
Abstract

Cited by 488 (6 self)
 Add to MetaCart
More or less final version. To appear in Natural Language Semantics. According to the alternative semantics for focus, the semantic reflex of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic
Consumers and Their Brands: Developing Relationship Theory
 Journal of consumer research
, 1998
"... Although the relationship metaphor dominates contemporary marketing thought and practice, surprisingly little empirical work has been conducted on relational phenomena in the consumer products domain, particularly at the level of the brand. In this article, the author: (1) argues for the validity of ..."
Abstract

Cited by 552 (3 self)
 Add to MetaCart
of the relationship proposition in the consumerbrand context, including a debate as to the legitimacy of the brand as an active relationship partner and empirical support for the phenomenological significance of consumerbrand bonds; (2) provides a framework for characterizing and better understanding the types
Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,
, 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
in seven organizations, and results support its validity. A number of special features of the model are discussed (including its use as a basis for the diagnosis of jobs and the evaluation of job redesign projects), and the model is compared to other theories of job design. Work redesign is becoming
The knowledge complexity of interactive proof systems

, 1989
"... Usually, a proof of a theorem contains more knowledge than the mere fact that the theorem is true. For instance, to prove that a graph is Hamiltonian it suffices to exhibit a Hamiltonian tour in it; however, this seems to contain more knowledge than the single bit Hamiltonian/nonHamiltonian. In th ..."
Abstract

Cited by 1246 (39 self)
 Add to MetaCart
/nonHamiltonian. In this paper a computational complexity theory of the "knowledge " contained in a proof is developed. Zeroknowledge proofs are defined as those proofs that convey no additional knowledge other than the correctness of the proposition in question. Examples of zeroknowledge proof systems are given
Efficient Computation of the Degree of Belief in a Propositional Theory
"... Abstract. We design a novel modelbased approach for reasoning, considering the reasoning process as the computation of the degree of belief of an intelligent agent. We assume a Knowledge Base (KB) expressed by a two Conjunctive Form (2CF) Σ. WerepresentΣ using an appropriate logical structure. Our ..."
Abstract
 Add to MetaCart
Abstract. We design a novel modelbased approach for reasoning, considering the reasoning process as the computation of the degree of belief of an intelligent agent. We assume a Knowledge Base (KB) expressed by a two Conjunctive Form (2CF) Σ. WerepresentΣ using an appropriate logical structure. Our representation of a 2CF is highly expressive since it supports efficient reasoning, even in the cases where the formulabased representation does not allow to do it. Indeed, we can compute the degree of belief with new information (a literal or a binary clause) efficiently, providing an efficient scheme of inductive reasoning. Exploiting this logical structure of a 2CF, we propose a way to determine the relative value for every element in the KB which is an essential problem when new knowledge is aggregated and is necessary to maintain the consistency of the KB.
Framing: toward clarification of a fractured paradigm’’,
 Journal of Communication
, 1993
"... In response to the proposition that communication lacks disciplinary status because of deficient core knowledge, I propose that we turn an ostensible weakness into a strength. We should identify our mission as bringing together insights and theories that would otherwise remain scattered in other di ..."
Abstract

Cited by 620 (1 self)
 Add to MetaCart
In response to the proposition that communication lacks disciplinary status because of deficient core knowledge, I propose that we turn an ostensible weakness into a strength. We should identify our mission as bringing together insights and theories that would otherwise remain scattered in other
Results 1  10
of
4,562