Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Logic in Computer Science
Map detail
Logic in Computer Science33 visible / 33 total nodes / 80 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextWorks onRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipRelated contextRelated contextWorks onCo-authorshipCo-authorshipCo-authorshipRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextRelated contextWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalLogic in Computer ScienceTLogic in Computer Science2208 worksArtificial IntelligenceTArtificial Intelligence22915 worksMachine LearningTMachine Learning49008 worksComputation and LanguageTComputation and Language14115 worksSoftware EngineeringTSoftware Engineering3620 worksProgramming LanguagesTProgramming Languages1239 worksmath.OCTmath.OC9232 worksFormal Languages and Automata TheoryTFormal Languages and Au...714 worksDatabasesTDatabases1586 worksMagdalena OrtizAMagdalena OrtizResearcherSamuel PastvaASamuel PastvaResearcherAlan L. McCannAAlan L. McCannResearcherMahnoor ShahidAMahnoor ShahidResearcherHannes RotheAHannes RotheResearcherMeng LiAMeng LiResearcherXiaohua YangAXiaohua YangResearcherJie LiuAJie LiuResearcherShiyu YanAShiyu YanResearcherDavid TroxellADavid TroxellResearcherYulia AlexandrAYulia AlexandrResearcherSofia HuntASofia HuntResearcherEnsuring Logic in the Fog: Sound POMDP Synthesis with LTL ObjectivesWEnsuring Logic in the F...preprint / 2026Optimal LTLf SynthesisWOptimal LTLf Synthesispreprint / 2026Adaptive Teacher Exposure for Self-Distillation in LLM ReasoningWAdaptive Teacher Exposu...preprint / 2026Weighted Rules under the Stable Model SemanticsWWeighted Rules under th...preprint / 2026Reconciling Consistency-Based Diagnosis with Actual-Causality-Based ExplanationsWReconciling Consistency...preprint / 2026Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic ConstraintsWInformation Physics of ...preprint / 2025Shields to Guarantee Probabilistic Safety in MDPsWShields to Guarantee Pr...preprint / 2026The Polynomial Counting Capabilities of Message Passing Neural NetworksWThe Polynomial Counting...preprint / 2026Coherency through formalisations of Structured Natural Language, A case study on FRETishWCoherency through forma...preprint / 2026Combining Mechanical and Agentic Specification Inference for MoveWCombining Mechanical an...preprint / 2026Dsat: A Native SAT Solver for Discrete LogicWDsat: A Native SAT Solv...preprint / 2026MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMsWMathConstraint: Automat...preprint / 2026
Topic27 links

Logic in Computer Science

2208 works