Search Sciweavers | Sciweavers

3891 search results - page 110 / 779

» A logic for strategic reasoning

106

click to vote

ICEIS
2006
IEEE

59views Information Technology» more ICEIS 2006»

OWL-Based Knowledge Discovery Using Description Logics Reasoners

16 years 11 days ago

Download www.hpclab.ceid.upatras.gr

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

claim paper

Read More »

138

click to vote

GRC
2005
IEEE

94views Applied Computing» more GRC 2005»

Reasoning about relational granulation in modal logics

15 years 12 months ago

Download aao.sinica.edu.tw

Churn-Jung Liau, T. Y. Lin

claim paper

Read More »

150

click to vote

CSFW
2002
IEEE

85views Security Privacy» more CSFW 2002»

A Logic for Reasoning about Digital Rights

15 years 11 months ago

Download www.cis.upenn.edu

Riccardo Pucella, Vicky Weissman

claim paper

Read More »

114

click to vote

AAAI
2008

107views Intelligent Agents» more AAAI 2008»

Supporting Manual Mapping Revision using Logical Reasoning

15 years 8 months ago

Download ki.informatik.uni-mannheim.de

Christian Meilicke, Heiner Stuckenschmidt, Andrei ...

claim paper

Read More »

125

click to vote

AISC
2008
Springer

86views Artificial Intelligence» more AISC 2008»

Logic-Free Reasoning in Isabelle/Isar

15 years 8 months ago

Download www4.in.tum.de

Traditionally a rigorous mathematical document consists of a sequence of definition

Stefan Berghofer, Makarius Wenzel

claim paper

Read More »

« Prev « First page 110 / 779 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers