Search Results - Foundations of Logic Programming. Keywords

Data-based prediction of sentiments using heterogeneous model ensembles by Winkler, Stephan, Schaller, Susanne, Dorfer, Viktoria, Affenzeller, Michael, Petz, Gerald, Karpowicz, Michał

“…In this paper, we present an ensemble modeling approach for sentiment analysis using machine learning algorithms. The main goal of sentiment analysis is to…”
Get full text

Existence and multiplicity of the solutions of the p(x)-Kirchhoff type equation via genus theory by Avci, Mustafa, Cekic, Bilal, Mashiyev, Rabil A.

“…Communicated by Song Jiang In this paper, by using variational approach and Krasnoselskii's genus theory, we show the existence and multiplicity of the…”
Get full text

Mathematical Foundations of Probabilistic Estimation in Fuzzy Bayesian Belief Networks by Parasyuk, I. M., Verovka, O. V.

“…Specific problems arising in the creation of Bayesian networks for processing fuzzy information are considered. Conditions are obtained that ensure the…”
Get full text

Lazy Stream Programming in Prolog by Tarau, Paul, Wielemaker, Jan, Schrijvers, Tom

“…In recent years, stream processing has become a prominent approach for incrementally handling large amounts of data, with special support and libraries in many programming languages…”
Get full text

An effective quality analysis of XML web data using hybrid clustering and classification approach by Gopianand, M., Jaganathan, P.

“… XML is turning into a standard in representation of data, it is attractive to support keyword search in XML database…”
Get full text

Competing hypotheses and abductive inference by Glass, David H.

“…This paper explores the nature of competition between hypotheses and the effect of failing to model this relationship correctly when performing abductive…”
Get full text

Classifier-based constraint acquisition by Prestwich, S. D., Freuder, E. C., O’Sullivan, B., Browne, D.

“…Modeling a combinatorial problem is a hard and error-prone task requiring significant expertise. Constraint acquisition methods attempt to automate this…”
Get full text

Evaluating Handwritten Answers Using DeepSeek: A Comparative Analysis of Deep Learning-Based Assessment by Bansal, Sanskar, Gupta, Vinay, Gupta, Eshita, Garg, Peeyush

“…Artificial intelligence is revolutionizing the education sector by making learning more accessible, efficient, and customized. Recent advancements in…”
Get full text

Concept Induction in Description Logics Using Information-Theoretic Heuristics by Fanizzi, Nicola

“…This paper presents an approach to ontology construction pursued through the induction of concept descriptions expressed in Description Logics…”
Get full text

Winskel is (almost) Right: Towards a Mechanized Semantics Textbook by Nipkow, Tobias

“…We present a formalization of the first 100 pages of Winskel's textbook The Formal Semantics of Programming Languages in the theorem prover Isabelle/HOL…”
Get full text

A Neural Lambda Calculus: Neurosymbolic AI meets the foundations of computing and functional programming by Flach, João, Lamb, Luis C

“… and multiplication, logic inference, such as theorem provers, and even the execution of computer programs…”
Get full text

Platform Theoretical Referential of the Process of Teaching Learning of the Programming Logic in the Formation of Technologists in Analysis of Systems by Lic. Iván D. Tutillo-Arcentales, Dra.C. Maribel Ferrer-Vicente

“…The development of the ability of programming for computers, begins in the ability to transform the algorithms of the daily activities in programming algorithms and he/she responds to the student's…”
Get full text

Valoración de la metodología de enseñanza de lógica de programación en la carrera de Análisis de Sistemas by Durán Pico, Ulbio

“…Esta investigación se llevó a cabo con el objetivo de analizar los fundamentos epistemológicos de la metodología de la enseñanza de lógica de programación   en…”
Get full text

Modeling selectional restrictions in a relational type system by Luuk, Erkki

“… Keywords: type theory, selectional restrictions, syntax, morphology…”
Get full text

Relativity of visual communication/Vizualines komunikacijos reliatyvumas by Mutanen, Arto

“…Communication is sharing and conveying information. In visual communication especially visual messages have to be formulated and interpreted. The…”
Get full text

Education and Business in Conditions of Coopetition: Bibliometrics by Koibichuk, Vitaliia, Samoilikova, Anastasiia, Herasymenko, Valeriia

“… Education is the foundation for creating a business since the effective activity is impossible without a strong information base…”
Get full text

Hackathons as engines of innovation: A review essay by Pousset, Joanna, Stolin, David

“… (Columbia University Press, 2025), an interdisciplinary exploration of how hackathons have evolved from grassroots programming events into institutionalized tools of innovation, education, and civic engagement…”
Get full text

Education and Business in Conditions of Coopetition: Bibliometrics by Koibichuk, Vitaliia, Samoilikova, Anastasiia, Herasymenko, Valeriia

“… Education is the foundation for creating a business since the effective activity is impossible without a strong information base…”
Get full text

Education and Business in Conditions of Coopetition: Bibliometrics by Koibichuk, Vitaliia, Samoilikova, Anastasiia, Herasymenko, Valeriia

“… Education is the foundation for creating a business since the effective activity is impossible without a strong information base…”
Get full text

Strongly Compact Closed Semantics by Coecke, Bob

“…These lecture notes survey some joint work with Samson Abramsky as it was presented by me at Mathematical Foundations of Programming Semantics XXI in Birmingham (2005…”
Get full text