LTL Over Description Logic Axioms

ACM Transactions on Computational Logic - United States
doi 10.1145/2287718.2287721
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Description Logic Reasoning With Decision Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Extending Logic Programs With Description Logic Expressions for the Semantic Web

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Medical Axioms

Family Medicine
Family Practice
2019English

Link Prediction Using a Probabilistic Description Logic

Journal of the Brazilian Computer Society
Computer Science
2013English

Searching Contexts in Paraconsistent Rough Description Logic

Journal of the Brazilian Computer Society
Computer Science
2015English

REASONING WITH THE FUZZY DESCRIPTION LOGIC fZSI

2010English

Hybrid Unification in the Description Logic EL

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy