Search Results - "Logic programming"

Logic programming in tensor spaces by Sakama, Chiaki, Inoue, Katsumi, Sato, Taisuke

“…This paper introduces a novel approach to computing logic programming semantics. First, a propositional Herbrand base is represented in a vector space and if-then rules in a program are encoded in a matrix…”
Get full text

Design and Validation of an Augmented Reality Teaching System for Primary Logic Programming Education by Tsai, Chi-Yi, Lai, Yu-Cheng

“… To alleviate this problem, this study proposes an augmented reality (AR) logic programming teaching system that combines AR technologies and game-based teaching material…”
Get full text

Mathematical Aspects of Logic Programming Semantics by Hitzler, Pascal, Seda, Anthony

“… functions, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic…”
Get full text

Paraconsistent Logic Programming in Three and Four-Valued Logics by Oliveira, Kleidson Êglicio Carvalho da Silva

“…From the interaction among areas such as Computer Science, Formal Logic, and Automated Deduction arises an important new subject called Logic Programming…”
Get full text

Type Assignment in Logic Programming by Barbosa, João Luis Alves

“…, and use it to detect type errors.Types play an important role in the verification and debugging of pro- gramming languages, and have been the subject of significant research in the logic programming community…”
Get full text

MeSH Now: automatic MeSH indexing at PubMed scale via learning to rank by Mao, Yuqing, Lu, Zhiyong

“…Background MeSH indexing is the task of assigning relevant MeSH terms based on a manual reading of scholarly publications by human indexers. The task is highly…”
Get full text

Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog by Zdor, D. V.

“…Introduction. The organization of branches and repetitions in the context of logical programming is considered by an example of the Prolog language. The…”
Get full text

ILP turns 20: Biography and future challenges by Muggleton, Stephen, De Raedt, Luc, Poole, David, Bratko, Ivan, Flach, Peter, Inoue, Katsumi, Srinivasan, Ashwin

“…Inductive Logic Programming (ILP) is an area of Machine Learning which has now reached its twentieth year…”
Get full text

Erratum to “Double-Blind, Randomized, Three-Armed, Placebo-Controlled, Clinical Investigation to Evaluate the Benefit and Tolerability of Two Dosages of IQP-AE-103 in Reducing Body Weight in Overweight and Moderately Obese Subjects” by Wszelaki, Natalia, Chong, Pee-Win, Bothe, Gordana, Seibt, Stephanie, Bongartz, Udo, Uebelhack, Ralf, De Costa, Patricia

“… of IQP-AE-103 in Reducing Body Weight in Overweight and Moderately Obese Subjects” [1], there was an error in the legend of Figure 3 that occurred…”
Get full text

Constraint Programming-Based Verification of COLREG Safety by Vain, Juri, Tsiopoulos, Leonidas, Walden, Marina, Benterki, Aboubaker Seddiq

“… In this article, we study the consistency and sufficiency of a subset of COLREG rules by applying constraint logic programming and formal verification techniques to identify corner cases that do not…”
Get full text

A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments by Segato, Alice, Calimeri, Francesco, Testa, Irene, Corbetta, Valentina, Riva, Marco, De Momi, Elena

“… In particular, an inductive learning model is trained with expert demonstrations and with rules translated into a reward function, while logic programming is used to choose the starting point…”
Get full text

Drawing Analogies between Logic Programming and Natural Language Argumentation Texts to Scaffold Learners’ Understanding by Ragonis, Noa, Shilo, Gila

“…The paper presents a theoretical investigational study of the potential advantages that secondary school learners may gain from learning two different subjects, namely, logic programming within…”
Get full text

Reasoning about preferences in argumentation frameworks by Modgil, Sanjay

“…The abstract nature of Dung's seminal theory of argumentation accounts for its widespread application as a general framework for various species of…”
Get full text

Optimizing Probabilities in Probabilistic Logic Programs by AZZOLINI, DAMIANO, RIGUZZI, FABRIZIO

“…Probabilistic logic programming is an effective formalism for encoding problems characterized by uncertainty…”
Get full text

FFNSL: Feed-Forward Neural-Symbolic Learner by Cunnington, Daniel, Law, Mark, Lobo, Jorge, Russo, Alessandra

“… to learn interpretable knowledge from sequences of images. We evaluate the robustness of our framework by using images subject to distributional shifts…”
Get full text

Flatness-based adaptive sliding mode tracking control for a quadrotor with disturbances by Ma, Dailiang, Xia, Yuanqing, Shen, Ganghui, Jia, Zhiqiang, Li, Tianya

“…In this paper, a flatness-based adaptive sliding mode control strategy is presented to solve the trajectory tracking problem of a quadrotor. According to the…”
Get full text

A relaxed condition for avoiding the occur-check by Drabent, Włodzimierz

“…We generalize the notion of “not subject to occur-check” (NSTO), on which most known results on avoiding the occur-check in logic programming are based…”
Get full text

A probabilistic interval-based event calculus for activity recognition by Artikis, Alexander, Makris, Evangelos, Paliouras, Georgios

“…Activity recognition refers to the detection of temporal combinations of ‘low-level’ or ‘short-term’ activities on sensor data. Various types of uncertainty…”
Get full text

Safety-Critical Attitude Tracking of Spacecraft With Data-Based Parameter Identification by Xia, Kewei, Wang, Jianan, Liu, Fuxiang

“…This article proposes a safety-critical control strategy for the attitude tracking issue of a rigid spacecraft subject to orientation and angular velocity constraints…”
Get full text

Conceptual model visual simulation and the inductive learning of missing domain constraints by Fumagalli, Mattia, Sales, Tiago Prince, Baião, Fernanda Araujo, Guizzardi, Giancarlo

“…s. However, as empirical results show, conceptual modelers are subject to cognitive limitations and biases and, hence, in practice, they systematically produce models that fall short in that respect…”
Get full text