Sciweavers

4401 search results - page 104 / 881
» Computing with Default Logic
Sort
View
102
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
SOFSEM
2009
Springer
16 years 9 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