Modal Change Logic (MCL): Specifying the Reasoning of Knowledge-Based Systems

Data and Knowledge Engineering - Netherlands
doi 10.1016/s0169-023x(98)00047-0
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

A Modal Temporal Logic for Reasoning About Change

1983English

A Modal Logic for Reasoning About Economic Policies

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2015English

Pure Modal Logic of Names and Tableau Systems

Studia Logica
Philosophy of ScienceLogicHistory
2018English

Logic-Based Reasoning Support for SBVR

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Modal Logic Foundations of Markup Structures in Annotation Systems

Studies in Computational Intelligence
Artificial Intelligence
2011English

Decidable Reasoning in Terminological Knowledge Representation Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
1993English

PDT Logic for Stream Reasoning in Multi-Agent Systems

English

A Knowledge Engineering Approach for Image Classification Based on Probabilistic Reasoning Systems

English

Neutrosophic Modal Logic

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy