Sciweavers

3119 search results - page 70 / 624
» General Default Logic
Sort
View
IJAR
2008
106views more  IJAR 2008»
13 years 10 months ago
Probabilistic logic with independence
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...
Fabio Gagliardi Cozman, Cassio Polpo de Campos, Jo...
DALT
2007
Springer
14 years 1 months ago
Reflections on Agent Beliefs
Some issues concerning beliefs of agents are discussed. These issues are the general syntactic form of beliefs, the logic underlying beliefs, acquiring beliefs, and reasoning with ...
John W. Lloyd, Kee Siong Ng
ISIPTA
2005
IEEE
137views Mathematics» more  ISIPTA 2005»
14 years 3 months ago
Basing Probabilistic Logic on Gambles
This article presents a probabilistic logic whose sentences can be interpreted as asserting the acceptability of gambles described in terms of an underlying logic. This probabilis...
Peter R. Gillett, Richard B. Scherl, Glenn Shafer
EUSFLAT
2007
140views Fuzzy Logic» more  EUSFLAT 2007»
13 years 11 months ago
A Fuzzy Formal Logic for Interval-valued Residuated Lattices
Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, li...
Bart Van Gasse, Chris Cornelis, Glad Deschrijver, ...
JAPLL
2006
112views more  JAPLL 2006»
13 years 10 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva