Time and norms: A formalization in the event-calculus

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 1999, Pages 90-99

  Hernandez Marin, Rafael ^a   Sartor, Giovanni ^a  

^a UNIVERSITY OF MURCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; HIGH LEVEL LANGUAGES;

EVENT CALCULUS;

LOGIC PROGRAMMING;

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

References (10)