Loading…
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
Loading…
Loading…
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
Loading…
Incremental computation for structured argumentation over dynamic DeLP knowledge bases
Alfano, Gianvincenzo, Greco, Sergio, Parisi, Francesco, Simari, Gerardo I., Simari, Guillermo R.
Published in Artificial intelligence (01.11.2021)
Published in Artificial intelligence (01.11.2021)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
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
Loading…
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
Loading…
Loading…
Loading…
Loading…
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
Loading…
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
Loading…
Loading…
Loading…
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
Loading…
Loading…
A probabilistic interval-based event calculus for activity recognition
Artikis, Alexander, Makris, Evangelos, Paliouras, Georgios
Published in Annals of mathematics and artificial intelligence (01.02.2021)
Published in Annals of mathematics and artificial intelligence (01.02.2021)
Get full text
Journal Article