Search Sciweavers | Sciweavers

4401 search results - page 104 / 881

» Computing with Default Logic

click to vote

BIRTHDAY
2010
Springer

114views Applied Computing» more BIRTHDAY 2010»

Tracking Evidence

13 years 6 months ago

Download tr.cs.gc.cuny.edu

In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...

Sergei N. Artëmov

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

137views Theoretical Computer Science» more SOFSEM 2010»

Comparison of Scoring and Order Approach in Description Logic EL(D)

14 years 5 months ago

Download www.sofsem.cz

Veronika Vaneková, Peter Vojtás

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

115views Theoretical Computer Science» more SOFSEM 2010»

Taming the Complexity of Inductive Logic Programming

14 years 5 months ago

Download www.sofsem.cz

Filip Zelezný, Ondrej Kuzelka

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

73views Theoretical Computer Science» more SOFSEM 2009»

Safe Reasoning with Logic LTS

14 years 5 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

click to vote

STACS
2009
Springer

111views Theoretical Computer Science» more STACS 2009»

Fragments of First-Order Logic over Infinite Words

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers