Výsledky vyhľadávania - "logic programming"

Logic programming in tensor spaces Autor 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…”
Získať plný text

Design and Validation of an Augmented Reality Teaching System for Primary Logic Programming Education Autor 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…”
Získať plný text

Mathematical Aspects of Logic Programming Semantics Autor 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…”
Získať plný text

Paraconsistent Logic Programming in Three and Four-Valued Logics Autor 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…”
Získať plný text

Type Assignment in Logic Programming Autor 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…”
Získať plný text

MeSH Now: automatic MeSH indexing at PubMed scale via learning to rank Autor 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…”
Získať plný text

Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog Autor 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…”
Získať plný text

ILP turns 20: Biography and future challenges Autor 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…”
Získať plný 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” Autor 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…”
Získať plný text

Constraint Programming-Based Verification of COLREG Safety Autor 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…”
Získať plný text

A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments Autor 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…”
Získať plný text

Drawing Analogies between Logic Programming and Natural Language Argumentation Texts to Scaffold Learners’ Understanding Autor 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…”
Získať plný text

Reasoning about preferences in argumentation frameworks Autor 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…”
Získať plný text

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

“…Probabilistic logic programming is an effective formalism for encoding problems characterized by uncertainty…”
Získať plný text

FFNSL: Feed-Forward Neural-Symbolic Learner Autor 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…”
Získať plný text

Flatness-based adaptive sliding mode tracking control for a quadrotor with disturbances Autor 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…”
Získať plný text

A relaxed condition for avoiding the occur-check Autor 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…”
Získať plný text

A probabilistic interval-based event calculus for activity recognition Autor 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…”
Získať plný text

Safety-Critical Attitude Tracking of Spacecraft With Data-Based Parameter Identification Autor 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…”
Získať plný text

Conceptual model visual simulation and the inductive learning of missing domain constraints Autor 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…”
Získať plný text