DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Hybrid logic
Hybrid logic
Hybrid Logic As Extension of Modal and Temporal Logics
Tense Or Temporal Logic Gives a Glimpse of a Number of Related F-Urther Topics
Querying Description Logic Knowledge Bases
A Hybrid Intuitionistic Logic: Semantics and Decidability
Schroder.Pdf (Pdf, 179
Model Theoretic Characterisations of Description Logics
A Fitch-Style Derivation System for Hybrid Logic by Jared Smith
Introduction to Hybrid Logic
Description Logics for Ontologies
Reasoning in Description Logics Using Resolution and Deductive Databases
FULLTEXT01.Pdf
Generalized Satisfiability for the Description Logic
Top View