Cover Image

Meta-Modelling in Formal Concept Analysis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Wang, Yingjian
Format:	Preprint
Published:	2024
Subjects:	Logic Logic in Computer Science Knowledge representation and reasoning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A cognitive approach to qualities for NLP
by: Carlos Periñan-Pascual
Published: (2008)

Informal Logic
Published: (2008)

Pensamiento numérico-algebraico avanzado: construyendo el concepto de covariación como preludio al concepto de función
by: Fernando Hitt
Published: (2009)

Graphic organizers as a teaching strategy for improved comprehension of argumentative texts in English
by: José Miguel Vargas Vásquez
Published: (2018)

Reasoning with Inconsistent Possibilistic Ontologies byApplying Argument Accrual
by: Sergio Alejandro Gómez
Published: (2017)

An Alternative Semantics for Argumentative Systems
by: Guillermo R. Simari
Published: (2006)

Factors propelling mathematics learning: insights from a quantitative empirical study
by: Popova, Yuliya, et al.
Published: (2024)

Rational Inference in Formal Concept Analysis
by: Carr, Lucas, et al.
Published: (2025)

Formal Modelling and Analysis of Slot Machines
by: Groote, Jan Friso, et al.
Published: (2024)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)

Analysis and Design of the Knowledge Representation for the Implementation of a Distributed Reasoning
by: Martha Mora-Torres
Published: (2009)

Relating DeLP and Default Logic
by: Telma Delladio
Published: (2007)

A Logic of Secrecy on Simplicial Models
by: Wang, Shanxia
Published: (2026)

Meta-Mathematics of Computational Complexity Theory
by: Oliveira, Igor C.
Published: (2025)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
by: de Groot, Jim, et al.
Published: (2024)

Terminating Hybrid Tableaus for Ordered Models
by: Nishimura, Yuki
Published: (2025)

Prime Factorization in Models of PV$_1$
by: Ježil, Ondřej
Published: (2025)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
by: Abdulaziz, Mohammad, et al.
Published: (2026)

Embedded Finite Models Beyond Restricted Quantifier Collapse
by: Benedikt, Michael, et al.
Published: (2023)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
by: Grilletti, Gianluca, et al.
Published: (2024)

A Dual-Threshold Probabilistic Knowing Value Logic
by: Wang, Shanxia
Published: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
by: Wang, Shanxia
Published: (2026)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
by: Liang, Xiaolong, et al.
Published: (2024)

A Logic Programming Approach to the Conservation of Buildings Based on an Extension of the Eindhoven Classification Model
by: Guida Gomes
Published: (2013)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
by: Wang, Yiheng, et al.
Published: (2024)

Advances in Algorithmic Meta Theorems
by: Siebertz, Sebastian, et al.
Published: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

Formalizing equivalences without tears
by: de Jong, Tom
Published: (2024)

Formalization of Amicable Numbers Theory
by: Chen, Zhipeng, et al.
Published: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)

A Theory of Formal Choreographic Languages
by: Barbanera, Franco, et al.
Published: (2022)

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)
by: Ge, Rui, et al.
Published: (2024)

Proceedings Eighth Symposium on Working Formal Methods
by: Marin, Mircea, et al.
Published: (2024)