Sciweavers

1559 search results - page 87 / 312
» Some Group Theory Problems
Sort
View
AIML
1998
15 years 5 months ago
Propositions, Propositional Attitudes and Belief Revision
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...
Rohit Parikh
ICAIL
2009
ACM
15 years 9 months ago
The network of French legal codes
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices ...
Pierre Mazzega, Danièle Bourcier, Romain Bo...
FSKD
2007
Springer
128views Fuzzy Logic» more  FSKD 2007»
15 years 8 months ago
A First Step towards an Epistemology of the Subjective Uncertainty: Its Premises and Modeling
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...
Fabio Campos, Andre Neves, R. Souza
CIE
2006
Springer
15 years 8 months ago
Forcing with Random Variables and Proof Complexity
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
Jan Krajícek
TSMC
2008
125views more  TSMC 2008»
15 years 3 months ago
A Satisficing Approach to Aircraft Conflict Resolution
Future generations of air traffic management systems may give appropriately equipped aircraft the freedom to change flight paths in real time. This would require a conflict avoidan...
James K. Archibald, Jared C. Hill, N. A. Jepsen, W...