Author of the publication

A Mechanism for Verification of Knowledge Base Scheme Specifications.

, , and . EUROVAV, page 103-115. Universidad Politécnica de Madrid, (1993)Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Derivation Path Recording Method for Integrity Checking in Deductive Databases., , , , and . DAISD, volume LSI/91-30 of Report de recerca, page 185-203. Universitat Politecnica de Catalunya (UPC), (1991)Consistency Verification of Deductive Database Schemes., and . DAISD, volume LSI/93-25-R of Report de recerca, page 287-307. Universitat Politecnica de Catalunya (UPC), (1993)A Mechanism for Verification of Knowledge Base Scheme Specifications., , and . EUROVAV, page 103-115. Universidad Politécnica de Madrid, (1993)Sponsored by: Commission of the European Communities, Comisión Interministral de Ciencia y Tecnología; Organized by: Universitat de les Illes Balears, Universidad Politécnica de Madrid, Institut d'Investigació en Intelligencia Artificial.Sediment Sampling in Estuarine Mudflats with an Aerial-Ground Robotic Team., , , , , , , , , and 5 other author(s). Sensors, 16 (9): 1461 (2016)Laser-Based Obstacle Detection at Railway Level Crossings., , , , and . J. Sensors, (2016)An Autonomous Mobile Robot Navigation Architecture for Dynamic Intralogistics., , , , , , and . INDIN, page 1-6. IEEE, (2021)Deep Learning Applied to Automatic Reclosers Detection in Power Grid., , , , , and . COMPSAC, page 1861-1866. IEEE, (2021)Online self-reconfigurable robot navigation in heterogeneous environments., , , , , and . ISIE, page 1-6. IEEE, (2013)An iterative oversampling approach for ordinal classification., , , , , and . SAC, page 771-774. ACM, (2019)"Interrupting" the Status Quo: A First Glance at the RISC-V Advanced Interrupt Architecture (AIA)., , , and . IEEE Access, (2024)