381 search results - page 1 / 77 » Tableaux for Acceptance Logic |
DALT
2009
Springer
14 years 1 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
14 years 2 months ago
2007
Springer
TABLEAUX
2007
Springer
14 years 2 months ago
2007
Springer
TABLEAUX
2000
Springer
14 years 6 days ago
2000
Springer
TABLEAUX
2005
Springer
14 years 2 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...