Multi-valued logic in graph transformation theory and self-adaptive systems
DOI10.1007/S10472-019-09678-YzbMATH Open1474.68338OpenAlexW2985956516WikidataQ126853621 ScholiaQ126853621MaRDI QIDQ2294579FDOQ2294579
Authors: Yanyan Li 
Publication date: 11 February 2020
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-019-09678-y
Recommendations
- scientific article; zbMATH DE number 1269582
- Multi-valued semantics for logic programs
- Multi-valued logic programming semantics An algebraic approach
- scientific article; zbMATH DE number 517011
- Many-valued computational logics
- On graph calculi for multi-modal logics
- A framework for automated reasoning in multiple-valued logics
- Many-Valued Logics and Translations
- Structural rules for multi-valued logics
Learning and adaptive systems in artificial intelligence (68T05) Graph theory (including graph drawing) in computer science (68R10) Many-valued logic (03B50) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27) Transportation, logistics and supply chain management (90B06)
Cites Work
- Topoi. The categorial analysis of logic
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
- Title not available (Why is that?)
- Reconfiguring system hierarchies with multi-valued logic
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation
- Lectures on Concurrency and Petri Nets
- Fundamentals of algebraic graph transformation
- Title not available (Why is that?)
- Title not available (Why is that?)
- How the structure of system problems influences system behavior
- Title not available (Why is that?)
Cited In (1)
This page was built for publication: Multi-valued logic in graph transformation theory and self-adaptive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2294579)
