Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Logic programming in tensor spaces
Sakama, Chiaki, Inoue, Katsumi, Sato, Taisuke
Published in Annals of mathematics and artificial intelligence (01.12.2021)
Published in Annals of mathematics and artificial intelligence (01.12.2021)
Get full text
Journal Article
Paraconsistent Logic Programming in Three and Four-Valued Logics
Oliveira, Kleidson Êglicio Carvalho da Silva
Published in The bulletin of symbolic logic (01.06.2022)
Published in The bulletin of symbolic logic (01.06.2022)
Get full text
Journal Article
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”
Wszelaki, Natalia, Chong, Pee-Win, Bothe, Gordana, Seibt, Stephanie, Bongartz, Udo, Uebelhack, Ralf, De Costa, Patricia
Published in Journal of obesity (2019)
Published in Journal of obesity (2019)
Get full text
Journal Article
ILP turns 20: Biography and future challenges
Muggleton, Stephen, De Raedt, Luc, Poole, David, Bratko, Ivan, Flach, Peter, Inoue, Katsumi, Srinivasan, Ashwin
Published in Machine learning (01.01.2012)
Published in Machine learning (01.01.2012)
Get full text
Journal Article
Optimizing Probabilities in Probabilistic Logic Programs
AZZOLINI, DAMIANO, RIGUZZI, FABRIZIO
Published in Theory and practice of logic programming (01.09.2021)
Published in Theory and practice of logic programming (01.09.2021)
Get full text
Journal Article
Flatness-based adaptive sliding mode tracking control for a quadrotor with disturbances
Ma, Dailiang, Xia, Yuanqing, Shen, Ganghui, Jia, Zhiqiang, Li, Tianya
Published in Journal of the Franklin Institute (01.09.2018)
Published in Journal of the Franklin Institute (01.09.2018)
Get full text
Journal Article
Constraint Programming-Based Verification of COLREG Safety
Vain, Juri, Tsiopoulos, Leonidas, Walden, Marina, Benterki, Aboubaker Seddiq
Published in IEEE journal of oceanic engineering (15.09.2025)
Published in IEEE journal of oceanic engineering (15.09.2025)
Get full text
Journal Article
Safety-Critical Attitude Tracking of Spacecraft With Data-Based Parameter Identification
Xia, Kewei, Wang, Jianan, Liu, Fuxiang
Published in IEEE transactions on aerospace and electronic systems (01.04.2025)
Published in IEEE transactions on aerospace and electronic systems (01.04.2025)
Get full text
Journal Article