This work contains both a theoretical development and a novel application of ideas introduced in [1] for using reflection in formal metareasoning. From the theoretical side, we extend the metareasoning principles proposed in [1] to cover the case of metatheorems about equational theories which are unrelated by the inclusion relation. From the practical side, we apply the newly introduced metare...

Currently accepted chronic pain treatment algorithms have positioned therapies according to levels of invasiveness and up-front costs. After reviewing updated literature on efficacy and cost outcomes of care for patients with chronic pain that include interventional implantable technologies, we offer a new model of thinking when formulating algorithms of care that might include more invasive an...

Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension allows powerful object-oriented reuse mechanisms, such as class inheritance and object composition, to be utilized in the early design phases. This paper presents the semantics for this extended SOFL and further demonstra...

1. ‘Part’ and Parthood 2. Basic Principles 2.1. Parthood as a Partial Ordering 2.2. Other Mereological Concepts 3. Supplementation Principles 3.1. Parts and Remainders 3.2. Identity and Extensionality 4. Closure Principles 4.1. Finitary Operations 4.2. Unrestricted Fusions 4.3. Composition, Existence, and Identity 5. Atomismistic and Atomless Mereologies Bibliography Historical Surveys Monograp...