Results 11 to 20 of about 15,877 (256)
ACM Transactions on Computational LogicPrimal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information. In the realm of arbitrary items of information (infons), conjunction, disjunction, and implication may seem to correspond (set-theoretically) to union, intersection, and ...
Yuri Gurevich, Andreas Blass
openaire +2 more sources
Informal Logic referees 2011-2012
Informal Logic, 2013 The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for Informal Logic for Volumes 31 (2011) and 32 (2012).
Informal Logic Editors
doaj +3 more sources
The information in intuitionistic logic [PDF]
Synthese, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
New Directions for Adult and Continuing Education, EarlyView.ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley +1 more source
The Logic of the Physics of Information [PDF]
Information, 2014 A consensus is emerging that the multiple forms, functions and properties of information cannot be captured by a simple categorization into classical and quantum information. Similarly, it is unlikely that the applicable physics of information is a single classical discipline, completely expressible in mathematical terms, but rather a complex, multi ...
openaire +2 more sources
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source
Informal Logic, 2015 This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS), a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence.
Walton, Douglas, Gordon, Thomas F.
openaire +5 more sources
Agribusiness, EarlyView.ABSTRACT In May 2020, China abruptly suspended imports from several major Australian beef processors, escalating a diplomatic dispute between the two countries. This trade measure disrupted one of the largest beef export relationships in the world almost overnight.
K. Aleks Schaefer, Youngjune Kim
wiley +1 more source
Food insecurity and unemployment among immigrants in the United States
American Journal of Agricultural Economics, EarlyView.Abstract Immigrants can be more vulnerable to economic downturns and, during periods of economic hardship, more likely to experience food insecurity compared to natives. This study examines the differential effect of the unemployment rate on the probability of being food insecure among diverse groups of immigrant households relative to natives in the ...
Siwen Zhou +3 more
wiley +1 more source
The psychosocial toll of Dublin III on asylum seekers in the Netherlands
American Journal of Community Psychology, EarlyView.Abstract The Dublin III Regulation determines which EU Member State is responsible for examining asylum claims, but its implementation carries significant consequences for those subjected to it. This study examines how Dublin III, as implemented in the Netherlands, affects asylum seekers' psychosocial wellbeing using Silove′s Adaptation and Development
Imen El Amouri
wiley +1 more source