Boosting the correspondence between description logics and propositional dynamic logics

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1994, Pages 205-212

  De Giacomo, Giuseppe ^a   Lenzerini, Maurizio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DECISION THEORY; FORMAL LANGUAGES; FORMAL LOGIC; INFERENCE ENGINES; STRUCTURED PROGRAMMING;

DESCRIPTION LOGICS; PROPOSITIONAL DYNAMIC LOGICS; TERMINOLOGY REASONING;

KNOWLEDGE BASED SYSTEMS;

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

References (24)