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
String Diagrams for Process Mining
#1034295
arXiv (All)
Loops, Inverse Limits and Non-Determinism
#1000490
arXiv (All)
A vector logic for intensional formal semantics
#1036630
arXiv (All)
Experiential Learning of Runtime Monitoring Using Pachinko
#628330
arXiv (OAI Expanded)
Experiential Learning of Runtime Monitoring Using Pachinko
#630192
arXiv (All)
SATisfying the High School Identities but not Wilkie's Identity
#619120
arXiv (OAI Expanded)
SATisfying the High School Identities but not Wilkie's Identity
#620799
arXiv (All)
A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs
#664150
arXiv (OAI Expanded)
Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
#664246
arXiv (OAI Expanded)
A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs
#665650
arXiv (All)
Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
#665746
arXiv (All)
Resource-Aware Quantum Programming with General Recursion and Quantum Control
#668344
arXiv (OAI Expanded)
Resource-Aware Quantum Programming with General Recursion and Quantum Control
#670409
arXiv (All)
A quantum let within the lambda calculus
#790157
arXiv (OAI Expanded)
A quantum let within the lambda calculus
#794176
arXiv (All)
On Good-for-MDPs Automata
#799799
arXiv (All)
On Synthesis of Metric Interval Temporal Logics
#821020
arXiv (All)
Identification of Bivariate Causal Directionality Based on Anticipated Asymmetric Geometries
#920886
arXiv (OAI Expanded)
Identification of Bivariate Causal Directionality Based on Anticipated Asymmetric Geometries
#925120
arXiv (All)
You may implement this later: Cofunctors as partial implementations
#974578
arXiv (All)
Width-Bounded Equational Derivations for Finite Graph Expressions
#985689
arXiv (All)
Extending SMT Solving with Non-Ground Clause Learning
#999035
arXiv (All)
Symbolic Temporal Supervision of LLM Agents Using Contracts
#1011824
arXiv (All)
Hamilton decompositions of equal-side directed tori
#1013563
arXiv (All)
NEXP-Completeness of Existential Presburger Arithmetic with Divisibility
#1034192
arXiv (All)
The Refutation Gap: Certifying Both Halves of an Optimality Claim
#1034848
arXiv (All)
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
#650549
arXiv (OAI Expanded)
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
#652002
arXiv (All)
Proof-Carrying Analytic Approximation: Local-to-Global Evidence Transport at Encoding Cost
#799867
arXiv (All)
The Semantic Elevation Operator and the Closure of the Undecidable Class under Preservation
#998862
arXiv (All)
On how kelsenian jurisprudence and intuitionistic logic help to avoid contrary-to-duty paradoxes in legal ontologies
#270186
OpenAlex
From Contexts to Values: Context-Dependent Defeat in Abstract Argumentation
#616195
arXiv (OAI Expanded)
From Contexts to Values: Context-Dependent Defeat in Abstract Argumentation
#616695
arXiv (All)
Quantification in Double-Categorical Database Schemas
#668648
arXiv (OAI Expanded)
Quantification in Double-Categorical Database Schemas
#670713
arXiv (All)
Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
#173285
arXiv (OAI)
Argument Diagramming in Logic, Artificial Intelligence, and Law
#964550
OpenAlex
Epistemic Skills: Reasoning about Knowledge and Oblivion
#155551
arXiv (OAI)
Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles
#789811
arXiv (OAI Expanded)
Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles
#793816
arXiv (All)
A homotopy-type-theoretic generalization of neurosymbolic inference
#797555
arXiv (OAI Expanded)
A homotopy-type-theoretic generalization of neurosymbolic inference
#798969
arXiv (All)
Essential Unitarity for Higher-Order Quantum Computation
#800061
arXiv (All)
Factorized Boolean representations for efficient quantum synthesis
#809477
arXiv (OAI Expanded)
Factorized Boolean representations for efficient quantum synthesis
#819473
arXiv (All)
Differentiable Horn Programs: A Constructive Expressivity Theorem for Latent Rule Operators
#973828
arXiv (All)
Expressive power of one-shot control operators and coroutines
#974020
arXiv (All)
Automatic constraints with few subpowers and graphoid recognition
#985302
arXiv (All)
A Simple Way of Getting Large Examples of Osborn Loops
#986949
arXiv (All)
The Category Gm for Extensive-Form Games
#997879
arXiv (All)
← Previous
Page 4 of 8
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.