Results 61 to 70 of about 2,297,669 (248)
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics.
Simon Busard, Charles Pecheur
doaj +1 more source
Molecular Oncology, EarlyView.Arginine methylation can be viewed as a persistence‐prone post‐translational modification regulated by a network of PRMTs. Competitive and compensatory interactions among PRMTs can redistribute methylation across substrate pools shaped by sequence, structural, spatial, and environmental layers, reinforcing RNA‐processing, chromatin, and signaling ...
So Hyun Kwon, Ji Min Lee
wiley +1 more source
Planning Problems for Graph Structured Data in Description Logics
, 2014 We consider the setting of graph-structured data that evolve as a result of operations carried out by users or applications. We rely on a simple yet powerful action language in which actions are finite sequences of insertions and deletions of nodes and ...
Calvanese, Diego +3 more
core +4 more sources
Extending Typicality for Description Logics [PDF]
, 2017 Recent extensions of description logics for dealing with different forms of non-monotonic reasoning don’t take us beyond the case of defeasible subsumption.
CASINI, Giovanni +3 more
core +1 more source
Newly Discovered Archival Logic: Functions Emerging from the Records in Contexts Standard
Preservation, Digital Technology & CultureThe article discusses the reality of information for archivists in an era when information is not primarily shaped in documentary form. The situation in which contemporary administrative, business, and private information is organized in various formats ...
Rajh Arian
doaj +1 more source
Second-order Reasoning in Description Logics
, 2006 Description logics refer to a family of formalisms concentrated around concepts, roles and individuals. They belong to the most frequently used knowledge representation formalisms and provide a logical basis to a variety of well known paradigms. The main
Szalas, Andrzej,
core +1 more source
FEBS Open Bio, EarlyView.This pilot study investigates the potential of Generative AI to provide formative feedback to students. ChatGPT was prompted to provide feedback on Year 1 Bioscience essays, which were evaluated against established good feedback practices. GenAI‐authored feedback had useful elements, but was limited in scope. GenAI may have potential to provide instant,
Annabel Court +3 more
wiley +1 more source
Formal representation of complex SNOMED CT expressions
BMC Medical Informatics and Decision Making, 2008 Background Definitory expressions about clinical procedures, findings and diseases constitute a major benefit of a formally founded clinical reference terminology which is ontologically sound and suited for formal reasoning.
Markó Kornél +2 more
doaj +1 more source
Min-Based Conditioning of Possibilistic EL Ontology
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2022 The EL is a tractable family of lightweight description logics that underlay the OWL EL profile. It guarantees the tractability of the reasoning process, especially for concept classification.
Rim Mohamed +3 more
doaj +1 more source
An Introduction to Description Logic [PDF]
, 2017 Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology
Baader, Franz +3 more
openaire +3 more sources