Search Sciweavers | Sciweavers

3970 search results - page 123 / 794

» A Logic For Causal Reasoning

click to vote

HYBRID
2007
Springer

101views Control Systems» more HYBRID 2007»

Differential Logic for Reasoning About Hybrid Systems

14 years 2 months ago

Download symbolaris.com

André Platzer

claim paper

Read More »

click to vote

WEBI
2007
Springer

86views Internet Technology» more WEBI 2007»

Extending Description Logic for Reasoning about Ontology Evolution

14 years 2 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

14 years 1 months ago

Download www.hpclab.ceid.upatras.gr

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

claim paper

Read More »

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

14 years 1 months ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

click to vote

CSFW
2002
IEEE

85views Security Privacy» more CSFW 2002»

A Logic for Reasoning about Digital Rights

14 years 25 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers