:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Charlesworth, Richard D.
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science Multiagent Systems 68N30, 18B99 D.2.2; D.2.10; F.2.2; I.2.4
Online-Zugang:	https://arxiv.org/abs/2512.03091
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Boundaries in Hypernetwork Theory: Structure and Scope
von: Charlesworth, Richard D.
Veröffentlicht: (2025)

AI for software engineering: from probable to provable
von: Meyer, Bertrand
Veröffentlicht: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
von: Lauer, Alexander, et al.
Veröffentlicht: (2026)

Manifold Percolation: from generative model to Reinforce learning
von: Tong, Rui
Veröffentlicht: (2025)

Topological Logics with Connectedness over Euclidean Spaces
von: Kontchakov, Roman, et al.
Veröffentlicht: (2011)

LTL Verification of Memoryful Neural Agents
von: Hosseini, Mehran, et al.
Veröffentlicht: (2025)

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
von: Haak, Anselm, et al.
Veröffentlicht: (2026)

D-Lite: Navigation-Oriented Compression of 3D Scene Graphs for Multi-Robot Collaboration
von: Chang, Yun, et al.
Veröffentlicht: (2022)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
von: Lin, Hongyu, et al.
Veröffentlicht: (2026)

Feature-Factory: Automating Software Feature Integration Using Generative AI
von: Vsevolodovna, Ruslan Idelfonso Magana
Veröffentlicht: (2024)

A novel framework for systematic propositional formula simplification based on existential graphs
von: de Mas, Jordina Francès, et al.
Veröffentlicht: (2024)

A Prompt Learning Framework for Source Code Summarization
von: Xu, Tingting, et al.
Veröffentlicht: (2023)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
von: Zhang, Xindi, et al.
Veröffentlicht: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
von: Grosser, Marvin, et al.
Veröffentlicht: (2026)

A Comprehensive Mathematical and System-Level Analysis of Autonomous Vehicle Timelines
von: Perrone, Paul
Veröffentlicht: (2025)

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
von: Sukhov, Dmytro
Veröffentlicht: (2025)

TableMoE: Neuro-Symbolic Routing for Structured Expert Reasoning in Multimodal Table Understanding
von: Zhang, Junwen, et al.
Veröffentlicht: (2025)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
von: Mousavi, Mohammad Reza
Veröffentlicht: (2026)

A Note on the Parameterised Complexity of Coverability in Vector Addition Systems
von: Pilipczuk, Michał, et al.
Veröffentlicht: (2025)

Categorical Invariants of Learning Dynamics
von: Tamim, Abdulrahman
Veröffentlicht: (2025)

Verification of Unbounded Client-Server Systems with Distinguishable Clients
von: Phawade, Ramchandra, et al.
Veröffentlicht: (2026)

Type Inference for Isabelle2Cpp
von: Jiang, Dongchen, et al.
Veröffentlicht: (2024)

Unraveling the iterative CHAD
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2025)

ALERT-Transformer: Bridging Asynchronous and Synchronous Machine Learning for Real-Time Event-based Spatio-Temporal Data
von: Martin-Turrero, Carmen, et al.
Veröffentlicht: (2024)

Deterministic Event-Graph Substrates as World Models for Counterfactual Reasoning
von: Rovai, Fabio
Veröffentlicht: (2026)

Locality, Consistency, and the Tractability Frontier
von: Simas, Tristan
Veröffentlicht: (2026)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
von: Wang, Changjie, et al.
Veröffentlicht: (2025)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
von: Chen, Xinfang, et al.
Veröffentlicht: (2025)

Extremal Separation Problems for Temporal Instance Queries
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2024)

Agent Semantics, Semantic Spacetime, and Graphical Reasoning
von: Burgess, Mark
Veröffentlicht: (2025)

Combining Mechanical and Agentic Specification Inference for Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
von: Middelburg, C. A.
Veröffentlicht: (2021)

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
von: Mourad, Daniel
Veröffentlicht: (2024)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
von: Guo, Jinyao, et al.
Veröffentlicht: (2025)

Converting BPMN Diagrams to Privacy Calculus
von: Pitsiladis, Georgios V., et al.
Veröffentlicht: (2024)

Nidus: Externalized Reasoning for AI-Assisted Engineering
von: Gorinevski, Danil
Veröffentlicht: (2026)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
von: Alonso, Pepe, et al.
Veröffentlicht: (2026)

The Compute ICE-AGE: Invariant Compute Envelope under Addressable Graph Evolution
von: Martin II, R. Jay
Veröffentlicht: (2026)

Incremental Bootstrapping and Classification of Structured Scenes in a Fuzzy Ontology
von: Buoncompagni, Luca, et al.
Veröffentlicht: (2024)

The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
von: Zhang, Di
Veröffentlicht: (2025)