Back to Results
First PageMeta Content
Temporal logic / Semantics / Ontology / Linear temporal logic / CTL* / Kripke semantics / Abox / Tbox / Interpretation / Logic / Mathematical logic / Philosophy of language


Model Checking of Restricted CTL* formulas using ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt {rochaeli,eckert}@sec.informatik.tu-darmstadt.de
Add to Reading List

Document Date: 2007-05-22 01:39:22

Open Document

File Size: 115,55 KB

Share Result on Facebook

/

IndustryTerm

description logics reasoning services / /

Organization

ALCKR+ Taufiq Rochaeli and Claudia Eckert Department of Computer Science Technische Universitt Darmstadt / /

Person

Claudia Eckert / Checking / /

Position

Model / /

SocialTag