Temporal Reasoning over Deontic Specifications

Jose Fiadeiro, Tom Maibaum

Research output: Contribution to journalArticlepeer-review

32 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Temporal Reasoning over Deontic Specifications'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Earth and Planetary Sciences