Results 91 to 100 of about 125,965 (208)

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions [PDF]

arXiv, 2012
The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. Such logic formally extends logic programming, abductive logic programming and datalog, and thus formalizes the view on these formalisms as logics of (generalized) inductive definitions. The goal of this paper is to study
arxiv  

From Body Positivity and Beyond: Investigating Affective Aesthetic Atmospheres of Influencers

Journal of Consumer Behaviour, EarlyView.
ABSTRACT How do influencers create content on social media that shapes consumer experiences and discourse around beauty standards? While research recognizes the power of influencers to help motivate market‐level changes, limited research has investigated this performance, particularly related to content intended to resist existing aesthetic norms. This
Kelley Cours Anderson, Karen Anne Wallach, Pia A. Albinsson, Ryann Tracy   +3 more
wiley   +1 more source

Proceedings 40th International Conference on Logic Programming [PDF]

EPTCS 416, 2025
Since the first conference In Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include technical communications about, and abstracts for presentations given at the 40th ICLP held October 14-17, in Dallas Texas, USA.
arxiv   +1 more source

Preprocessing in Inductive Logic Programming

, 2021
Inductive logic programming is a type of machine learning in which logic programs are learned from examples. This learning typically occurs relative to some background knowledge provided as a logic program. This dissertation introduces bottom preprocessing, a method for generating initial constraints on the programs an ILP system must consider.
openaire   +2 more sources

Uncovering the Critical Role of Ni on Surface Lattice Stability in Anionic Redox Active Li1.2Ni0.2Mn0.6O2

Carbon Energy, EarlyView.
Anionic redox reaction is vital to batteries, but suffers serious surface fatigue, mostly from surface O2 release. Herein, TM dissolution (mostly Ni) is verified to occur before O2 release in Li1.2Ni0.2Mn0.6O2, indicating Ni as the ringleader of surface lattice collapse.
Peirong Li, Yande Li, Qi Liang, Yize Niu, Shun Zheng, Zengqing Zhuo, Yunhong Luo, Bocheng Liang, Dong Yang, Jixiang Yin, Supeng Chen, Wanneng Ye, Yuanyuan Pan, Qinghao Li, Pengfei Yu, Xiaosong Liu, Qiang Li   +16 more
wiley   +1 more source

Building Rules on Top of Ontologies for the Semantic Web with Inductive Logic Programming [PDF]

arXiv, 2007
Building rules on top of ontologies is the ultimate goal of the logical layer of the Semantic Web. To this aim an ad-hoc mark-up language for this layer is currently under discussion. It is intended to follow the tradition of hybrid knowledge representation and reasoning systems such as $\mathcal{AL}$-log that integrates the description logic $\mathcal{
arxiv  

Thermodynamic Insights on the Structure‐Property Relationships in Substituted Benzenes: Are the Pairwise Interactions in Tri‐Substituted Methyl‐Nitro‐Benzoic Acids Still Valid?

ChemPlusChem, EarlyView.
A comprehensive thermodynamic study of nine methyl‐nitro‐benzoic acids was carried out. By combining experimental, empirical and computational methods, a consistent and reliable set of phase transition enthalpies and enthalpies of formation was established.
José M. Silva Ferraz, Vladimir N. Emel'yanenko, Dzmitry H. Zaitsau, Artemiy A. Samarov, Bruno Brunetti, Andrea Ciccioli, Stefano Vecchio Ciprioti, Sergey P. Verevkin   +7 more
wiley   +1 more source

Automated Mutual Explicit Induction Proof in Separation Logic [PDF]

arXiv, 2016
We present a sequent-based deductive system for automatically proving entailments in separation logic by using mathematical induction. Our technique, called mutual explicit induction proof, is an instance of Noetherian induction. Specifically, we propose a novel induction principle on a well-founded relation of separation logic model and follow the ...
arxiv  

B‐Corp Certification: Systematic Literature Review and Research Agenda

Corporate Social Responsibility and Environmental Management, EarlyView.
ABSTRACT This paper aims to study the adoption and impact of B‐Corp certification by systematically reviewing key papers on this topic published in peer‐reviewed journals from 2006 to 2024. The paper proposes a conceptual framework that provides a comprehensive overview of research themes, subdivided into five broad research focuses: drivers and ...
Giovanna Attanasio, Cinzia Battistella, Elia Chizzolini   +2 more
wiley   +1 more source

Quality culture boosts agile transformation—Action research in a business‐to‐business software business

Journal of Software: Evolution and Process, Volume 35, Issue 1, January 2023., 2023
Agile transformations tend to ignore accompanying implementation of software quality or it is considered a developer skill rather than organizational practice. This paper presents an empirical investigation of improving a multi‐team organization. It is demonstrated that significant software defect reduction is possible with small quality related ...
Matti Saarikallio, Pasi Tyrväinen
wiley   +1 more source