Abstract dialectical frameworks (ADFs) are one of the most powerful generalization of classical Dung-style AFs. In this paper we show how to use ADFs if we want to deal with acceptance conditions changing over time. We therefore introduce so-called timed abstract dialectical frameworks (tADFs) which are essentially ADFs equipped with time states. Beside a precise formal definition of tADFs and an illustrating example we prove that KleeneÂŘs three-valued logic K3 facilitate the evaluation of acceptance functions if we do not allow multiple occurrences of atoms.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com