Sciweavers

4401 search results - page 104 / 881
» Computing with Default Logic
Sort
View
103
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
Tracking Evidence
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
98
Voted
SOFSEM
2010
Springer
16 years 18 days ago
Comparison of Scoring and Order Approach in Description Logic EL(D)
Veronika Vaneková, Peter Vojtás
98
Voted
SOFSEM
2010
Springer
16 years 18 days ago
Taming the Complexity of Inductive Logic Programming
Filip Zelezný, Ondrej Kuzelka
84
Voted
SOFSEM
2009
Springer
16 years 18 days ago
Safe Reasoning with Logic LTS
Gerald Lüttgen, Walter Vogler
STACS
2009
Springer
15 years 10 months ago
Fragments of First-Order Logic over Infinite Words
Volker Diekert, Manfred Kufleitner