Search Sciweavers | Sciweavers

332 search results - page 21 / 67

» Many-valued hybrid logic

164

click to vote

CORR
2007
Springer

98views Education» more CORR 2007»

Guarded Hybrid Knowledge Bases

15 years 6 months ago

Download www.kr.tuwien.ac.at

Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We deﬁne guarded hybrid knowledge bases (or g-hybrid knowledge...

Stijn Heymans, Jos de Bruijn, Livia Predoiu, Crist...

claim paper

Read More »

146

click to vote

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

16 years 5 days ago

Download symbolaris.com

André Platzer

claim paper

Read More »

106

click to vote

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

16 years 4 days ago

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

114

click to vote

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

15 years 11 months ago

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

135

click to vote

ISMVL
2003
IEEE

101views Hardware» more ISMVL 2003»

Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-Valued Logic

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers