Crossref Citations
                  
                    
                    
                      
                        This article has been cited by the following publications. This list is generated based on data provided by 
    Crossref.
                     
                   
                  
                        
                          
                                
                                
                                    
                                    Christiansen, Henning
                                     and 
                                    Dahl, Veronica
                                  2005.
                                  Modeling and Using Context.
                                  
                                  
                                  
                                  Vol. 3554, 
                                  Issue. , 
                                
                                    p. 
                                    97.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Christiansen, Henning
                                     and 
                                    Dahl, Veronica
                                  2005.
                                  Logic Programming.
                                  
                                  
                                  
                                  Vol. 3668, 
                                  Issue. , 
                                
                                    p. 
                                    159.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Dahl, Veronica
                                  2005.
                                  Constraint Solving and Language Processing.
                                  
                                  
                                  
                                  Vol. 3438, 
                                  Issue. , 
                                
                                    p. 
                                    17.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Blache, Philippe
                                     and 
                                    Prost, Jean-Philippe
                                  2005.
                                  Constraint Solving and Language Processing.
                                  
                                  
                                  
                                  Vol. 3438, 
                                  Issue. , 
                                
                                    p. 
                                    74.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Dahl, Veronica
                                     and 
                                    Gu, Baohua
                                  2006.
                                  Logic Programming.
                                  
                                  
                                  
                                  Vol. 4079, 
                                  Issue. , 
                                
                                    p. 
                                    442.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Christiansen, Henning
                                  2007.
                                  Computational Logic in Multi-Agent Systems.
                                  
                                  
                                  
                                  Vol. 4371, 
                                  Issue. , 
                                
                                    p. 
                                    226.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Voll, Kimberly
                                  2007.
                                  Advances in Artificial Intelligence.
                                  
                                  
                                  
                                  Vol. 4509, 
                                  Issue. , 
                                
                                    p. 
                                    514.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Christiansen, Henning
                                  2008.
                                  Constraint Handling Rules.
                                  
                                  
                                  
                                  Vol. 5388, 
                                  Issue. , 
                                
                                    p. 
                                    85.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Christiansen, Henning
                                  2009.
                                  Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules.
                                  
                                  
                                  Journal of Applied Logic, 
                                  Vol. 7, 
                                  Issue. 3, 
                                
                                    p. 
                                    341.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Christiansen, Henning
                                     and 
                                    Dahl, Verónica
                                  2009.
                                  Logic, Language, Information and Computation.
                                  
                                  
                                  
                                  Vol. 5514, 
                                  Issue. , 
                                
                                    p. 
                                    170.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    DE KONINCK, LESLIE
                                  2009.
                                  Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities.
                                  
                                  
                                  Theory and Practice of Logic Programming, 
                                  Vol. 9, 
                                  Issue. 2, 
                                
                                    p. 
                                    165.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Smith, Neil
                                    
                                    Thomas, Pete
                                     and 
                                    Waugh, Kevin
                                  2010.
                                  Diagrammatic Representation and Inference.
                                  
                                  
                                  
                                  Vol. 6170, 
                                  Issue. , 
                                
                                    p. 
                                    331.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Dahl, Veronica
                                  2011.
                                  Datalog Reloaded.
                                  
                                  
                                  
                                  Vol. 6702, 
                                  Issue. , 
                                
                                    p. 
                                    161.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Triossi, Andrea
                                    
                                    Orlando, Salvatore
                                    
                                    Raffaetà, Alessandra
                                     and 
                                    Frühwirth, Thom
                                  2012.
                                  Compiling CHR to parallel hardware.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    173.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    van de Camp, Matje
                                     and 
                                    Christiansen, Henning
                                  2013.
                                  Constraint Solving and Language Processing.
                                  
                                  
                                  
                                  Vol. 8114, 
                                  Issue. , 
                                
                                    p. 
                                    166.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Christiansen, Henning
                                  2014.
                                  Language, Life, Limits.
                                  
                                  
                                  
                                  Vol. 8493, 
                                  Issue. , 
                                
                                    p. 
                                    93.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Christiansen, Henning
                                  2014.
                                  Context in Computing.
                                  
                                  
                                  
                                  
                                  
                                
                                    p. 
                                    401.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Frühwirth, Thom
                                  2015.
                                  Rule Technologies: Foundations, Tools, and Applications.
                                  
                                  
                                  
                                  Vol. 9202, 
                                  Issue. , 
                                
                                    p. 
                                    13.
                                
                                
                        
                        
                        
                        
      
                          
                                
                                
                                    
                                    Christiansen, Henning
                                     and 
                                    Kirkeby, Maja H.
                                  2017.
                                  On proving confluence modulo equivalence for Constraint Handling Rules.
                                  
                                  
                                  Formal Aspects of Computing, 
                                  Vol. 29, 
                                  Issue. 1, 
                                
                                    p. 
                                    57.