Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2010-299
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Error Detection Through Consistency Checking

Annals of GIS
EarthPlanetary SciencesComputer Science Applications
2000English

Checking Pedigree Consistency With PCS

English

Model Checking With Fairness Assumptions Using PAT

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automatic Synthesis of Assumptions for Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Formal Consistency Checking Over Specifications in Natural Languages

2015English

Specifying and Checking File System Crash-Consistency Models

ACM SIGPLAN Notices
Computer Science
2016English

Checking Consistency of Pedigree Information Is NP-complete (Preliminary Report)

BRICS Report Series
2002English

Global Model-Checking of Infinite-State Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Towards Checking Laws' Consistency Through Ontology Design: The Case of Brazilian Vehicles' Laws

Journal of Theoretical and Applied Electronic Commerce Research
Computer Science ApplicationsAccountingManagementBusiness
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy