Search Sciweavers | Sciweavers

3776 search results - page 99 / 756

» Partition-Based Logical Reasoning

168

click to vote

HYBRID
2007
Springer

101views Control Systems» more HYBRID 2007»

Differential Logic for Reasoning About Hybrid Systems

16 years 1 months ago

Download symbolaris.com

André Platzer

claim paper

Read More »

138

click to vote

WEBI
2007
Springer

86views Internet Technology» more WEBI 2007»

Extending Description Logic for Reasoning about Ontology Evolution

16 years 1 months ago

Download ftp.cse.sc.edu

Chuming Chen, Manton M. Matthews

claim paper

Read More »

131

click to vote

ICEIS
2006
IEEE

59views Information Technology» more ICEIS 2006»

OWL-Based Knowledge Discovery Using Description Logics Reasoners

16 years 1 months ago

Download www.hpclab.ceid.upatras.gr

Dimitrios A. Koutsomitropoulos, Dimitrios P. Meida...

claim paper

Read More »

164

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

16 years 27 days ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

166

Voted

CSFW
2002
IEEE

85views Security Privacy» more CSFW 2002»

A Logic for Reasoning about Digital Rights

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers