Cover Image

Towards Regulated Deep Learning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	García-Camino, Andrés
Format:	Preprint
Published:	2019
Subjects:	Artificial Intelligence Machine Learning Logic in Computer Science Multiagent Systems Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Can Proof Assistants Verify Multi-Agent Systems?
by: Mendez, Julian Alfredo, et al.
Published: (2025)

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
by: Alshammari, Tamara, et al.
Published: (2026)

Agentic System with Modal Logic for Autonomous Diagnostics
by: Sulc, Antonin, et al.
Published: (2025)

Preregistered Belief Revision Contracts
by: Alqithami, Saad
Published: (2026)

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
by: Sartor, Galileo, et al.
Published: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
by: Shahid, Mahnoor, et al.
Published: (2026)

To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
by: Seidel, Anjo, et al.
Published: (2025)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
by: Shapiro, Ehud
Published: (2026)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
by: Metere, Alfredo
Published: (2026)

Generic-to-Specific Reasoning and Learning for Scalable Ad Hoc Teamwork
by: Dodampegama, Hasra, et al.
Published: (2025)

Hyper Strategy Logic
by: Beutner, Raven, et al.
Published: (2024)

Monitoring Second-Order Hyperproperties
by: Beutner, Raven, et al.
Published: (2024)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
by: Grobelna, Marta, et al.
Published: (2025)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
by: Kampik, Timotheus, et al.
Published: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
by: Beutner, Raven, et al.
Published: (2025)

An Epistemic Perspective on Agent Awareness
by: Naumov, Pavel, et al.
Published: (2025)

Providing personalized Explanations: a Conversational Approach
by: Luo, Jieting, et al.
Published: (2023)

Disagree and Commit: Degrees of Argumentation-based Agreements
by: Kampik, Timotheus, et al.
Published: (2024)

Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
by: Léveillé, Dylan
Published: (2025)

Strength Change Explanations in Quantitative Argumentation
by: Kampik, Timotheus, et al.
Published: (2026)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
by: Beutner, Raven, et al.
Published: (2023)

JustAct+: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
by: Esterhuyse, Christopher A., et al.
Published: (2025)

Modal Logical Neural Networks
by: Sulc, Antonin
Published: (2025)

NLP Verification: Towards a General Methodology for Certifying Robustness
by: Casadio, Marco, et al.
Published: (2024)

An In-Context Learning Agent for Formal Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2023)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
by: Vin, Eric, et al.
Published: (2025)

MinionsLLM: a Task-adaptive Framework For The Training and Control of Multi-Agent Systems Through Natural Language
by: Rincon, Andres Garcia, et al.
Published: (2025)

Toward Super Agent System with Hybrid AI Routers
by: Yao, Yuhang, et al.
Published: (2025)

The Denario project: Deep knowledge AI agents for scientific discovery
by: Villaescusa-Navarro, Francisco, et al.
Published: (2025)

TrustAgent: Towards Safe and Trustworthy LLM-based Agents
by: Hua, Wenyue, et al.
Published: (2024)

Towards Reliable ML Feature Engineering via Planning in Constrained-Topology of LLM Agents
by: Thakur, Himanshu, et al.
Published: (2026)

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
by: Guillou, Lucie, et al.
Published: (2024)

ReMA: Learning to Meta-think for LLMs with Multi-Agent Reinforcement Learning
by: Wan, Ziyu, et al.
Published: (2025)

Exploring Natural Language-Based Strategies for Efficient Number Learning in Children through Reinforcement Learning
by: Mittra, Tirthankar
Published: (2024)

Composite Learning Units: Generalized Learning Beyond Parameter Updates to Transform LLMs into Adaptive Reasoners
by: Radha, Santosh Kumar, et al.
Published: (2024)

MAC: Multi-Agent Constitution Learning
by: Thareja, Rushil, et al.
Published: (2026)

Hierarchical Multi-agent Large Language Model Reasoning for Autonomous Functional Materials Discovery
by: Rothfarb, Samuel, et al.
Published: (2025)

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
by: Mukherji, Kaustuv, et al.
Published: (2025)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2025)

Decidable By Construction: Design-Time Verification for Trustworthy AI
by: Haynes, Houston
Published: (2026)