Hassan Aït-Kaci - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 50 from 50

2020

Fuzzy lattice operations on first-order terms over signatures with similar constructors: A constraint-based approachHassan Aït-Kaci, Gabriella Pasi. fss, 391:1-46, 2020. [doi]

2017

An efficient and large-scale reasoning method for the semantic WebSamir Amir, Hassan Aït-Kaci. jiis, 48(3):653-674, 2017. [doi]

Classifying and querying very large taxonomies with bit-vector encodingHassan Aït-Kaci, Samir Amir. jiis, 48(1):1-25, 2017. [doi]

Fuzzy Unification and Generalization of First-Order Terms over Similar SignaturesHassan Aït-Kaci, Gabriella Pasi. LOPSTR 2018: 218-234 [doi]

2014

CEDAR: Efficient Reasoning for the Semantic WebSamir Amir, Hassan Aït-Kaci. sitis 2014: 157-163 [doi]

CedCom: A high-performance architecture for Big Data applicationsTanguy Raynaud, Rafiqul Haque, Hassan Aït-Kaci. aiccsa 2014: 621-632 [doi]

2013

CEDAR: a Fast Taxonomic Reasoner Based on Lattice OperationsSamir Amir, Hassan Aït-Kaci. semweb 2013: 9-12 [doi]

An Abstract, Reusable, and Extensible Programming Language Design ArchitectureHassan Aït-Kaci. BIRTHDAY 2013: 112-166 [doi]

2011

A Sorted-Graph Unification Approach to the Semantic WebHassan Aït-Kaci. webi 2011: 1 [doi]

2007

Description Logic vs. Order-Sorted Feature LogicHassan Aït-Kaci. dlog 2007: [doi]

2001

An Axiomatic Approach to Feature Term GeneralizationHassan Aït-Kaci, Yutaka Sasaki. ecml 2001: 1-12 [doi]

1997

Order Sorted Feature Theory UnificationHassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein. jlp, 30(2):99-124, 1997.

1995

Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract)Hassan Aït-Kaci. SLP 1995: 621-624

Label-Selective lambda-Calculus Syntax and ConfluenceHassan Aït-Kaci, Jacques Garrigue. TCS, 151(2):353-383, 1995. [doi]

1994

Functions as Passive Constraints in LIFEHassan Aït-Kaci, Andreas Podelski. TOPLAS, 16(4):1279-1318, 1994. [doi]

A Feature Constraint System for Logic Programming with EntailmentHassan Aït-Kaci, Andreas Podelski, Gert Smolka. TCS, 122(1&2):263-283, 1994.

The Typed Polymorphic Label-Selective lambda-CalculusJacques Garrigue, Hassan Aït-Kaci. POPL 1994: 35-47

A Database Interface for Complex ObjectsMarcel Holsheimer, Rolf A. de By, Hassan Aït-Kaci. ICLP 1994: 437-455

1993

An introduction to LIFE: Programming with Logic, Inheritance, Functions, and EquationsHassan Aït-Kaci. SLP 1993: 52-68

Label-Selective lambda-Calculus Syntax and ConfluenceHassan Aït-Kaci, Jacques Garrigue. fsttcs 1993: 24-40

Order-Sorted Feature Theory UnificationHassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein. ICLP 1993:

Entailment and Disentailment of Order-Sorted Feature ConstraintsHassan Aït-Kaci, Andreas Podelski. lpar 1993: 1-18

Order-Sorted Feature Theory UnificationHassan Aït-Kaci, Andreas Podelski, Seth Copen Goldstein. SLP 1993: 506-524

An Informal Introduction to LIFEHassan Aït-Kaci, Andreas Podelski, Peter Van Roy. ICLP 1993:

Entailment and Disentailment of Order-Sorted Feature ConstraintsHassan Aït-Kaci, Andreas Podelski. ppcp 1993: 1-6

Towards a Meaning of LIFEHassan Aït-Kaci, Andreas Podelski. jlp, 16(3):195-234, 1993.

1992

Outline of an Object-Oriented Calculus of Higher Type (Abstract)Hassan Aït-Kaci. icalp 1992: 1-2

Logic Programming with Functions over Order-Sorted Feature TermsHassan Aït-Kaci, Andreas Podelski. elp 1993: 100-119

A Feature-Based Constraint System for Logic Programming with EntailmentHassan Aït-Kaci, Andreas Podelski, Gert Smolka. fgcs 1992: 1012-1021

1991

Warren s Abstract Machine: A Tutorial ReconstructionHassan Aït-Kaci. MIT Press, 1991.

Warren s Abstract MachineHassan Aït-Kaci. ICLP 1991: 939

A formal theory of complex objectsHassan Aït-Kaci. bda 1991: 3

Towards a Meaning of LIFEHassan Aït-Kaci, Andreas Podelski. plilp 1991: 255-274

1990

A Glimpse of ParadiseHassan Aït-Kaci. ewdw 1990: 17-25

An Overview of LIFEHassan Aït-Kaci. ewdw 1990: 42-58

Implementing a knowledge-based library information system with typed horn logicHassan Aït-Kaci, Roger Nasr, Jungyun Seo. ipm, 26(2):249-268, 1990. [doi]

1989

Integrating Logic and Functional ProgrammingHassan Aït-Kaci, Roger Nasr. lisp, 2(1):51-89, 1989.

Efficient Implementation of Lattice OperationsHassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr. TOPLAS, 11(1):115-146, 1989. [doi]

Inheritance Hierarchies: Semantics and UnificationGert Smolka, Hassan Aït-Kaci. JSC, 7(3/4):343-370, 1989.

1988

BABEL: A Base for an Experimental LibraryHassan Aït-Kaci, Roger Nasr, Jungyun Seo. sigir 1988: 175-190 [doi]

1987

Le Fun: Logic, Equations and FunctionsHassan Aït-Kaci, Patrick Lincoln, Roger Nasr. SLP 1987: 17-23

1986

An Algebraic Semantics Approach to the Effective Resolution of Type EquationsHassan Aït-Kaci. TCS, 45(3):293-351, 1986.

Logic and InheritanceHassan Aït-Kaci, Roger Nasr. POPL 1986: 219-228

LOGIN: A Logic Programming Language with Built-In InheritanceHassan Aït-Kaci, Roger Nasr. jlp, 3(3):185-215, 1986.

1985

Integrating Data Type Inheritance into Logic ProgrammingHassan Aït-Kaci, Roger Nasr. pos 1988: 121-136 [doi]

Integrating Data Type Inheritance into Logic ProgrammingHassan Aït-Kaci. pos 1985: 385-388 [doi]

Solving Type Equations by Graph RewritingHassan Aït-Kaci. RTA 1985: 158-179

An Algorithm for Finding A Minimal Recursive Path OrderingHassan Aït-Kaci. ita, 19(4):359-382, 1985.

1984

Type Subsumption as a Model of ComputationHassan Aït-Kaci. treds 1984: 115-139

Object Oriented Database Systems and Knowledge SystemsCarlo Zaniolo, Hassan Aït-Kaci, David Beech, Stephanie J. Cammarata, David Maier. treds 1984: 49-65

Sign in or sign up to see more results.

runs on WebDSL