79 search results - page 1 / 16 » Towards a Logic of Feature-Based Semantic Science Theories |
87
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
109
Voted
ISIPTA
2005
IEEE
15 years 6 months ago
2005
IEEE
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
86
Voted
SYNTHESE
2008
15 years 10 days ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
95
Voted
EUSFLAT
2009
14 years 10 months ago
2009
Abstract--When 60 years ago Shannon established "A Mathematical Theory of Communication" nobody could know the consequences for science and technology in the second half ...
132
Voted
TCS
1998
15 years 2 days ago
1998
Algebraic translation methods are argued for in many fields of science. Several examples will be considered: from the field of compiler construction, database updates, concurren...