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
          
              
          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
          
              
          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
          
              
          Sets and constraint logic programming
                          
                               
                                                Published in                                                ACM transactions on programming languages and systems
             (01.09.2000)                                            
                   
      
      
                                                  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 (01.10.2025)
                   
      
      
                                                  Published in IEEE journal of oceanic engineering (01.10.2025)
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