Výsledky vyhledávání - Foundations of Logic Programming. Keywords

Data-based prediction of sentiments using heterogeneous model ensembles Autor 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…”
Získat plný text

Existence and multiplicity of the solutions of the p(x)-Kirchhoff type equation via genus theory Autor 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…”
Získat plný text

Mathematical Foundations of Probabilistic Estimation in Fuzzy Bayesian Belief Networks Autor 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…”
Získat plný text

Lazy Stream Programming in Prolog Autor 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…”
Získat plný text

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

“… XML is turning into a standard in representation of data, it is attractive to support keyword search in XML database…”
Získat plný text

Competing hypotheses and abductive inference Autor 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…”
Získat plný text

Classifier-based constraint acquisition Autor 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…”
Získat plný text

Evaluating Handwritten Answers Using DeepSeek: A Comparative Analysis of Deep Learning-Based Assessment Autor 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…”
Získat plný text

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

“…This paper presents an approach to ontology construction pursued through the induction of concept descriptions expressed in Description Logics…”
Získat plný text

Winskel is (almost) Right: Towards a Mechanized Semantics Textbook Autor 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…”
Získat plný text

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

“… and multiplication, logic inference, such as theorem provers, and even the execution of computer programs…”
Získat plný text

Platform Theoretical Referential of the Process of Teaching Learning of the Programming Logic in the Formation of Technologists in Analysis of Systems Autor 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…”
Získat plný text

Valoración de la metodología de enseñanza de lógica de programación en la carrera de Análisis de Sistemas Autor 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…”
Získat plný text

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

“… Keywords: type theory, selectional restrictions, syntax, morphology…”
Získat plný text

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

“…Communication is sharing and conveying information. In visual communication especially visual messages have to be formulated and interpreted. The…”
Získat plný text

Education and Business in Conditions of Coopetition: Bibliometrics Autor 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…”
Získat plný text

Hackathons as engines of innovation: A review essay Autor 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…”
Získat plný text

Education and Business in Conditions of Coopetition: Bibliometrics Autor 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…”
Získat plný text

Education and Business in Conditions of Coopetition: Bibliometrics Autor 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…”
Získat plný text

Strongly Compact Closed Semantics Autor 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…”
Získat plný text