Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

• URL: http://arxiv.org/abs/2107.07376v1
• Date: Wed, 14 Jul 2021 05:19:09 GMT
• Title: Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
• Authors: Elaine Pimentel (UFRN), Enrico Tassi (Inria)
• Abstract summary: Design, implementation and their use in reasoning tasks have been the focus of considerable research over the last two decades. This workshop brings together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop brings together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

Related papers

• Inference-Time Computations for LLM Reasoning and Planning: A Benchmark and Insights [49.42133807824413]
  We examine the reasoning and planning capabilities of large language models (LLMs) in solving complex tasks. Recent advances in inference-time techniques demonstrate the potential to enhance LLM reasoning without additional training. OpenAI's o1 model shows promising performance through its novel use of multi-step reasoning and verification.
  arXiv  Detail & Related papers  (2025-02-18T04:11:29Z)
• LogiDynamics: Unraveling the Dynamics of Logical Inference in Large Language Model Reasoning [49.58786377307728]
  This paper adopts an exploratory approach by introducing a controlled evaluation environment for analogical reasoning. We analyze the comparative dynamics of inductive, abductive, and deductive inference pipelines. We investigate advanced paradigms such as hypothesis selection, verification, and refinement, revealing their potential to scale up logical inference.
  arXiv  Detail & Related papers  (2025-02-16T15:54:53Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  This approach allows for the computer-assisted analysis of abstract dialectical frameworks. Exemplary applications include the formal analysis and verification of meta-theoretical properties.
  arXiv  Detail & Related papers  (2023-12-08T09:32:26Z)
• A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
  We present a novel framework, which uses an Inductive Logic Programming approach to learn the acceptability semantics for several abstract and structured argumentation frameworks in an interpretable way. Our framework outperforms existing argumentation solvers, thus opening up new future research directions in the area of formal argumentation and human-machine dialogues.
  arXiv  Detail & Related papers  (2023-10-18T20:18:05Z)
• Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation [0.0]
  The focus of the workshop is on applications in the areas of interest to the ESSLLI community, in particular logical approaches to natural language syntax and semantics and the dynamics of reasoning. The workshop is held with the support of the Horizon 2020 MSCA-Rise project MOSAIC.
  arXiv  Detail & Related papers  (2023-08-01T22:40:19Z)
• Cognitive Architecture for Decision-Making Based on Brain Principles Programming (in Russian) [0.34410212782758043]
  We describe a cognitive architecture intended to solve a wide range of problems based on the five identified principles of brain activity. We provide a basic ontology for a number of practical applications as well as for the functional domain based upon it, describe the proposed architecture, and give possible examples of the execution of these applications in this architecture.
  arXiv  Detail & Related papers  (2023-02-18T16:34:05Z)
• Cognitive Architecture for Decision-Making Based on Brain Principles Programming [0.3867363075280543]
  We describe a cognitive architecture intended to solve a wide range of problems based on the five identified principles of brain activity. We provide a basic ontology for a number of practical applications as well as for the functional domain based upon it, describe the proposed architecture, and give possible examples of the execution of these applications in this architecture.
  arXiv  Detail & Related papers  (2022-04-17T04:25:20Z)
• Active Inference in Robotics and Artificial Agents: Survey and Challenges [51.29077770446286]
  We review the state-of-the-art theory and implementations of active inference for state-estimation, control, planning and learning. We showcase relevant experiments that illustrate its potential in terms of adaptation, generalization and robustness.
  arXiv  Detail & Related papers  (2021-12-03T12:10:26Z)
• A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
  We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive and automated reasoning tools.
  arXiv  Detail & Related papers  (2021-10-18T10:45:59Z)
• The General Theory of General Intelligence: A Pragmatic Patternist Perspective [0.0]
  Review covers underlying philosophies, formalizations of the concept of intelligence, and a proposed high level architecture for AGI systems. The specifics of human-like cognitive architecture are presented as manifestations of these general principles. Lessons for practical implementation of advanced AGI in frameworks such as OpenCog Hyperon are briefly considered.
  arXiv  Detail & Related papers  (2021-03-28T10:11:25Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.