Hassan Aït-Kaci

54 papers A* 3B 3C 2Journal 16Unranked 27
YearRankTypeTitle / Venue / Authors
2020 J jnl
Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approach.
Fuzzy Sets Syst.
Hassan Aït-Kaci, Gabriella Pasi
2017 J jnl
An efficient and large-scale reasoning method for the semantic Web.
J. Intell. Inf. Syst.
Samir Amir, Hassan Aït-Kaci
2017 J jnl
Classifying and querying very large taxonomies with bit-vector encoding.
J. Intell. Inf. Syst.
Hassan Aït-Kaci, Samir Amir
2017 C conf
Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures.
LOPSTR
Hassan Aït-Kaci, Gabriella Pasi
2017 J jnl
Lattice Operations on Terms with Fuzzy Signatures.
CoRR
Hassan Aït-Kaci, Gabriella Pasi
2014 — conf
CEDAR: Efficient Reasoning for the Semantic Web.
SITIS
Samir Amir, Hassan Aït-Kaci
2014 C conf
CedCom: A high-performance architecture for Big Data applications.
AICCSA
Tanguy Raynaud, Rafiqul Haque, Hassan Aït-Kaci
2013 — conf
An Abstract, Reusable, and Extensible Programming Language Design Architecture.
In Search of Elegance in the Theory and Practice of Computation
Hassan Aït-Kaci
2013 — conf
CEDAR: a Fast Taxonomic Reasoner Based on Lattice Operations.
ISWC (Posters & Demos)
Samir Amir, Hassan Aït-Kaci
2013 — conf
InAs/GaSb Superlattice Photodiodes Operating in the Midwave Infrared Range.
PHOTOPTICS
Philippe Christol, Rachid Taalat, Cenys Cervera, Hassan Aït-Kaci, Marie Delmas, Jean-Baptiste Rodriguez, E. Giard, Isabelle Ribet-Mohamed
2012 — ed.
Proceedings of the RuleML2012@ECAI Challenge, at the 6th International Symposium on Rules, Montpellier, France, August 27th-29th, 2012
RuleML (2)
Hassan Aït-Kaci, Yuh-Jong Hu, Grzegorz J. Nalepa, Monica Palmirani, Dumitru Roman
2011 — conf
A Sorted-Graph Unification Approach to the Semantic Web.
Web Intelligence
Hassan Aït-Kaci
2007 — conf
Description Logic vs. Order-Sorted Feature Logic.
Description Logics
Hassan Aït-Kaci
2001 — conf
An Axiomatic Approach to Feature Term Generalization.
ECML
Hassan Aït-Kaci, Yutaka Sasaki
1997 J jnl
Order Sorted Feature Theory Unification.
J. Log. Program.
Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein
1995 — conf
Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract).
ILPS
Hassan Aït-Kaci
1995 J jnl
Label-Selective lambda-Calculus Syntax and Confluence.
Theor. Comput. Sci.
Hassan Aït-Kaci, Jacques Garrigue
1994 B conf
A Database Interface for Complex Objects.
ICLP
Marcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci
1994 J jnl
A Feature Constraint System for Logic Programming with Entailment.
Theor. Comput. Sci.
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
1994 J jnl
Functions as Passive Constraints in LIFE.
ACM Trans. Program. Lang. Syst.
Hassan Aït-Kaci, Andreas Podelski
1994 — ed.
Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994
ICLP Workshop: Integration of Declarative Paradigms
Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro
1994 A* conf
The Typed Polymorphic Label-Selective lambda-Calculus.
POPL
Jacques Garrigue, Hassan Aït-Kaci
1993 — conf
An Informal Introduction to LIFE.
ICLP Workshop on Concurrent Constraint Programming
Hassan Aït-Kaci, Andreas Podelski, Peter Van Roy
1993 — conf
An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations.
ILPS
Hassan Aït-Kaci
1993 B conf
Entailment and Disentailment of Order-Sorted Feature Constraints.
LPAR
Hassan Aït-Kaci, Andreas Podelski
1993 — conf
Entailment and Disentailment of Order-Sorted Feature Constraints.
PPCP
Hassan Aït-Kaci, Andreas Podelski
1993 — conf
Label-Selective lambda-Calculus Syntax and Confluence.
FSTTCS
Hassan Aït-Kaci, Jacques Garrigue
1993 — conf
Order-Sorted Feature Theory Unification.
ICLP Workshop on Concurrent Constraint Programming
Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein
1993 — conf
Order-Sorted Feature Theory Unification.
ILPS
Hassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein
1993 J jnl
Towards a Meaning of LIFE.
J. Log. Program.
Hassan Aït-Kaci, Andreas Podelski
1992 — conf
A Feature-Based Constraint System for Logic Programming with Entailment.
FGCS
Hassan Aït-Kaci, Andreas Podelski, Gert Smolka
1992 — conf
Logic Programming with Functions over Order-Sorted Feature Terms.
ELP
Hassan Aït-Kaci, Andreas Podelski
1992 — conf
Outline of an Object-Oriented Calculus of Higher Type (Abstract).
ALP
Hassan Aït-Kaci
1991 — conf
A formal theory of complex objects.
BDA
Hassan Aït-Kaci
1991 — conf
Towards a Meaning of LIFE.
PLILP
Hassan Aït-Kaci, Andreas Podelski
1991 B conf
Warren's Abstract Machine.
ICLP
Hassan Aït-Kaci
1991 — book
Warren's Abstract Machine: A Tutorial Reconstruction
Hassan Aït-Kaci
1990 — conf
A Glimpse of Paradise.
East/West Database Workshop
Hassan Aït-Kaci
1990 — conf
An Overview of LIFE.
East/West Database Workshop
Hassan Aït-Kaci
1990 J jnl
Implementing a knowledge-based library information system with typed horn logic.
Inf. Process. Manag.
Hassan Aït-Kaci, Roger Nasr, Jungyun Seo
1989 J jnl
Efficient Implementation of Lattice Operations.
ACM Trans. Program. Lang. Syst.
Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
1989 J jnl
Inheritance Hierarchies: Semantics and Unification.
J. Symb. Comput.
Gert Smolka, Hassan Aït-Kaci
1989 J jnl
Integrating Logic and Functional Programming.
LISP Symb. Comput.
Hassan Aït-Kaci, Roger Nasr
1988 A* conf
BABEL: A Base for an Experimental Library.
SIGIR
Hassan Aït-Kaci, Roger Nasr, Jungyun Seo
1987 — conf
Le Fun: Logic, Equations and Functions.
SLP
Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr
1986 J jnl
An Algebraic Semantics Approach to the Effective Resolution of Type Equations.
Theor. Comput. Sci.
Hassan Aït-Kaci
1986 J jnl
LOGIN: A Logic Programming Language with Built-In Inheritance.
J. Log. Program.
Hassan Aït-Kaci, Roger Nasr
1986 A* conf
Logic and Inheritance.
POPL
Hassan Aït-Kaci, Roger Nasr
1985 J jnl
An Algorithm for Finding A Minimal Recursive Path Ordering.
RAIRO Theor. Informatics Appl.
Hassan Aït-Kaci
1985 — conf
Integrating Data Type Inheritance into Logic Programming.
Data Types and Persistence (Appin)
Hassan Aït-Kaci, Roger Nasr
1985 — conf
Integrating Data Type Inheritance into Logic Programming.
Data Types and Persistence (Appin), Informal Proceedings
Hassan Aït-Kaci
1985 — conf
Solving Type Equations by Graph Rewriting.
RTA
Hassan Aït-Kaci
1984 — conf
Object Oriented Database Systems and Knowledge Systems.
Expert Database Workshop
Carlo Zaniolo, Hassan Aït-Kaci, David Beech, Stephanie J. Cammarata, David Maier
1984 — conf
Type Subsumption as a Model of Computation.
Expert Database Workshop
Hassan Aït-Kaci