79 search results - page 1 / 16 » Towards a Logic of Feature-Based Semantic Science Theories |
KR
2010
Springer
13 years 9 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 ...
ISIPTA
2005
IEEE
13 years 10 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...
SYNTHESE
2008
13 years 4 months 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...
EUSFLAT
2009
13 years 2 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 ...
TCS
1998
13 years 4 months 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...