惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

GbyAI
GbyAI
博
博客园 - 三生石上(FineUI控件)
S
Securelist
U
Unit 42
The Cloudflare Blog
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
Simon Willison's Weblog
Simon Willison's Weblog
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
B
Blog
T
Tenable Blog
The Hacker News
The Hacker News
The Register - Security
The Register - Security
IT之家
IT之家
博
博客园 - 【当耐特】
Spread Privacy
Spread Privacy
P
Privacy & Cybersecurity Law Blog
博
博客园_首页
T
Tailwind CSS Blog
人人都是产品经理
人人都是产品经理
C
Cybersecurity and Infrastructure Security Agency CISA
Know Your Adversary
Know Your Adversary
NISL@THU
NISL@THU
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
阮一峰的网络日志
阮一峰的网络日志
T
Tor Project blog
C
CERT Recently Published Vulnerability Notes
Apple Machine Learning Research
Apple Machine Learning Research
Stack Overflow Blog
Stack Overflow Blog
T
Threat Research - Cisco Blogs
T
The Exploit Database - CXSecurity.com
V
Vulnerabilities – Threatpost
A
Arctic Wolf
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
V
V2EX
aimingoo的专栏
aimingoo的专栏
大猫的无限游戏
大猫的无限游戏
Scott Helme
Scott Helme
L
LINUX DO - 热门话题
Cyberwarzone
Cyberwarzone
V
Visual Studio Blog
月光博客
月光博客
爱范儿
爱范儿
钛媒体：引领未来商业与生活新知
钛媒体：引领未来商业与生活新知
美
美团技术团队
G
GRAHAM CLULEY
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
H
Heimdal Security Blog
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO

cs.DB updates on arXiv.org

Block-Sphere Vector Quantization GroupAffect-4: A Multimodal Dataset of Four-Person Collaborative Interaction CogScale: Scalable Benchmark for Sequence Processing TextAlign: Preference Alignment for Text Rendering with Hierarchical Rewards LogRouter: Adaptive Two-Level LLM Routing for Log Question Answering in Big Data Systems Agentic Cost-Aware Query Planning with Knowledge Distillation for Big Data Analytics Covariance Structure and Coordinate Heterogeneity Govern Binary Quantization of Contrastive Embeddings IVF-TQ: Calibration-Free Streaming Vector Search via a Codebook-Free Residual Layer Automatic Unsupervised Ensemble Outlier Model Selection--Extended Version A Generative AI Framework for Intelligent Utility Billing CO 2 Analytics and Sustainable Resource Optimisation Towards Foundation Models for Relational Databases with Language Models and Graph Neural Networks Gaussian Relational Graph Transformer Croissant Baker: Metadata Generation for Discoverable, Governable, and Reusable ML Datasets Reducing Hallucination in Vision-Language Models via Stage-wise Preference Optimization under Distribution Shift A Horn extension of DL-Lite with NL data complexity 3D Primitives are a Spatial Language for VLMs Enabling AI-Native Mobility in 6G: A Real-World Dataset for Handover, Beam Management, and Timing Advance A CAP-like Trilemma for Large Language Models: Correctness, Non-bias, and Utility under Semantic Underdetermination EpiCastBench: Datasets and Benchmarks for Multivariate Epidemic Forecasting FERMI: Exploiting Relations for Membership Inference Against Tabular Diffusion Models Toward Multi-Database Query Reasoning for Text2Cypher Autonomous FAIR Digital Objects: From Passive Assertions to Active Knowledge HOME-KGQA: A Benchmark Dataset for Multimodal Knowledge Graph Question Answering on Household Daily Activities Detect, Localize, and Explain: Interactive Hierarchical Log Anomaly Analytics with LLM Augmentation Open Ontologies: Tool-Augmented Ontology Engineering with Stable Matching Alignment Machine Learning-Based Pre-Test Risk Stratification for PCR-Confirmed Chlamydia Using Patient-Reported Data and Urine Biomarkers Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations PrepBench: How Far Are We from Natural-Language-Driven Data Preparation? Anatomy of a Query: W5H Dimensions and FAR Patterns for Text-to-SQL Evaluation Building informative materials datasets beyond targeted objectives Cross-Model Consistency of Feature Importance in Electrospinning: Separating Robust from Model-Dependent Features LUCAS-MEGA: A Large-Scale Multimodal Dataset for Representation Learning in Soil-Environment Systems Inconsistent Databases and Argumentation Frameworks with Collective Attacks Workspace-Bench 1.0: Benchmarking AI Agents on Workspace Tasks with Large-Scale File Dependencies FINER-SQL: Boosting Small Language Models for Text-to-SQL Efficient Temporal Datalog Materialisation for Composite Event Recognition EGREFINE: An Execution-Grounded Optimization Framework for Text-to-SQL Schema Refinement Reliable Answers for Recurring Questions: Boosting Text-to-SQL Accuracy with Template Constrained Decoding FineState-Bench: Benchmarking State-Conditioned Grounding for Fine-grained GUI State Setting ObjectGraph: From Document Injection to Knowledge Traversal -- A Native File Format for the Agentic Era A Toolkit for Detecting Spurious Correlations in Speech Datasets SiriusHelper: An LLM Agent-Based Operations Assistant for Big Data Platforms Evergreen: Efficient Claim Verification for Semantic Aggregates CacheRAG: A Semantic Caching System for Retrieval-Augmented Generation in Knowledge Graph Question Answering Health System Scale Semantic Search Across Unstructured Clinical Notes Mining Negative Sequential Patterns to Improve Viral Genomic Feature Representation and Classification Prior-Aligned Data Cleaning for Tabular Foundation Models Spark Policy Toolkit: Semantic Contracts and Scalable Execution for Policy Learning in Spark Versioned Late Materialization for Ultra-Long Sequence Training in Recommendation Systems at Scale EPM-RL: Reinforcement Learning for On-Premise Product Mapping in E-Commerce How Hard is it to Decide if a Fact is Relevant to a Query? Towards Universal Tabular Embeddings: A Benchmark Across Data Tasks Using ASP(Q) to Handle Inconsistent Prioritized Data A Demonstration of SQLyzr: A Platform for Fine-Grained Text-to-SQL Evaluation and Analysis Self-Aware Vector Embeddings for Retrieval-Augmented Generation: A Neuroscience-Inspired Framework for Temporal, Confidence-Weighted, and Relational Knowledge VTouch++: A Multimodal Dataset with Vision-Based Tactile Enhancement for Bimanual Manipulation Pre-Execution Query Slot-Time Prediction in Cloud Data Warehouses: A Feature-Scoped Machine Learning Approach Revisiting RaBitQ and TurboQuant: A Symmetric Comparison of Methods, Theory, and Experiments DW-Bench: Benchmarking LLMs on Data Warehouse Graph Topology Reasoning PersonalHomeBench: Evaluating Agents in Personalized Smart Homes NeuroLip: An Event-driven Spatiotemporal Learning Framework for Cross-Scene Lip-Motion-based Visual Speaker Recognition Blue Data Intelligence Layer: Streaming Data and Agents for Multi-source Multi-modal Data-Centric Applications RELOAD: A Robust and Efficient Learned Query Optimizer for Database Systems Credo: Declarative Control of LLM Pipelines via Beliefs and Policies Leveraging LLM-GNN Integration for Open-World Question Answering over Knowledge Graphs IndicDB -- Benchmarking Multilingual Text-to-SQL Capabilities in Indian Languages Multi-modal panoramic 3D outdoor datasets for place categorization Gypscie: A Cross-Platform AI Artifact Management System ODUTQA-MDC: A Task for Open-Domain Underspecified Tabular QA with Multi-turn Dialogue-based Clarification Graph Query Generation with Constraint-guided Large Language Agents CubeGraph: Efficient Retrieval-Augmented Generation for Spatial and Temporal Data LLM+Graph@VLDB'2025 Workshop Summary Memory in the LLM Era: Modular Architectures and Strategies in a Unified Framework Stream2LLM: Overlap Context Streaming and Prefill for Reduced Time-to-First-Token (TTFT) HeiSD: Hybrid Speculative Decoding for Embodied Vision-Language-Action Models with Kinematic Awareness Exploring Urban Land Use Patterns by Pattern Mining and Unsupervised Learning 100x Cost & Latency Reduction: Performance Analysis of AI Query Approximation using Lightweight Proxy Models From Natural Language to PromQL: A Catalog-Driven Framework with Dynamic Temporal Resolution for Cloud-Native Observability A Domain-Specific Language for LLM-Driven Trigger Generation in Multimodal Data Collection SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints Relational In-Context Learning via Synthetic Pre-training with Structural Prior A Pythonic Functional Approach for Semantic Data Harmonisation in the ILIAD Project TableNet A Large-Scale Table Dataset with LLM-Powered Autonomous DPSQL+: A Differentially Private SQL Library with a Minimum Frequency Rule Sonar-TS: Search-Then-Verify Natural Language Querying for Time Series Databases KRONE: Scalable LLM-Augmented Log Anomaly Detection via Hierarchical Abstraction Hunt Instead of Wait: Evaluating Deep Data Research on Large Language Models OVT-MLCS: An Online Visual Tool for MLCS Mining from Long or Big Sequences Sufficient Explanations in Databases and their Connections to Database Repairs Gradient-Based Join Ordering Presenting DiaData for Research on Type 1 Diabetes Factual Inconsistencies in Multilingual Wikipedia Tables MINT: Multi-Vector Search Index Tuning Think2SQL: Reinforce LLM Reasoning Capabilities for Text2SQL In-depth Analysis of Graph-based RAG in a Unified Framework Knapsack Optimization-based Schema Linking for LLM-based Text-to-SQL Generation Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality BEAVER: An Enterprise Benchmark for Text-to-SQL Auto-FP: An Experimental Study of Automated Feature Preprocessing for Tabular Data Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
Logic Programming Applications: What Are the Abstractions and Implementations?
Yanhong A. Liu · 2018-02-21 · via cs.DB updates on arXiv.org

This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their essential implementations are for-loops, fixed points, and backtracking, respectively. The corresponding kinds of applications are database queries, inductive analysis, and combinatorial search, respectively. We also discuss language extensions and programming paradigms, summarize example application problems by application areas, and touch on example systems that support variants of the abstractions with different implementations.

此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。