Search Sciweavers | Sciweavers

3970 search results - page 123 / 794

» A Logic For Causal Reasoning

115

click to vote

HYBRID
2007
Springer

101views Control Systems» more HYBRID 2007»

Differential Logic for Reasoning About Hybrid Systems

15 years 10 months ago

Download symbolaris.com

André Platzer

claim paper

Read More »

101

click to vote

WEBI
2007
Springer

86views Internet Technology» more WEBI 2007»

Extending Description Logic for Reasoning about Ontology Evolution

15 years 10 months ago

Download ftp.cse.sc.edu

Chuming Chen, Manton M. Matthews

claim paper

Read More »

click to vote

ICEIS
2006
IEEE

59views Information Technology» more ICEIS 2006»

OWL-Based Knowledge Discovery Using Description Logics Reasoners

15 years 10 months ago

Download www.hpclab.ceid.upatras.gr

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

claim paper

Read More »

117

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

15 years 9 months ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

120

click to vote

CSFW
2002
IEEE

85views Security Privacy» more CSFW 2002»

A Logic for Reasoning about Digital Rights

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers