Results 41 to 50 of about 568,503 (297)

Neutrosophic Filters and Their Applications in BCK-Algebras [PDF]

Neutrosophic Sets and Systems
This paper explores the integration of neutrosophic logic into the algebraic structure known as B𝐶𝐾−algebra, with a particular focus on the development and analysis of neutrophic filters. We present new definitions, fundamental theorems, and illustrative
Arkan A. Atshan, Shuker M. Khalil, Shadia M. Noori, Qays H. Imran   +3 more
doaj   +1 more source

Disagreement and Philosophical Progress [PDF]

, 2015
In “Belief in the Face of Controversy,” Hilary Kornblith argues for a radical form of epistemic modesty: given that there has been no demonstrable cumulativeprogress in the history of philosophy – as there has been in formal logic, math, and science ...
Ables, Brent
core   +1 more source

Logical foundations for belief representation [PDF]

Cognitive Science, 1986
This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi‐indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports.
openaire   +1 more source

Validation of the Pediatric Arthritis Ultrasound Scoring System for the Elbow, Wrist, and Finger Joints in Children With Juvenile Idiopathic Arthritis

Arthritis Care &Research, EarlyView.
Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez, Pinar Ozge Avar‐Aydin, Kelly Rogers, Daniel J. Lovell, Jennifer Huggins, Alexei Grom, Hermine I. Brunner, Grant S. Schulert, Sheila T. Angeles‐Han, Mekibib Altaye, Amy Cassedy, Arthur B. Meyers, Tracy V. Ting   +12 more
wiley   +1 more source

Propositional inquisitive logic: a survey [PDF]

Computer Science Journal of Moldova, 2016
This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj  

(WP 2018-02) Extending Behavioral Economics’ Methodological Critique of Rational Choice Theory to Include Counterfactual Reasoning [PDF]

, 2018
This paper extends behavioral economics’ realist methodological critique of rational choice theory to include the type of logical reasoning underlying its axiomatic foundations.
Davis, John B.
core   +1 more source

Logic-Based Specification Languages for Intelligent Software Agents

, 2003
The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very
Martelli, Maurizio, Mascardi, Viviana, Sterling, Leon   +2 more
core   +2 more sources

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning [PDF]

, 2010
Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries like term and graph rewriting.
A. Aldini, A. Boronat, A. Coles, A. Lluch Lafuente, A. Verdejo, E. Seidewitz, F. Giunchiglia, G.D. Plotkin, H. Ehrig, I. Lanese, J. Meseguer, J.-P. Katoen, M. Hölzl, N. Kumar, P.C. Ölveczky, R. Bruni, S. Bistarelli, S.J. Russell   +17 more
core   +3 more sources

A Logical Foundation for XML [PDF]

, 2002
XML is fast emerging as the dominant standard for data representation and exchange on the World Wide Web. How to view an XML document, i.e., XML data model, and how to query XML documents are two primary research issues for XML. The purpose of this paper is twofold.
openaire   +1 more source

A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems

International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.
A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source