On the public citation graph

Formal reasoning of knowledge in systems engineering through epistemic modal logic

https://doi.org/10.1002/sys.21563
0 signed · 62 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/9780470413791openalex-snapshot
The Engineering Design of Systems
inferredcites →https://doi.org/10.1002/inst.12278openalex-snapshot
AI4SE and SE4AI: A Research Roadmap
inferredcites →https://doi.org/10.1002/inst.12279openalex-snapshot
Knowledge Representation with Ontologies and Semantic Web Technologies to Promote Augmented and Artificial Intelligence in Systems Engineering
inferredcites →https://doi.org/10.1002/j.2334-5837.2018.00561.xopenalex-snapshot
Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox
inferredcites →https://doi.org/10.1002/sys.21438openalex-snapshot
Model‐based systems engineering: Motivation, current status, and research opportunities
inferredcites →https://doi.org/10.1002/sys.21463openalex-snapshot
A mathematical model of verification strategies
inferredcites →https://doi.org/10.1002/sys.21481openalex-snapshot
Elemental patterns of verification strategies
inferredcites →https://doi.org/10.1007/11554554_25openalex-snapshot
LoTREC: Logical Tableaux Research Engineering Companion
inferredcites →https://doi.org/10.1007/3-211-38167-8_5openalex-snapshot
Logical representation of preference: a brief survey
inferredcites →https://doi.org/10.1007/978-1-4020-5839-4openalex-snapshot
Dynamic Epistemic Logic
inferredcites →https://doi.org/10.1007/978-3-319-11617-4_11openalex-snapshot
Ontology-Assisted Systems Engineering Process with Focus in the Requirements Engineering Process
inferredcites →https://doi.org/10.1007/978-3-319-41490-4openalex-snapshot
Semantic Web Technologies for Intelligent Engineering Applications
inferredcites →https://doi.org/10.1007/978-3-540-85108-0openalex-snapshot
Logic and Structure
inferredcites →https://doi.org/10.1007/978-3-642-34419-0openalex-snapshot
Managing Requirements Knowledge
inferredcites →https://doi.org/10.1007/978-94-017-0462-5openalex-snapshot
Handbook of Philosophical Logic
inferredcites →https://doi.org/10.1007/978-94-017-1754-0openalex-snapshot
Handbook of Tableau Methods
inferredcites →https://doi.org/10.1007/s10796-018-9862-7openalex-snapshot
Towards a Methodology for Knowledge Reuse Based on Semantic Repositories
inferredcites →https://doi.org/10.1007/s10992-008-9085-3openalex-snapshot
Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences
inferredcites →https://doi.org/10.1007/s11518-016-5315-3openalex-snapshot
A contribution to the scientific foundations of systems engineering: Solution spaces and requirements
inferredcites →https://doi.org/10.1016/j.entcs.2010.04.010openalex-snapshot
Spartacus: A Tableau Prover for Hybrid Logic
inferredcites →https://doi.org/10.1016/j.infsof.2012.06.013openalex-snapshot
Reasoning with contextual requirements: Detecting inconsistency and conflicts
inferredcites →https://doi.org/10.1016/s0094-5765(02)00177-7openalex-snapshot
A complexity-based risk assessment of low-cost planetary missions: when is a mission too fast and too cheap?
inferredcites →https://doi.org/10.1016/s1574-6526(07)03020-9openalex-snapshot
Chapter 20 Knowledge Representation and Question Answering
inferredcites →https://doi.org/10.1017/9781316596739openalex-snapshot
Foundations of Multiattribute Utility
inferredcites →https://doi.org/10.1093/logcom/1.5.691openalex-snapshot
Semantics-Based Translation Methods for Modal Logics
inferredcites →https://doi.org/10.1109/32.730542openalex-snapshot
Managing conflicts in goal-driven requirements engineering
inferredcites →https://doi.org/10.1109/aero.2013.6496852openalex-snapshot
Unmanned Aerial Vehicles unique cost estimating requirements
inferredcites →https://doi.org/10.1109/aero.2013.6496853openalex-snapshot
Measuring system complexity to support development cost estimates
inferredcites →https://doi.org/10.1109/aero.2013.6496898openalex-snapshot
The impact of technical complexity on the decision to collaborate and combine
inferredcites →https://doi.org/10.1109/aero.2013.6497159openalex-snapshot
Spacecraft complexity subfactors and implications on future cost growth
inferredcites →https://doi.org/10.1109/icseng.2005.83openalex-snapshot
Towards a Collaborative and Combinational Approach to Requirements Elicitation within a Systems Engineering Framework
inferredcites →https://doi.org/10.1109/jsyst.2014.2315597openalex-snapshot
The Concept of Order of Conflict in Requirements Engineering
inferredcites →https://doi.org/10.1109/jsyst.2015.2423658openalex-snapshot
The Tension Matrix and the Concept of Elemental Decomposition: Improving Identification of Conflicting Requirements
inferredcites →https://doi.org/10.1109/jsyst.2019.2932916openalex-snapshot
Efficient Population of the Verification Tradespace Using Bayesian Inference
inferredcites →https://doi.org/10.1109/syscon21231.2015openalex-snapshot
2015 Annual IEEE Systems Conference (SysCon) Proceedings
inferredcites →https://doi.org/10.1115/1.4004465openalex-snapshot
Multidisciplinary Design Optimization for Complex Engineered Systems: Report From a National Science Foundation Workshop
inferredcites →https://doi.org/10.1115/detc2009-87286openalex-snapshot
Using Domain Specific Languages to Capture Design Synthesis Knowledge for Model-Based Systems Engineering
inferredcites →https://doi.org/10.1142/s0218213018400018openalex-snapshot
On the Glucose SAT Solver
inferredcites →https://doi.org/10.1145/1072997.1072999openalex-snapshot
Reasoning about inconsistencies in natural language requirements
inferredcites →https://doi.org/10.1145/4284.4286openalex-snapshot
Rule-based systems
inferredcites →https://doi.org/10.1613/jair.1234openalex-snapshot
CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements
inferredcites →https://doi.org/10.2307/1925651openalex-snapshot
Theory of Games and Economic Behavior
inferredcites →https://doi.org/10.3390/systems6040046openalex-snapshot
Toward an Interoperability and Integration Framework to Enable Digital Thread
inferredcites →https://doi.org/10.3390/systems7040055openalex-snapshot
Theoretical Foundations for Preference Representation in Systems Engineering
inferredcites →https://doi.org/10.4324/9780203855003openalex-snapshot
Introduction to Logic
inferredcites →https://doi.org/10.4324/9780203995013openalex-snapshot
Possible Worlds
inferredcites →https://doi.org/10.5220/0006388303460354openalex-snapshot
A Survey on Domain Knowledge Representation with Frames
inferredcites →https://doi.org/10.5555/227726.227738openalex-snapshot
An analytic framework for specifying and analyzing imprecise requirements
inferredcites →https://doi.org/10.5555/54098.54100openalex-snapshot
American Association for Artificial Intelligence (AAAI)
inferredcites →https://doi.org/10.7551/mitpress/10951.001.0001openalex-snapshot
Reasoning about Uncertainty
inferredcites →https://doi.org/10.7551/mitpress/5803.001.0001openalex-snapshot
Reasoning About Knowledge

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/sys.70013openalex-snapshot
Identification of Missing Knowledge in MBSE System Models Using Graph‐Based Machine Learning
inferred← citeshttps://doi.org/10.1007/978-3-030-27486-3_19-1openalex-snapshot
Model-Based Requirements
inferred← citeshttps://doi.org/10.1007/978-3-030-93582-5_19openalex-snapshot
Model-Based Requirements
inferred← citeshttps://doi.org/10.1007/978-3-031-62554-1_10openalex-snapshot
Developing a Theoretical Basis for Validation in Systems Engineering
inferred← citeshttps://doi.org/10.1007/978-3-032-12309-1_24openalex-snapshot
A Systems Theoretic Perspective on Understanding Functional Equivalence in Systems Engineering
inferred← citeshttps://doi.org/10.1016/j.cola.2023.101223openalex-snapshot
Model consistency as a heuristic for eventual correctness
inferred← citeshttps://doi.org/10.1080/09544828.2026.2639933openalex-snapshot
Mapping consumer voice into engineering insight: a structured language model-driven design support framework for electric vehicles
inferred← citeshttps://doi.org/10.1109/ojse.2023.3249048openalex-snapshot
Requirements Rationalization and Synthesis Enabled by Model Synchronization
inferred← citeshttps://doi.org/10.12677/csa.2022.125141openalex-snapshot
6-Element Linguistic Truth-Valued Modal Proposition Logic and Resolution Automated Reasoning
inferred← citeshttps://doi.org/10.2514/6.2022-1469openalex-snapshot
A Formal Approach to Identify Inconsistencies in Stakeholder Needs in the Context of Systems Engineering
inferred← citeshttps://doi.org/10.3390/systems12120555openalex-snapshot
Enhancing Ontological Metamodel Creation Through Knowledge Extraction from Multidisciplinary Design and Optimization Frameworks
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.