Sciweavers

2303 search results - page 114 / 461
» On the logic of argumentation theory
Sort
View
FSKD
2006
Springer
187views Fuzzy Logic» more  FSKD 2006»
15 years 10 months ago
A Context-Aware Music Recommendation System Using Fuzzy Bayesian Networks with Utility Theory
As the World Wide Web becomes a large source of digital music, the music recommendation system has got a great demand. There are several music recommendation systems for both comme...
Han-Saem Park, Ji-Oh Yoo, Sung-Bae Cho
ATAL
2009
Springer
16 years 1 months ago
A logic of games and propositional control
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
169
Voted
TCS
2002
15 years 6 months ago
ELAN from a rewriting logic point of view
ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or ...
Peter Borovanský, Claude Kirchner, Hé...
211
Voted
LPNMR
1993
Springer
15 years 11 months ago
An Assumption-Based Framework for Non-Monotonic Reasoning
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
Andrei Bondarenko, Francesca Toni, Robert A. Kowal...
ISMIS
2005
Springer
16 years 16 days ago
The Chisholm Paradox and the Situation Calculus
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
Robert Demolombe, Maria del Pilar Pozos Parra