Researchers often face a significant hurdle when working with sensitive personal data: strict governance requirements that prohibit sending information to th...
A New Well-Supported Semantics for Description Logic Programs Description logic programs are a powerful tool for combining rule-based logic with ontologies.
This paper investigates how the way a "dangerous" or manipulative objective is presented to an AI model changes the model's final behavior.
Towards Faithful Graph Explanations with Synergistic Edge Effects via Granular Balls Graph Neural Networks (GNNs) are powerful tools for analyzing complex da...
Agent-Guided Relational Concept Discovery: Toward Interpretable Surgical Margin Assessment addresses a critical challenge in surgical oncology: using Rapid E...
Generative models are increasingly used to predict how complex systems evolve, but they often struggle to balance statistical likelihood with real-world rule...
Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog Large Language Models (LLMs) are highly effective at generating te...
Agentic Context Management: Solving Agent Memory and Cost by Treating Them as Lifecycle and Architecture Problems proposes a shift in how AI agents handle in...
Logical Regression for Planning with Axioms In automated planning, logical regression is a technique used to determine the most general conditions required f...
Answer Set Programming (ASP) has become significantly more powerful by incorporating linear constraints, allowing it to solve complex real-world problems.