Miguel-Angel Oros

According to our database, Miguel-Angel Oros authored at least 6 papers between 1992 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

Concept : a system for deriving datalog inheritance.

Miguel-Angel Oros, Paul Y. Gloess

Proceedings of the JFPLC'95, 1995

U-Log = datalog + constraints.

Paul Y. Gloess, Miguel-Angel Oros, Chu Min Li

Proceedings of the JFPLC'95, 1995

1994

Inferring Inheritance from Datalog Programs.

Miguel-Angel Oros, Paul Y. Gloess

Proceedings of the Logic Programming, 1994

Concept, une approche basée sur la déduction naturelle pour la classification de prédicats Datalog.

Miguel-Angel Oros, Paul Y. Gloess

Proceedings of the Actes des journées Langages et Modèles à Objets, 1994

1993

Inheritance in Datalog.

Miguel-Angel Oros, Paul Y. Gloess

Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), 1993

1992

On Boolean Feature Types.

Paul Y. Gloess, Yan-Nong Huang, Chumin Li, Miguel-Angel Oros

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992