English
Related papers

Related papers: Distributed Knowing How

200 papers

Collaboration may be understood as the execution of coordinated tasks (in the most general sense) by groups of users, who cooperate for achieving a common goal. Collaboration is a fundamental assumption and requirement for the correct…

Computer Science and Game Theory · Computer Science 2012-07-26 Agustín Santos Méndez , Antonio Fernández Anta , Luis López Fernández

An essential task of groups is to provide efficient solutions for the complex problems they face. Indeed, considerable efforts have been devoted to the question of collective decision-making related to problems involving a single dominant…

Physics and Society · Physics 2017-04-05 Anna Zafeiris , Zsombor Koman , Enys Mones , Tamás Vicsek

Knowhow in societies accumulates as it gets transmitted from group to group, and from generation to generation. However, we lack of a unified quantitative formalism that takes into account the structured process for how this accumulation…

Physics and Society · Physics 2018-10-15 Andres Gomez-Lievano

We develop elements of a theory of cooperation and coordination in networks. Rather than considering a communication network as a means of distributing information, or of reconstructing random processes at remote nodes, we ask what…

Information Theory · Computer Science 2011-04-04 Paul Cuff , Haim Permuter , Thomas Cover

Most existing work on strategic reasoning simply adopts either an informed or an uninformed semantics. We propose a model where knowledge of strategies can be specified on a fine-grained level. In particular, it is possible to distinguish…

Logic in Computer Science · Computer Science 2025-10-23 Borja Sierra Miranda , Thomas Studer

In distributed learning, the goal is to perform a learning task over data distributed across multiple nodes with minimal (expensive) communication. Prior work (Daume III et al., 2012) proposes a general model that bounds the communication…

Machine Learning · Computer Science 2012-04-17 Hal Daume , Jeff M. Phillips , Avishek Saha , Suresh Venkatasubramanian

Substantial efforts have been made in developing various Decision Modeling formalisms, both from industry and academia. A challenging problem is that of expressing decision knowledge in the context of incomplete knowledge. In such contexts,…

Artificial Intelligence · Computer Science 2023-12-19 Đorđe Marković , Simon Vandevelde , Linde Vanbesien , Joost Vennekens , Marc Denecker

Various planning-based know-how logics have been studied in the recent literature. In this paper, we use such a logic to do know-how-based planning via model checking. In particular, we can handle the higher-order epistemic planning…

Artificial Intelligence · Computer Science 2021-06-23 Yanjun Li , Yanjing Wang

We propose a method for reasoning about trust in multi-agent systems, specifying a language for describing communication protocols and making trust assumptions and derivations. This is given an interpretation in a modal logic for describing…

Logic in Computer Science · Computer Science 2026-03-24 Niels Voorneveld , Peeter Laud

Suppose we need a deep collective analysis of an open scientific problem: there is a complex scientific hypothesis and a large online group of mutually unrelated experts with relevant private information of a diverse and unpredictable…

Computer Science and Game Theory · Computer Science 2026-01-27 Alexey V. Osipov , Nikolay N. Osipov

In this work, we propose a distributed hierarchical locomotion control strategy for whole-body cooperation and demonstrate the potential for migration into large numbers of agents. Our method utilizes a hierarchical structure to break down…

Robotics · Computer Science 2024-10-29 Chuye Hong , Kangyao Huang , Huaping Liu

Establishing common ground, a shared set of beliefs and mutually recognized facts, is fundamental to collaboration, yet remains a challenge for current AI systems, especially in multimodal, multiparty settings, where the collaborators bring…

Artificial Intelligence · Computer Science 2026-05-26 Yifan Zhu , Mariah Bradford , Kenneth Lai , Timothy Obiso , Videep Venkatesha , James Pustejovsky , Nikhil Krishnaswamy

This article presents the top-level of an ontology categorizing and generalizing best practices and quality criteria or measures for Linked Data. It permits to compare these techniques and have a synthetic organized view of what can or…

Digital Libraries · Computer Science 2013-05-31 Philippe A. Martin

Humans possess a remarkable ability to acquire knowledge efficiently and apply it across diverse modalities through a coherent and shared understanding of the world. Inspired by this cognitive capability, we introduce a concept-centric…

Artificial Intelligence · Computer Science 2026-01-26 Yuchong Geng , Ao Tang

Despite its great success, machine learning can have its limits when dealing with insufficient training data. A potential solution is the additional integration of prior knowledge into the training process which leads to the notion of…

We introduce the concept of access-based intuitionistic knowledge which relies on the intuition that agent $i$ knows $\varphi$ if $i$ has found access to a proof of $\varphi$. Basic principles are distribution and factivity of knowledge as…

Logic in Computer Science · Computer Science 2021-02-25 Steffen Lewitzka

The article first summarizes reasons why current approaches supporting Open Learning and Distance Education need to be complemented by tools permitting lecturers, researchers and students to cooperatively organize the semantic content of…

Computers and Society · Computer Science 2013-06-07 Philippe A. Martin

Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epistemic logics in automatic planning. Knowledge compilation…

Artificial Intelligence · Computer Science 2018-06-29 Liangda Fang , Kewen Wang , Zhe Wang , Ximing Wen

In the context of big data analysis, the divide-and-conquer methodology refers to a multiple-step process: first splitting a data set into several smaller ones; then analyzing each set separately; finally combining results from each…

Machine Learning · Statistics 2021-02-23 Xueying Chen , Jerry Q. Cheng , Min-ge Xie

In domains with high knowledge distribution a natural objective is to create principle foundations for collaborative interactive learning environments. We present a first mathematical characterization of a collaborative learning group, a…

Artificial Intelligence · Computer Science 2020-08-26 Tom Hanika , Jens Zumbrägel
‹ Prev 1 4 5 6 7 8 10 Next ›