Electronic Proceedings in Theoretical Computer Science
PulseAugur coverage of Electronic Proceedings in Theoretical Computer Science — every cluster mentioning Electronic Proceedings in Theoretical Computer Science across labs, papers, and developer communities, ranked by signal.
3 day(s) with sentiment data
ILP applications expand beyond traditional AI to scientific domains like meteorology.
The recent paper on ILP explaining weather forecasts with interpretable hypotheses suggests a trend of Inductive Logic Programming moving into specialized scientific domains. This indicates a potential for ILP to be applied to other complex scientific modeling and explanation tasks, such as in biology or physics.
Focus on trustworthy AI and formal verification intensifies in declarative programming.
The introduction of CertiFOX for trustworthy AI grounding and the new semantics for description logic programs highlight a growing concern for formal verification and trust in AI systems. This suggests that future research in declarative programming will likely continue to emphasize methods for ensuring correctness and reliability.
Causality in AI reasoning is being refined with formal logic and counterfactuals.
The new counterfactual cause definition for situation calculus and the advancements in logic programming semantics for causal process modeling indicate a deeper push to formalize and enhance causal reasoning in AI. This suggests a trajectory towards more robust and explainable AI systems capable of understanding cause-and-effect relationships.
-
AI automates patient outcome data processing for regulatory submissions
Artificial intelligence, particularly natural language processing and large language models, is revolutionizing the collection and analysis of patient-reported outcomes (PROs) in clinical research. These AI tools automa…
-
New VS Code Extension Simplifies Answer Set Programming Learning
A new Visual Studio Code extension called EZASP has been developed to support the Easy Answer Set Programming (Easy ASP) methodology. This methodology simplifies learning Answer Set Programming (ASP) by focusing on a st…
-
New counterfactual cause definition proposed for situation calculus
Researchers have introduced a new definition of cause within the situation calculus, a formal system for reasoning about actions and changes. This new definition is based on counterfactual analysis, aiming to generalize…
-
New Hybrid MKNF Knowledge Base Extends Logic Programming with Classical Negation
Researchers have developed an extension to Hybrid MKNF knowledge bases that incorporates classical negation into the rule component. This advancement addresses a key limitation of existing systems, which previously coul…
-
New ASP approach tackles UAM strategic deconfliction
Researchers have developed a new approach using Answer Set Programming (ASP) to manage strategic deconfliction in Urban Air Mobility (UAM) operations. This method focuses on synchronizing flight times and optimizing rou…
-
Anthropic's Claude LLM used for Prolog code generation and formal verification
Researchers have detailed an experiment where they used Anthropic's Claude LLM to solve a set of Prolog programming exercises known as P-99. The LLM not only generated the Prolog code and tests but also formally proved …
-
LLM assists in formal proof of sqrt(2) irrationality
Researchers have explored the use of a Large Language Model (LLM) in conjunction with a Logic Program Theorem Prover (LPTP) to formally prove the irrationality of the square root of 2. The process involved defining basi…
-
Logic programming semantics advanced for causal process modeling
Researchers have developed new logic programming semantics to better model causal processes, particularly for applications in the life sciences. The study demonstrates how stable models of positive logic programs can re…
-
New ILP Pipeline Explains Weather Forecasts with Interpretable Hypotheses
Researchers have developed a new pipeline using Inductive Logic Programming (ILP) to interpret weather bulletins from OSMER FVG, the meteorological observatory for Italy's Friuli Venezia-Giulia region. This system, base…
-
New semantics for description logic programs improve complexity and characterization
Researchers have introduced a novel semantics for description logic programs, aiming to address limitations in existing well-supported semantics. The new approach offers improved computational complexity for consistency…
-
New CertiFOX framework ensures trustworthy AI grounding for declarative solving
Researchers have introduced CertiFOX, a new framework designed to ensure the trustworthiness of declarative solving processes. This framework addresses the "trust gap" by providing a certifying grounder, GroundFOX, whic…
-
New logic models comparative understanding beyond mere knowledge
Researchers have developed a new comparative epistemic logic to formally model and compare degrees of understanding, moving beyond simple knowledge. This logic introduces level-indexed modalities and comparative connect…
-
New CEGAR-tableaux method integrates SAT, tableaux, and resolution for modal satisfiability
Researchers have developed a new method for extending CEGAR-tableaux with SAT-shortcuts, integrating SAT, tableaux, and resolution methods for modal satisfiability. Experiments with their C++ implementation, CEGARBox++,…
-
New research advances epistemic logic for belief and distributed knowledge
Two new research papers explore advancements in epistemic logic, a field concerned with reasoning about knowledge and belief. The first paper introduces a novel mechanism for belief contraction within standard Kripke mo…
-
New logic system extends knowledge reasoning with data exchange modeling
Researchers have developed a new logic system that extends Dynamic Epistemic Logic (DEL). This enhanced logic incorporates operators for conditional non-propositional knowledge, allowing agents to reason about the numer…