Khalil Djelloul

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

University of the Mediterranean, Marseille, France (PHD)

Education History

University of the Mediterranean, Marseille, France

PHD

Publications

Khalil Djelloul
A full first-order constraint solver for decomposable theories. Ann. Math. Artif. Intell. 56 (1) (2009)
Khalil Djelloul
From exponential to almost linear decomposability of finite or infinite trees. SAC (2009)
Khalil Djelloul
From decomposable to residual theories. Appl. Math. Comput. 215 (5) (2009)
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
Theory of finite or infinite trees revisited. Theory Pract. Log. Program. 8 (4) (2008)
Khalil Djelloul
Combination of decomposability and propagation for solving first-order constraints in decomposable theories. SAC (2008)
Khalil Djelloul
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints. CSCLP (2008)
Khalil Djelloul
A Full First-Order Constraint Solver for Decomposable Theories. AISC/MKM/Calculemus (2008)
Marc Meister, Khalil Djelloul, Jacques Robin
A Unified Semantics for Constraint Handling Rules in Transaction Logic. LPNMR (2007)
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. SAC (2007)
Khalil Djelloul
Decomposable theories. Theory Pract. Log. Program. 7 (5) (2007)
Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth
Theory of Finite or Infinite Trees Revisited CoRR (2007)
Marc Meister, Khalil Djelloul, Thom W. Frühwirth
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. CSCLP (2006)
Thi-Bich-Hanh Dao, Khalil Djelloul
Solving First-Order Constraints in the Theory of the Evaluated Trees. CSCLP (2006)
Khalil Djelloul, Thi-Bich-Hanh Dao
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. SAC (2006)
Khalil Djelloul
Decomposable Theories CoRR (2006)
Khalil Djelloul, Thi-Bich-Hanh Dao
Complete First-Order Axiomatization of Finite or Infinite M-extended Trees. WLP (2006)
Thi-Bich-Hanh Dao, Khalil Djelloul
Solving First-Order Constraints in the Theory of the Evaluated Trees. ICLP (2006)
Khalil Djelloul, Thi-Bich-Hanh Dao
Extension of First-Order Theories into Trees. AISC (2006)
Khalil Djelloul
About the Combination of Trees and Rational Numbers in a Complete First-Order Theory. FroCoS (2005)
Khalil Djelloul
Complete First-Order Axiomatization of the Construction of Trees On an Ordered Set. FCS (2005)

Khalil Djelloul.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Khalil Djelloul