Latest Research in Logic in Computer Science

18 research papers · 2026 median publication year

Top Research Topics in Logic in Computer Science

Highest-Cited Papers

  1. Syntactic Simplification of OWL Class Expressions
  2. Identifying Implicit Premises for Logical Reconstruction of Argument Graphs
  3. MediaGraph: A Content-Aware Data Model and Query Framework for Multimodal Knowledge Graphs
  4. Large language model-assisted design of electrospun bioplastics
  5. Does Positional Information Causally Constrains Background Shortcut Reliance in Vision Transformer Models
  6. Evidence-Carrying Validation for Knowledge Graphs
  7. Schema-Agnostic Graph Reasoning Agent for Hybrid Knowledge Graphs
  8. RippleMem: From Isolated Retrieval to Associative Recollection for Long-Term Agent Memory
  9. Property Graph Techniques in Relational Databases
  10. "Will This Data Break My Task?" - Interactive Synthesis of Task-Aware Data Unit Tests
  11. EXTRACTED METHOD: enclosure_geometry_survey — E8 Intelligence Research
  12. Semantic Bundling: Interactive Node and Edge Bundling to Simplify Knowledge Graphs using Large Language Models
  13. GEEToker: you can boost LLMs’ JavaScript-based geospatial code generation for Google Earth Engine with a model-agnostic tokenizer
  14. A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
  15. DATA SCIENCE: BIG DATA ANALYTICS – METHODS, APPLICATIONS, AND FUTURE TRENDS
  16. Recovering Explanations from Transformed Rule-Based Ontologies
  17. From Single- to Cross-Document: Benchmarking Multi-Granularity Event Analysis of Large Language Models
  18. An Ontology-Guided, Deduplication-Aware Extraction Layer for Knowledge Graph Construction from Heterogeneous Documents
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
L3 Region
2026 AUG Q3

Logic in Computer Science

18 papers

Top Topics (10)

Artificial Intelligence3
Computation and Language3
Databases3
Logic in Computer Science2
Digital Libraries1
Microplastics and Plastic Pollution1
Advanced Neural Network Applications1
Computational Geometry and Mesh Generation1
Human-Computer Interaction1
Geographic Information Systems Studies1

Top Publications (18)

1.Syntactic Simplification of OWL Class Expressions2.Identifying Implicit Premises for Logical Reconstruction of Argument Graphs3.MediaGraph: A Content-Aware Data Model and Query Framework for Multimodal Knowledge Graphs4.Large language model-assisted design of electrospun bioplastics5.Does Positional Information Causally Constrains Background Shortcut Reliance in Vision Transformer Models6.Evidence-Carrying Validation for Knowledge Graphs7.Schema-Agnostic Graph Reasoning Agent for Hybrid Knowledge Graphs8.RippleMem: From Isolated Retrieval to Associative Recollection for Long-Term Agent Memory9.Property Graph Techniques in Relational Databases10."Will This Data Break My Task?" - Interactive Synthesis of Task-Aware Data Unit Tests11.EXTRACTED METHOD: enclosure_geometry_survey — E8 Intelligence Research12.Semantic Bundling: Interactive Node and Edge Bundling to Simplify Knowledge Graphs using Large Language Models13.GEEToker: you can boost LLMs’ JavaScript-based geospatial code generation for Google Earth Engine with a model-agnostic tokenizer14.A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases15.DATA SCIENCE: BIG DATA ANALYTICS – METHODS, APPLICATIONS, AND FUTURE TRENDS16.Recovering Explanations from Transformed Rule-Based Ontologies17.From Single- to Cross-Document: Benchmarking Multi-Granularity Event Analysis of Large Language Models18.An Ontology-Guided, Deduplication-Aware Extraction Layer for Knowledge Graph Construction from Heterogeneous Documents
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.