Switch to: References

Add citations

You must login to add citations.
  1. Framing the Epistemic Schism of Statistical Mechanics.Javier Anta - 2021 - Proceedings of the X Conference of the Spanish Society of Logic, Methodology and Philosophy of Science.
    In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.
    The topics of structural proof theory and logic programming have influenced each other for more than three decades. Proof theory has contributed the notion of sequent calculus, linear logic, and higher-order quantification. Logic programming has introduced new normal forms of proofs and forced the examination of logic-based approaches to the treatment of bindings. As a result, proof theory has responded by developing an approach to proof search based on focused proof systems in which introduction rules are organized into two alternating (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Minimal and consistent evolution of knowledge bases.Jorge Lobo & Goce Trajcevski - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):117-146.
    ABSTRACT This work presents efficient algorithms to update knowledge bases in the presence of integrity constraints. The algorithms ensure that the changes to the knowledge bases are minimal. We use the deductive database paradigm to represent knowledge. Minimality is defined as a natural partial order over possible models of the database and expresses a preference for data explicity stored in the database over the data deduced by default. This requirement seems rational for many applications and yet it is hard to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • An activity-centric argumentation framework for assistive technology aimed at improving health.Esteban Guerrero, Juan Carlos Nieves & Helena Lindgren - 2016 - Argument and Computation 7 (1):5-33.
    Download  
     
    Export citation  
     
    Bookmark   3 citations