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

推荐订阅源

T
Troy Hunt's Blog
S
SegmentFault 最新的问题
H
Hackread – Cybersecurity News, Data Breaches, AI and More
博
博客园_首页
量
量子位
Jina AI
Jina AI
月光博客
月光博客
博
博客园 - 司徒正美
有赞技术团队
有赞技术团队
J
Java Code Geeks
The Cloudflare Blog
B
Blog
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
大猫的无限游戏
大猫的无限游戏
V
Visual Studio Blog
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
Apple Machine Learning Research
Apple Machine Learning Research
The Register - Security
The Register - Security
博
博客园 - 叶小钗
钛媒体：引领未来商业与生活新知
钛媒体：引领未来商业与生活新知
O
OpenAI News
T
Tailwind CSS Blog
Help Net Security
Help Net Security
Vercel News
Vercel News
D
Darknet – Hacking Tools, Hacker News & Cyber Security
人人都是产品经理
人人都是产品经理
Cisco Talos Blog
Cisco Talos Blog
宝玉的分享
宝玉的分享
S
Security Archives - TechRepublic
Security Latest
Security Latest
G
Google Developers Blog
K
Kaspersky official blog
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
PCI Perspectives
PCI Perspectives
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
罗
罗磊的独立博客
MyScale Blog
MyScale Blog
The Last Watchdog
The Last Watchdog
Blog — PlanetScale
Blog — PlanetScale
Engineering at Meta
Engineering at Meta
F
Full Disclosure
IT之家
IT之家
C
Check Point Blog
Webroot Blog
Webroot Blog
L
Lohrmann on Cybersecurity
Google DeepMind News
Google DeepMind News
Stack Overflow Blog
Stack Overflow Blog
T
Tor Project blog
T
Threat Research - Cisco Blogs
N
News and Events Feed by Topic

cs.AI updates on arXiv.org

Generating High Quality Synthetic Data for Dutch Medical Conversations GIANTS: Generative Insight Anticipation from Scientific Literature Should We be Pedantic About Reasoning Errors in Machine Translation? Computational Implementation of a Model of Category-Theoretic Metaphor Comprehension CoSToM:Causal-oriented Steering for Intrinsic Theory-of-Mind Alignment in Large Language Models ASPIRin: Action Space Projection for Interactivity-Optimized Reinforcement Learning in Full-Duplex Speech Language Models CircuitSynth: Reliable Synthetic Data Generation Think in Sentences: Explicit Sentence Boundaries Enhance Language Model's Capabilities CodaRAG: Connecting the Dots with Associativity Inspired by Complementary Learning From Query to Counsel: Structured Reasoning with a Multi-Agent Framework and Dataset for Legal Consultation ReFEree: Reference-Free and Fine-Grained Method for Evaluating Factual Consistency in Real-World Code Summarization LLMs Should Incorporate Explicit Mechanisms for Human Empathy Early Decisions Matter: Proximity Bias and Initial Trajectory Shaping in Non-Autoregressive Diffusion Language Models Bridging Linguistic Gaps: Cross-Lingual Mapping in Pre-Training and Dataset for Enhanced Multilingual LLM Performance Computational Lesions in Multilingual Language Models Separate Shared and Language-specific Brain Alignment Efficient Process Reward Modeling via Contrastive Mutual Information Learning and Enforcing Context-Sensitive Control for LLMs Too Nice to Tell the Truth: Quantifying Agreeableness-Driven Sycophancy in Role-Playing Language Models Deep-Reporter: Deep Research for Grounded Multimodal Long-Form Generation Generating Multiple-Choice Knowledge Questions with Interpretable Difficulty Estimation using Knowledge Graphs and Large Language Models Do BERT Embeddings Encode Narrative Dimensions? A Token-Level Probing Analysis of Time, Space, Causality, and Character in Fiction TInR: Exploring Tool-Internalized Reasoning in Large Language Models Advancing Polish Language Modeling through Tokenizer Optimization in the Bielik v3 7B and 11B Series AOP-Smart: A RAG-Enhanced Large Language Model Framework for Adverse Outcome Pathway Analysis Mem$^2$Evolve: Towards Self-Evolving Agents via Co-Evolutionary Capability Expansion and Experience Distillation Uncertainty-Aware Web-Conditioned Scientific Fact-Checking A Systematic Analysis of the Impact of Persona Steering on LLM Capabilities When Verification Fails: How Compositionally Infeasible Claims Escape Rejection When Valid Signals Fail: Regime Boundaries Between LLM Features and RL Trading Policies Shared Emotion Geometry Across Small Language Models: A Cross-Architecture Study of Representation, Behavior, and Methodological Confounds Efficient Training for Cross-lingual Speech Language Models CocoaBench: Evaluating Unified Digital Agents in the Wild MathAgent: Adversarial Evolution of Constraint Graphs for Mathematical Reasoning Data Synthesis Exploring Knowledge Conflicts for Faithful LLM Reasoning: Benchmark and Method Do LLMs Know Tool Irrelevance? Demystifying Structural Alignment Bias in Tool Invocations Enhancing Multimodal Large Language Models for Ancient Chinese Character Evolution Analysis via Glyph-Driven Fine-Tuning Retrieval as Generation: A Unified Framework with Self-Triggered Information Planning METRO: Towards Strategy Induction from Expert Dialogue Transcripts for Non-collaborative Dialogues Think Before you Write: QA-Guided Reasoning for Character Descriptions in Books METER: Evaluating Multi-Level Contextual Causal Reasoning in Large Language Models Policy Split: Incentivizing Dual-Mode Exploration in LLM Reinforcement with Dual-Mode Entropy Regularization NovBench: Evaluating Large Language Models on Academic Paper Novelty Assessment Time is Not a Label: Continuous Phase Rotation for Temporal Knowledge Graphs and Agentic Memory Synthius-Mem: Brain-Inspired Hallucination-Resistant Persona Memory Achieving 94.4% Memory Accuracy and 99.6% Adversarial Robustness on LoCoMo A Triadic Suffix Tokenization Scheme for Numerical Reasoning RPA-Check: A Multi-Stage Automated Framework for Evaluating Dynamic LLM-based Role-Playing Agents Playing Along: Learning a Double-Agent Defender for Belief Steering via Theory of Mind Legal2LogicICL: Improving Generalization in Transforming Legal Cases to Logical Formulas via Diverse Few-Shot Learning Evaluating Cooperation in LLM Social Groups through Elected Leadership Discourse Diversity in Multi-Turn Empathic Dialogue C-ReD: A Comprehensive Chinese Benchmark for AI-Generated Text Detection Derived from Real-World Prompts General365: Benchmarking General Reasoning in Large Language Models Across Diverse and Challenging Tasks MCERF: Advancing Multimodal LLM Evaluation of Engineering Documentation with Enhanced Retrieval Seven simple steps for log analysis in AI systems LETGAMES: An LLM-Powered Gamified Approach to Cognitive Training for Patients with Cognitive Impairment Generative UI: LLMs are Effective UI Generators ACE-TA: An Agentic Teaching Assistant for Grounded Q&A, Quiz Generation, and Code Tutoring LABBench2: An Improved Benchmark for AI Systems Performing Biology Research DeepReviewer 2.0: A Traceable Agentic System for Auditable Scientific Peer Review CID-TKG: Collaborative Historical Invariance and Evolutionary Dynamics Learning for Temporal Knowledge Graph Reasoning Unifying Ontology Construction and Semantic Alignment for Deterministic Enterprise Reasoning at Scale Digital hybridity and relics in cultural heritage: using corpus linguistics to inform design in emerging technologies from AI to VR LLM Nepotism in Organizational Governance Explainability and Certification of AI-Generated Educational Assessments How LLMs Might Think Assessing the Pedagogical Readiness of Large Language Models as AI Tutors in Low-Resource Contexts: A Case Study of Nepal's K-10 Curriculum CONSCIENTIA: Can LLM Agents Learn to Strategize? Emergent Deception and Trust in a Multi-Agent NYC Simulation Pioneer Agent: Continual Improvement of Small Language Models in Production COMPOSITE-Stem Instructing LLMs to Negotiate using Reinforcement Learning with Verifiable Rewards Cross-Cultural Value Awareness in Large Vision-Language Models Demographic and Linguistic Bias Evaluation in Omnimodal Language Models From UAV Imagery to Agronomic Reasoning: A Multimodal LLM Benchmark for Plant Phenotyping Exploring Structural Complexity in Normative RAG with Graph-based approaches: A case study on the ETSI Standards FinTrace: Holistic Trajectory-Level Evaluation of LLM Tool Calling for Long-Horizon Financial Tasks Learning from Emptiness: De-biasing Listwise Rerankers with Content-Agnostic Probability Calibration The Amazing Agent Race: Strong Tool Users, Weak Navigators Thinking Fast, Thinking Wrong: Intuitiveness Modulates LLM Counterfactual Reasoning in Policy Evaluation AI Patents in the United States and China: Measurement, Organization, and Knowledge Flows Calibration Collapse Under Sycophancy Fine-Tuning: How Reward Hacking Breaks Uncertainty Quantification in LLMs SenBen: Sensitive Scene Graphs for Explainable Content Moderation Rays as Pixels: Learning A Joint Distribution of Videos and Camera Trajectories WOMBET: World Model-Based Experience Transfer for Robust and Sample-efficient Reinforcement Learning Semantic Intent Fragmentation: A Single-Shot Compositional Attack on Multi-Agent AI Pipelines ASTRA: Adaptive Semantic Tree Reasoning Architecture for Complex Table Question Answering Regime-Conditional Retrieval: Theory and a Transferable Router for Two-Hop QA An Adaptive Horizon-Aware Model Selection Framework for Demand Forecasting under Horizon-Induced Degradation SubQuad: Near-Quadratic-Free Structure Inference with Distribution-Balanced Objectives in Adaptive Receptor framework Multi-agent Adaptive Mechanism Design Re-Mask and Redirect: Exploiting Denoising Irreversibility in Diffusion Language Models QuanBench+: A Unified Multi-Framework Benchmark for LLM-Based Quantum Code Generation Accelerating Transformer-Based Monocular SLAM via Geometric Utility Scoring eBandit: Kernel-Driven Reinforcement Learning for Adaptive Video Streaming Aligned Agents, Biased Swarm: Measuring Bias Amplification in Multi-Agent Systems Neural Distribution Prior for LiDAR Out-of-Distribution Detection Reasoning Models Will Sometimes Lie About Their Reasoning Interactive ASR: Towards Human-Like Interaction and Semantic Coherence Evaluation for Agentic Speech Recognition Many-Tier Instruction Hierarchy in LLM Agents H-AdminSim: A Multi-Agent Simulator for Realistic Hospital Administrative Workflows with FHIR Integration AgencyBench: Benchmarking the Frontiers of Autonomous Agents in 1M-Token Real-World Contexts
Extending the Stable Model Semantics with More Expressive Rules
Patrik Simons · 1999-08-06 · via cs.AI updates on arXiv.org

The rules associated with propositional logic programs and the stable model semantics are not expressive enough to let one write concise programs. This problem is alleviated by introducing some new types of propositional rules. Together with a decision procedure that has been used as a base for an efficient implementation, the new rules supplant the standard ones in practical applications of the stable model semantics.

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