381 search results - page 1 / 77 » Tableaux for Acceptance Logic |
DALT
2009
Springer
13 years 10 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
TABLEAUX
2007
Springer
13 years 11 months ago
2007
Springer
TABLEAUX
2007
Springer
13 years 11 months ago
2007
Springer
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
TABLEAUX
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...