Search Sciweavers | Sciweavers

332 search results - page 21 / 67

» Many-valued hybrid logic

click to vote

CORR
2007
Springer

98views Education» more CORR 2007»

Guarded Hybrid Knowledge Bases

14 years 11 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 »

click to vote

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

15 years 6 months ago

Download symbolaris.com

André Platzer

claim paper

Read More »

click to vote

WOLLIC
2007
Springer

81views Artificial Intelligence» more WOLLIC 2007»

Hybrid Logical Analyses of the Ambient Calculus

15 years 6 months ago

Download www.cos.ufrj.br

Thomas Bolander, René Rydhof Hansen

claim paper

Read More »

click to vote

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

15 years 5 months ago

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

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 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers