Khalil Djelloul

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From decomposable to residual theories Applied Mathematics and Computation	2009-12-16	Paper
A full first-order constraint solver for decomposable theories Annals of Mathematics and Artificial Intelligence	2009-12-11	Paper
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints Lecture Notes in Computer Science	2009-08-06	Paper
Solving First-Order Constraints in the Theory of the Evaluated Trees Lecture Notes in Computer Science	2009-03-05	Paper
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees Lecture Notes in Computer Science	2009-03-05	Paper
A Full First-Order Constraint Solver for Decomposable Theories Lecture Notes in Computer Science	2009-01-27	Paper
Extension of First-Order Theories into Trees Artificial Intelligence and Symbolic Computation	2009-01-15	Paper
Theory of finite or infinite trees revisited Theory and Practice of Logic Programming	2008-07-23	Paper
Solving First-Order Constraints in the Theory of the Evaluated Trees Logic Programming	2008-03-11	Paper
A Unified Semantics for Constraint Handling Rules in Transaction Logic Logic Programming and Nonmonotonic Reasoning	2007-11-13	Paper
Decomposable theories Theory and Practice of Logic Programming	2007-10-09	Paper
Frontiers of Combining Systems Lecture Notes in Computer Science	2006-10-10	Paper

Research outcomes over time

This page was built for person: Khalil Djelloul