Copertina

Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Glaze, Sean, Inclezan, Daniela
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence D.1.6; D.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Implementing the First-Order Logic of Here and There
di: Otten, Jens, et al.
Pubblicazione: (2026)

ASP-driven User-interaction with Clinguin
di: Beiser, Alexander, et al.
Pubblicazione: (2025)

Visual Graph Question Answering with ASP and LLMs for Language Parsing
di: Bauer, Jakob Johannes, et al.
Pubblicazione: (2025)

Implementing backjumping by means of exception handling
di: Drabent, Włodzimierz
Pubblicazione: (2023)

plingo: A system for probabilistic reasoning in clingo based on lpmln
di: Hahn, Susana, et al.
Pubblicazione: (2022)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
di: McCann, Alan L.
Pubblicazione: (2026)

A Fuzzy Supervisor Agent Design for Clinical Reasoning Assistance in a Multi-Agent Educational Clinical Scenario Simulation
di: Zheng, Weibing, et al.
Pubblicazione: (2025)

Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
di: Semmelrock, Veronika, et al.
Pubblicazione: (2026)

LLM-as-a-Fuzzy-Judge: Fine-Tuning Large Language Models as a Clinical Evaluation Judge with Fuzzy Logic
di: Zheng, Weibing, et al.
Pubblicazione: (2025)

Optimal matching for sharing and linearity analysis
di: Amato, Gianluca, et al.
Pubblicazione: (2024)

On systematic construction of correct logic programs
di: Drabent, Włodzimierz
Pubblicazione: (2025)

(Towards a) Statistical Probabilistic Lazy Lambda Calculus
di: Jagadeesan, Radha
Pubblicazione: (2024)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
di: McCann, Alan L.
Pubblicazione: (2026)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

A note on occur-check (extended report)
di: Drabent, Włodzimierz
Pubblicazione: (2022)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
di: Berger, Martin, et al.
Pubblicazione: (2025)

Reasoning about distributive laws in a concurrent refinement algebra
di: Meinicke, Larissa A., et al.
Pubblicazione: (2024)

Restructuring a concurrent refinement algebra
di: Hayes, Ian J., et al.
Pubblicazione: (2024)

Modal Verification Patterns for Systems Software
di: Kuru, Ismail, et al.
Pubblicazione: (2025)

An example of goal-directed, calculational proof
di: Backhouse, Roland, et al.
Pubblicazione: (2023)

Baking for Dafny: A CakeML Backend for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

Bounded Modal Logic
di: Murase, Yuito, et al.
Pubblicazione: (2026)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
di: Amato, Gianluca, et al.
Pubblicazione: (2024)

CBCL: Safe Self-Extending Agent Communication
di: O'Connor, Hugo
Pubblicazione: (2026)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
di: Stepanenko, Sergei, et al.
Pubblicazione: (2025)

Uniqueness is Separation
di: O'Connor, Liam, et al.
Pubblicazione: (2026)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
di: Buoncompagni, Luca, et al.
Pubblicazione: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
di: Piróg, Maciej, et al.
Pubblicazione: (2025)

A formal specification of the jq language
di: Färber, Michael
Pubblicazione: (2024)

Well-Scoped Locally Nameless Representation of Syntax
di: Pitts, Andrew M.
Pubblicazione: (2026)

BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
di: Sieve, Riccardo, et al.
Pubblicazione: (2025)

Complementing an imperative process algebra with a rely/guarantee logic
di: Middelburg, C. A.
Pubblicazione: (2025)

Probabilistic imperative process algebra
di: Middelburg, C. A.
Pubblicazione: (2026)

Smart Expansion Techniques for ASP-based Interactive Configuration
di: Balážová, Lucia, et al.
Pubblicazione: (2025)

Constrained LTL Specification Learning from Examples
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

The Denotational Semantics of SSA
di: Ghalayini, Jad Elkhaleq, et al.
Pubblicazione: (2024)

Categorical Message Passing Language (CaMPL) for programmers
di: Hashimoto, Daniel Kiyoshi, et al.
Pubblicazione: (2026)

Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
di: Fruehwirth, Thom
Pubblicazione: (2025)

Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
di: Kratz, Maximilian, et al.
Pubblicazione: (2025)

Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
di: Kratz, Maximilian, et al.
Pubblicazione: (2025)