Results 1  10
of
775
Choices, values and frames.
 American Psychologist,
, 1984
"... Making decisions is like speaking prosepeople do it all the time, knowingly or unknowingly. It is hardly surprising, then, that the topic of decision making is shared by many disciplines, from mathematics and statistics, through economics and political science, to sociology and psychology. The stu ..."
Abstract

Cited by 684 (9 self)
 Add to MetaCart
. The study of decisions addresses both normative and descriptive questions. The normative analysis is concerned with the nature of rationality and the logic of decision making. The descriptive analysis, in contrast, is concerned with people's beliefs and preferences as they are, not as they should be
The Foundation of a Generic Theorem Prover
 Journal of Automated Reasoning
, 1989
"... Isabelle [28, 30] is an interactive theorem prover that supports a variety of logics. It represents rules as propositions (not as functions) and builds proofs by combining rules. These operations constitute a metalogic (or `logical framework') in which the objectlogics are formalized. Isabell ..."
Abstract

Cited by 471 (48 self)
 Add to MetaCart
Isabelle [28, 30] is an interactive theorem prover that supports a variety of logics. It represents rules as propositions (not as functions) and builds proofs by combining rules. These operations constitute a metalogic (or `logical framework') in which the objectlogics are formalized
PTL: A propositional typicality logic
, 2012
"... Abstract. We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) situations in which a formula holds. The semantics i ..."
Abstract

Cited by 7 (6 self)
 Add to MetaCart
Abstract. We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) situations in which a formula holds. The semantics
What Does a Conditional Knowledge Base Entail?
 Artificial Intelligence
, 1989
"... This paper presents a logical approach to nonmonotonic reasoning based on the notion of a nonmonotonic consequence relation. A conditional knowledge base, consisting of a set of conditional assertions of the type if . . . then . . . , represents the explicit defeasible knowledge an agent has abo ..."
Abstract

Cited by 277 (6 self)
 Add to MetaCart
This paper presents a logical approach to nonmonotonic reasoning based on the notion of a nonmonotonic consequence relation. A conditional knowledge base, consisting of a set of conditional assertions of the type if . . . then . . . , represents the explicit defeasible knowledge an agent has
I.: A propositional typicality logic for extending rational consequence
 Trends in Belief Revision and Argumentation Dynamics, Studies in Logic – Logic and Cognitive Systems
, 2013
"... abstract. We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) situations in which a given formula holds. The semant ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
abstract. We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) situations in which a given formula holds
On the Complexity of Entailment in Propositional Multivalued Logics
, 1997
"... Multivalued logics have a long tradition in the philosophy and logic literature that originates from the work by / Lukaszewicz in the 20's. More recently, many AI researchers have been interested in this topic for both semantic and computational reasons. Multivalued logics have indeed been freq ..."
Abstract

Cited by 24 (0 self)
 Add to MetaCart
on the relative sizes of the inputs have on the complexity of entailment checking. In particular we show new polynomial cases and generalize polynomial cases already known in the literature for various popular multivalued logics. Such polynomial cases are obtained by means of two simple algorithms, sharing a
Inconsistency management and prioritized syntaxbased entailment
, 1993
"... The idea of ordering plays a basic role in commonsense reasoning for addressing three interrelated tasks: inconsistency handling, belief revision and plausible inference. We study the behavior of nonmonotonic inferences induced by various methods for prioritybased handling of inconsistent sets of ..."
Abstract

Cited by 178 (33 self)
 Add to MetaCart
of classical formulas. One of them is based on a lexicographic ordering of maximal consistent subsets, and refines Brewka's preferred subtheories. This new approach leads to a nonmonotonic inference which satisfies the "rationality " property while solving the problem of blocking
A Propositional Modal Logic of Time Intervals
 Journal of the ACM
, 1996
"... : In certain areas of artificial intelligence there is need to represent continuous change and to make statements that are interpreted with respect to time intervals rather than time points. To this end we develop a modal temporal logic based on time intervals, a logic which can be viewed as a gener ..."
Abstract

Cited by 157 (2 self)
 Add to MetaCart
as the rationals or the reals), linear or branching, complete (such as the reals) or not (such as the rationals). We show, however, that there are formulas in the logic that allow us to distinguish all these situations. We also give a translation of our logic into firstorder logic, which allows us to apply some
Spatial Reasoning with Propositional Logics
 Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94
, 1994
"... I present a method for reasoning about spatial relationships on the basis of entailments in propositional logic. Formalisms for representing topological and other spatial information (e.g. [2] [10] [11]) have generally employed the 1storder predicate calculus. Whilst this language is much more expr ..."
Abstract

Cited by 111 (16 self)
 Add to MetaCart
I present a method for reasoning about spatial relationships on the basis of entailments in propositional logic. Formalisms for representing topological and other spatial information (e.g. [2] [10] [11]) have generally employed the 1storder predicate calculus. Whilst this language is much more
A Logical Study of Partial Entailment
"... We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with respect to a background formula set Γ intuitively means that under the circumstance of Γ, if P is true then some “part ” of ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with respect to a background formula set Γ intuitively means that under the circumstance of Γ, if P is true then some “part
Results 1  10
of
775