835 search results - page 1 / 167 » Characterizing rosy theories |
JSYML
2007
13 years 4 months ago
2007
We examine several conditions, either the existence of a rank or a particular property of þ-forking that suggest the existence of a well-behaved independence relation, and determi...
APAL
2008
13 years 5 months ago
2008
We develop a basic theory of rosy groups and we study groups of small U
SAGT
2009
Springer
13 years 11 months ago
2009
Springer
VMCAI
2012
Springer
12 years 12 days ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
AI
2007
Springer
13 years 5 months ago
2007
Springer
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...