Sciweavers

4401 search results - page 104 / 881
» Computing with Default Logic
Sort
View
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 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