2573 search results - page 233 / 515 » Combinations of Modal Logics |
135
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G
159
Voted
EUSFLAT
2007
15 years 8 months ago
2007
The embedded soft computing approach in wireless sensor networks is suggested. This approach means a combination of embedded fuzzy logic and neural networks models for information...
161
click to vote
SIGSAND
2008
15 years 8 months ago
2008
: MebIT is an interdisciplinary project granted by the German Ministry for Education and Research (BMBF). Its focus of research concerns the logical interconnections and relationsh...
151
click to vote
DLOG
1998
15 years 8 months ago
1998
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equi...
176
click to vote
AAAI
1990
15 years 7 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...