Conceptio
›
logic-in-computer-science
Topic
logic-in-computer-science
Knowledge-graph topic
· documents ABOUT logic-in-computer-science across the archive
325
Documents about logic-in-computer-science
Documents about logic-in-computer-science
On Reduction and Synthesis of Petri's Cycloids
#617256
arXiv (OAI Expanded)
Parametric Toricity of Steady State Varieties of Reaction Networks
#617720
arXiv (All)
On Reduction and Synthesis of Petri's Cycloids
#617756
arXiv (All)
CDRL: Certification-Driven Reinforcement Learning for Neutrino Flavor Model Discovery
#657109
arXiv (OAI Expanded)
CDRL: Certification-Driven Reinforcement Learning for Neutrino Flavor Model Discovery
#659245
arXiv (All)
Causability and explainability of artificial intelligence in medicine
#679404
OpenAlex
Target Discounted Sum Problem on Markov Chains with Applications to Markov Decision Processes
#926566
arXiv (All)
Long-horizon autoformalization of a core theorem underlying MIP* = RE
#1014398
arXiv (All)
A Kernel-Certified Verification of the Erdős-Mollin-Walsh Conjecture below $10^{14}$
#1051504
arXiv (All)
Verifying Numerical Methods with Isabelle/HOL
#1052048
arXiv (All)
Descriptive Complexity in Lean: Completeness by First-Order Reductions
#1012457
arXiv (All)
A Taxonomy of Distance Metrics for Time-Sensitive Importance Splitting: Timer Bounds, Resampling, and the Global Age
#1035566
arXiv (All)
Use of generative artificial intelligence models in healthcare – a scoping review
#248663
Springer Nature OA
Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python
#1050905
arXiv (All)
Computing Linear Codes and Unitals
#921553
Digital Commons @ Michigan Tech
The AR Fairness Metamodel: A Structured Framework for Fairness Measures
#1013832
arXiv (All)
AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics
#972105
arXiv (All)
A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression
#158602
arXiv (OAI)
From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change
#609008
arXiv (OAI Expanded)
From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change
#610070
arXiv (All)
Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
#617346
arXiv (OAI Expanded)
Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
#617846
arXiv (All)
Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
#650675
arXiv (OAI Expanded)
Do LLMs Really Struggle at NL-FOL Translation? Revealing their Strengths via a Novel Benchmarking Strategy
#652128
arXiv (All)
Revisiting average case complexity of multilevel syllogistic
#972447
arXiv (All)
A Machine-Checked Proof that Gardam's $\tilde{A}_2$ Lattice Does Not Have Unique Products
#1037063
arXiv (All)
Self-Referential $K$-SAT and the Finite Analogue of Gödel's Incompleteness Theorem
#1048722
arXiv (All)
Categorical Message Passing Language (CaMPL): Syntax and Semantics
#1050613
arXiv (All)
Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
#139138
arXiv (OAI)
Hybrid multi-disease SEIR and transformer models for infectious disease forecasting in Zambia
#331732
Springer Nature OA
FloatLib: Verified Floating-Point Arithmetic in Lean
#1013949
arXiv (All)
An exponential lower bound for the bit pigeonhole principle in resolution over parities
#1048410
arXiv (All)
Use of Artificial Intelligence in Improving Outcomes in Heart Disease: A Scientific Statement From the American Heart Association
#964496
OpenAlex
Enhancing disease surveillance in Nigeria through machine learning: opportunities, challenges and strategic recommendations
#626795
Springer Nature OA
From the Dirichlet Integral to Lobachevsky's Formula: A Formalization in Lean 4
#986318
arXiv (All)
Real-time reasoning in OWL2 for GDPR compliance
#421636
OpenAlex
Algorithmic Reduction of Biological Networks With Multiple Time Scales
#617219
arXiv (OAI Expanded)
Algorithmic Reduction of Biological Networks With Multiple Time Scales
#617719
arXiv (All)
Persistent Magnitude Homology for Quantitative Equational Theories
#1012312
arXiv (All)
Rational Reductions and Regular Languages of Constant Circuit Complexity
#1012666
arXiv (All)
PetriBench: Benchmarking LLM Reasoning over Dynamic State Spaces
#1014930
arXiv (All)
Searching for solutions in games and artificial intelligence
#679464
OpenAlex
Reward-Oracle MCTS for Formal Theorem Proving: Sample-Efficient Search and the Need for Kernel-Level Proof Auditing
#788885
arXiv (OAI Expanded)
Reward-Oracle MCTS for Formal Theorem Proving: Sample-Efficient Search and the Need for Kernel-Level Proof Auditing
#792889
arXiv (All)
A Non-Formulable Theorem: A Fundamental Limit of Finite Syntactic Systems and Its Consequences for Security and AI
#926929
arXiv (All)
Differential Equations as Fixpoints and Games
#1035284
arXiv (All)
JustAct: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
#1037698
arXiv (All)
Patterns for legal compliance checking in a decidable framework of linked open data
#679147
OpenAlex
Exact semantic readout from compressed vector representations
#1011754
arXiv (All)
Artificial intelligence in the prehospital setting – potentials, challenges, and practice-relevant fields of application in emergency medical services
#151886
Springer Nature OA
← Previous
Page 8 of 9
Next →
Topic record
· derived from the Conceptio knowledge graph (shared subject terms across the corpus)
Conceptio Open Knowledge Archive — topic hubs link to canonical document pages with full provenance.