BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
This essay draws on participant observation, ethnographic interviews, phenomenological inquiry, and recent insights from the study of swarm intelligence and complex networks to ill...
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
BIRTHDAY
2006
Springer
14 years 3 months ago
2006
Springer