Hassan Aït-Kaci

Gabriella Pasi

Fuzzy Sets Syst., 2020

2017

An efficient and large-scale reasoning method for the semantic Web.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2017

Classifying and querying very large taxonomies with bit-vector encoding.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2017

Lattice Operations on Terms with Fuzzy Signatures.

[BibT_eX]

[DOI]

Gabriella Pasi

CoRR, 2017

Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures.

[BibT_eX]

[DOI]

Gabriella Pasi

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2014

CEDAR: Efficient Reasoning for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014

CedCom: A high-performance architecture for Big Data applications.

[BibT_eX]

[DOI]

Tanguy Raynaud

Rafiqul Haque

Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

2013

CEDAR: a Fast Taxonomic Reasoner Based on Lattice Operations.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

An Abstract, Reusable, and Extensible Programming Language Design Architecture.

[BibT_eX]

[DOI]

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2011

A Sorted-Graph Unification Approach to the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, 2011

2007

Description Logic vs. Order-Sorted Feature Logic.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2001

An Axiomatic Approach to Feature Term Generalization.

[BibT_eX]

[DOI]

Yutaka Sasaki

Proceedings of the Machine Learning: EMCL 2001, 2001

1997

Order Sorted Feature Theory Unification.

[BibT_eX]

[DOI]

Seth Copen Goldstein

J. Log. Program., 1997

1995

Label-Selective lambda-Calculus Syntax and Confluence.

[BibT_eX]

[DOI]

Jacques Garrigue

Theor. Comput. Sci., 1995

Déjá Vu - Or Whatever Are We Doing Here?... (Panel Abstract).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1995

1994

Functions as Passive Constraints in LIFE.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1994

A Feature Constraint System for Logic Programming with Entailment.

[BibT_eX]

[DOI]

Gert Smolka

Theor. Comput. Sci., 1994

The Typed Polymorphic Label-Selective lambda-Calculus.

[BibT_eX]

[DOI]

Jacques Garrigue

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

A Database Interface for Complex Objects.

[BibT_eX]

Marcel Holsheimer

Rolf A. de By

Proceedings of the Logic Programming, 1994

1993

Towards a Meaning of LIFE.

[BibT_eX]

[DOI]

J. Log. Program., 1993

An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Entailment and Disentailment of Order-Sorted Feature Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

An Informal Introduction to LIFE.

[BibT_eX]

Peter Van Roy

Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993

1992

A Feature-Based Constraint System for Logic Programming with Entailment.

[BibT_eX]

Gert Smolka

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Logic Programming with Functions over Order-Sorted Feature Terms.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

Outline of an Object-Oriented Calculus of Higher Type (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1992

1991

Warren's Abstract Machine.

[BibT_eX]

Proceedings of the Logic Programming, 1991

A formal theory of complex objects.

[BibT_eX]

Proceedings of the VIIèmes Journées Bases de Données Avancées, 1991

Warren's Abstract Machine: A Tutorial Reconstruction

[BibT_eX]

MIT Press, ISBN: 0-262-01123-9, 1991

1990

Implementing a knowledge-based library information system with typed horn logic.

[BibT_eX]

[DOI]

Jungyun Seo

Inf. Process. Manag., 1990

An Overview of LIFE.

[BibT_eX]

[DOI]

Proceedings of the Next Generation Information System Technology, 1990

A Glimpse of Paradise.

[BibT_eX]

[DOI]

Proceedings of the Next Generation Information System Technology, 1990

1989

Efficient Implementation of Lattice Operations.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1989

Integrating Logic and Functional Programming.

[BibT_eX]

LISP Symb. Comput., 1989

Inheritance Hierarchies: Semantics and Unification.

[BibT_eX]

[DOI]

Gert Smolka

J. Symb. Comput., 1989

1988

BABEL: A Base for an Experimental Library.

[BibT_eX]

[DOI]

Jungyun Seo

Proceedings of the SIGIR'88, 1988

1987

Le Fun: Logic, Equations and Functions.

[BibT_eX]

Patrick Lincoln

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986

An Algebraic Semantics Approach to the Effective Resolution of Type Equations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

[BibT_eX]

[DOI]

J. Log. Program., 1986

Logic and Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985

An Algorithm for Finding A Minimal Recursive Path Ordering.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1985

Solving Type Equations by Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

Integrating Data Type Inheritance into Logic Programming.

[BibT_eX]

Proceedings of the Data Types and Persistence, 1985

Integrating Data Type Inheritance into Logic Programming.

[BibT_eX]

Proceedings of the Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, 1985

1984

Object Oriented Database Systems and Knowledge Systems.

[BibT_eX]

Carlo Zaniolo

David Beech

Stephanie J. Cammarata

David Maier

Proceedings of the Expert Database Systems, 1984

Type Subsumption as a Model of Computation.

[BibT_eX]