Subjects: Answer Set Programming; ELP semantic; Epistemic Logic Programs
تفاصيل العنوان
Subjects: video and language; deep learning; multimedia
Subjects: ε-Semantic; Hybrid system; Reachability problem
Subjects: folksonomie; similarity; tag clustering
Subjects: Independence-Friendly Logic; Game-Theoretic Semantics; Compositional Semantics
Subjects: Categorical logic; Closure operator; Spatial logic
Subjects: Theoretical Computer Science; Computer Science (all)
Subjects: Coinduction; Higher-order language; Trace equivalence
Subjects: Akbarian studie; Arabic linguistic tradition; Islamic linguistic thought