Suchergebnisse - Foundations of Logic Programming. Keywords

Data-based prediction of sentiments using heterogeneous model ensembles von 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 …”
Volltext

Existence and multiplicity of the solutions of the p(x)-Kirchhoff type equation via genus theory von 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 …”
Volltext

Mathematical Foundations of Probabilistic Estimation in Fuzzy Bayesian Belief Networks von 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 …”
Volltext

Lazy Stream Programming in Prolog von 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 …”
Volltext

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

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

Competing hypotheses and abductive inference von 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 …”
Volltext

Classifier-based constraint acquisition von 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 …”
Volltext

Evaluating Handwritten Answers Using DeepSeek: A Comparative Analysis of Deep Learning-Based Assessment von 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 …”
Volltext

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

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

Winskel is (almost) Right: Towards a Mechanized Semantics Textbook von 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 …”
Volltext

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

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

Platform Theoretical Referential of the Process of Teaching Learning of the Programming Logic in the Formation of Technologists in Analysis of Systems von 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 …”
Volltext

Valoración de la metodología de enseñanza de lógica de programación en la carrera de Análisis de Sistemas von 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 …”
Volltext

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

“… Keywords: type theory, selectional restrictions, syntax, morphology …”
Volltext

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

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

Education and Business in Conditions of Coopetition: Bibliometrics von 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 …”
Volltext

Hackathons as engines of innovation: A review essay von 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 …”
Volltext

Education and Business in Conditions of Coopetition: Bibliometrics von 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 …”
Volltext

Education and Business in Conditions of Coopetition: Bibliometrics von 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 …”
Volltext

Strongly Compact Closed Semantics von 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 …”
Volltext