Sciweavers

1223 search results - page 17 / 245

» A Logic for Reasoning about Evidence

72

WEBI
2007
Springer

86views Internet Technology» more WEBI 2007»

Extending Description Logic for Reasoning about Ontology Evolution

15 years 5 months ago

Extending Description Logic for Reasoning about Ontology Evolution

Download ftp.cse.sc.edu

Chuming Chen, Manton M. Matthews

claim paper

Read More »

81

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

15 years 5 months ago

Reasoning about relational granulation in modal logics

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

78

CSFW
2002
IEEE

85views Security Privacy» more CSFW 2002»

A Logic for Reasoning about Digital Rights

15 years 4 months ago

A Logic for Reasoning about Digital Rights

Download www.cis.upenn.edu

Riccardo Pucella, Vicky Weissman

claim paper

Read More »

69

DAGSTUHL
1998

71views Software Engineering» more DAGSTUHL 1998»

Results on Reasoning about Updates in Transaction Logic

15 years 1 months ago

Results on Reasoning about Updates in Transaction Logic

Download www.cs.sunysb.edu

Anthony J. Bonner, Michael Kifer

claim paper

Read More »

71

FSS
2007

84views more FSS 2007»

A logic for reasoning about the probability of fuzzy events

14 years 11 months ago

A logic for reasoning about the probability of fuzzy events

Download www.iiia.csic.es

Tommaso Flaminio, Lluis Godo

claim paper

Read More »

« Prev « First page 17 / 245 Last » Next »