Image de couverture de livre

Distributed Knowing How

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Liu, Bin, Wang, Yanjing
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
par: Molick, Sanderson, et autres
Publié: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Graded Distributed Belief
par: Lorini, Emiliano, et autres
Publié: (2025)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
par: Cardellini, Matteo, et autres
Publié: (2024)

Translating Informal Proofs into Formal Proofs Using a Chain of States
par: Wang, Ziyu, et autres
Publié: (2025)

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
par: Rodler, Patrick
Publié: (2022)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
par: Akshay, S., et autres
Publié: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
par: Joyce, Johnny
Publié: (2025)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York
par: Sehgal, Sanskar, et autres
Publié: (2025)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
par: Wang, David, et autres
Publié: (2025)

Weighted Rules under the Stable Model Semantics
par: Lee, Joohyung, et autres
Publié: (2026)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
par: Meng, Qiaolan, et autres
Publié: (2025)

Large Language Models for Interpretable Mental Health Diagnosis
par: Kim, Brian Hyeongseok, et autres
Publié: (2025)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
par: Park, Young Bin
Publié: (2026)

Faster Lifting for Ordered Domains with Predecessor Relations
par: Zou, Kuncheng, et autres
Publié: (2025)

Scalable Knowledge Refactoring using Constrained Optimisation
par: Liu, Minghao, et autres
Publié: (2024)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
par: Wang, Ruolin, et autres
Publié: (2024)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
par: Xu, Yang, et autres
Publié: (2025)

Contradictions
par: Xu, Yang, et autres
Publié: (2025)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
par: Liu, Chanjuan, et autres
Publié: (2024)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
par: Xu, Yang, et autres
Publié: (2026)

Can LLM Aid in Solving Constraints with Inductive Definitions?
par: Feng, Weizhi, et autres
Publié: (2026)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
par: Pan, Yudai, et autres
Publié: (2021)

Defeasible Reasoning on Concepts
par: Ding, Yiwen, et autres
Publié: (2024)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
par: Tudor, Alexis R., et autres
Publié: (2025)

Logic Synthesis with Generative Deep Neural Networks
par: Li, Xihan, et autres
Publié: (2024)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
par: Kim, Curie, et autres
Publié: (2026)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
par: Li, Sirui, et autres
Publié: (2025)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
par: Zang, Zhengqing, et autres
Publié: (2026)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
par: Huang, Litian, et autres
Publié: (2024)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
par: An, Chenyang, et autres
Publié: (2024)