Sciweavers

4401 search results - page 104 / 881
» Computing with Default Logic
Sort
View
97
Voted
BIRTHDAY
2010
Springer
15 years 18 days 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
SOFSEM
2010
Springer
15 years 11 months ago
Taming the Complexity of Inductive Logic Programming
Filip Zelezný, Ondrej Kuzelka
76
Voted
SOFSEM
2009
Springer
15 years 11 months ago
Safe Reasoning with Logic LTS
Gerald Lüttgen, Walter Vogler
122
Voted
STACS
2009
Springer
15 years 9 months ago
Fragments of First-Order Logic over Infinite Words
Volker Diekert, Manfred Kufleitner