Combining dynamic deontic logic and temporal logic for the specification of deadlines

Proceedings of the Hawaii International Conference on System Sciences

Volumn 5, Issue , 1997, Pages 336-346

  Dignum, F ^a   Kuiper, R ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; LOGIC PROGRAMMING;

DYNAMIC DEONTIC LOGIC; TEMPORAL LOGIC;

COMPUTABILITY AND DECIDABILITY;

EID: 0031388341     PISSN: 10603425     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)