Temporal resolution: Removing irrelevant information

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1997, Pages 4-11

  Dixon, Clare ^a  

^a MANCHESTER METROPOLITAN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LOGIC; PROBLEM SOLVING; THEOREM PROVING;

FISHER'S TEMPORAL RESOLUTION RULE; PROPOSITIONAL LINEAR TIME TEMPORAL LOGICS;

ARTIFICIAL INTELLIGENCE;

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

References (28)