English
Related papers

Related papers: The Abstract Machinery of Interaction (Long Versio…

200 papers

In this contribution we analyze the effect that mutual information has on the actual performance of efficient negotiation methods. Specifically, we start by proposing the theoretical notion of Abstract Negotiation Method (ANM) as a map from…

Optimization and Control · Mathematics 2012-06-19 Luca Barzanti , Marcello Mastroleo

This paper presents a survey of Abstract Meaning Representation (AMR), a semantic representation framework that captures the meaning of sentences through a graph-based structure. AMR represents sentences as rooted, directed acyclic graphs,…

Computation and Language · Computer Science 2025-05-07 Behrooz Mansouri

Finite state machines are widely used as a sound mathematical formalism that appropriately describes large scale, distributed and complex systems. Multiple interactions of finite state machines in complex systems are well captured by the…

Formal Languages and Automata Theory · Computer Science 2011-12-13 Giordano Pola , Maria D. Di Benedetto , Elena De Santis

Human actions manipulating articulated objects, such as opening and closing a drawer, can be categorized into multiple modalities we define as interaction modes. Traditional robot learning approaches lack discrete representations of these…

Robotics · Computer Science 2024-10-29 Liquan Wang , Ankit Goyal , Haoping Xu , Animesh Garg

We introduce some classical complexity-theoretic techniques to Parameterized Complexity. First, we study relativization for the machine models that were used by Chen, Flum, and Grohe (2005) to characterize a number of parameterized…

Computational Complexity · Computer Science 2018-07-18 Ralph Christian Bottesch

Animist worldviews treat beings, plants, landscapes, and even tools as persons endowed with spirit, an orientation that has long shaped human-nonhuman relations through ritual and moral practice. While modern industrial societies have often…

Artificial Intelligence · Computer Science 2025-10-01 Diana Mykhaylychenko , Maisha Thasin , Dunya Baradari , Charmelle Mhungu

Argument Mining (AM) is a relatively recent discipline, which concentrates on extracting claims or premises from discourses, and inferring their structures. However, many existing works do not consider micro-level AM studies on discussion…

Computation and Language · Computer Science 2018-09-05 Gaku Morio , Katsuhide Fujita

In Decentralized Multi-Agent Reinforcement Learning (MARL), the development of Emergent Communication has long been constrained by the ``Joint Exploration Dilemma'', leading agents to fall into a ``Communication Vacuum Equilibrium'' .…

Artificial Intelligence · Computer Science 2025-07-16 Hung Ming Liu

To model real-world software systems, modelling paradigms should support a form of compositionality. In interface theory and model-based testing with inputs and outputs, conjunctive operators have been introduced: the behaviour allowed by…

Formal Languages and Automata Theory · Computer Science 2020-02-21 Ramon Janssen

We evaluate two large language models (LLMs) ability to perform argumentative reasoning. We experiment with argument mining (AM) and argument pair extraction (APE), and evaluate the LLMs' ability to recognize arguments under progressively…

Computation and Language · Computer Science 2025-07-03 Adrian de Wynter , Tangming Yuan

Background: Many biological systems are modeled qualitatively with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based models, with the goal to gain a better understanding of the system. The…

Perceptual estimates exhibit a reversal in bias depending on uncertainty: they shift toward prior expectations under high stimulus noise, but away from them when sensory noise dominates. The normative framework of a Bayesian observer model…

Neurons and Cognition · Quantitative Biology 2025-10-16 Hyun-Jun Jeon , Hansol Choi , Oh-Sang Kwon

In continual visual question answering (VQA), existing Continual Learning (CL) methods are mostly built for symmetric, unimodal architectures. However, modern Vision-Language Models (VLMs) violate this assumption, as their trainable…

Computer Vision and Pattern Recognition · Computer Science 2026-04-17 Peifeng Zhang , Zice Qiu , Donghua Yu , Shilei Cao , Juepeng Zheng , Yutong Lu , Haohuan Fu

A negotiation process by 2 agents e1 and e2 can be interleaved by another negotiation process between, say, e1 and e3. The interleaving may alter the resource allocation assumed at the inception of the first negotiation process. Existing…

Artificial Intelligence · Computer Science 2020-01-24 Ryuta Arisaka , Takayuki Ito

We introduce a graph-theoretical representation of proofs of multiplicative linear logic which yields both a denotational semantics and a notion of truth. For this, we use a locative approach (in the sense of ludics) related to game…

Logic in Computer Science · Computer Science 2012-05-31 Thomas Seiller

This paper describes MAIA, a Multimodal Automated Interpretability Agent. MAIA is a system that uses neural models to automate neural model understanding tasks like feature interpretation and failure mode discovery. It equips a pre-trained…

Artificial Intelligence · Computer Science 2025-02-13 Tamar Rott Shaham , Sarah Schwettmann , Franklin Wang , Achyuta Rajaram , Evan Hernandez , Jacob Andreas , Antonio Torralba

We introduce the Information-Estimation Metric (IEM), a novel form of distance function derived from an underlying continuous probability density over a domain of signals. The IEM is rooted in a fundamental relationship between information…

Image and Video Processing · Electrical Eng. & Systems 2026-02-09 Guy Ohayon , Pierre-Etienne H. Fiquet , Florentin Guth , Jona Ballé , Eero P. Simoncelli

Abstract Meaning Representation (AMR) is a graphical meaning representation language designed to represent propositional information about argument structure. However, at present it is unable to satisfyingly represent non-veridical…

Computation and Language · Computer Science 2021-09-22 Gregor Williamson , Patrick Elliott , Yuxin Ji , Jinho D. Choi

Chat-based prompts respond with verbose linear-sequential texts, making it difficult to explore and refine ambiguous intents, back up and reinterpret, or shift directions in creative AI-assisted design work. AI-Instruments instead embody…

Human-Computer Interaction · Computer Science 2025-02-27 Nathalie Riche , Anna Offenwanger , Frederic Gmeiner , David Brown , Hugo Romat , Michel Pahud , Nicolai Marquardt , Kori Inkpen , Ken Hinckley

In this paper, we review the construction of low-dimensional manifolds of reduced description for equations of chemical kinetics from the standpoint of the method of invariant manifold (MIM). MIM is based on a formulation of the condition…

Materials Science · Physics 2016-08-31 A. N. Gorban , I. V. Karlin , A. Yu. Zinovyev