2766 search results - page 18 / 554 » Hybridizing a Logical Framework |
ENTCS
2007
13 years 9 months ago
2007
This paper establishes undecidability of satisfiability for multi-modal logic equipped with the hybrid binder ↓ , with respect to frame classes over which the same language wit...
ECOWS
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
ISIPTA
2005
IEEE
14 years 3 months ago
2005
IEEE
Possibilistic networks and possibilistic logic bases are important tools to deal with uncertain pieces of information. Both of them offer a compact representation of possibility ...
HYBRID
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
CASDMKM
2004
Springer
14 years 3 months ago
2004
Springer
In this study, a novel hybrid AI system framework is developed by means of a systematic integration of artificial neural networks (ANN) and rulebased expert system (RES) with web-b...