Browse by Department

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Name | Item Type | No Grouping
Jump to: A | B | C | D | E | F | G | H | I | K | M | P | R | S | U | V
Number of items: 65.

A

Aguado de Cea, G. (2007). A multiperspective approach to specialized phraseology: Internet as a reference corpus for phraseology. In: "The Texture of Internet: Netlinguistics in Progress". Cambridge Scholars Publishing, Cambridge. ISBN 9781847181732.

Aguado de Cea, G. and Álvarez de Mon Rego, I. and Pareja-Lora, A. (2006). Contenido, forma y función en textos del dominio del cine: la reseña y la crítica cinematográficas. In: "Lingüística aplicada en la sociedad de la información y la comunicación". Universitat de les Illes Balears. Servei de Publicacions i Intercanvi Científic. Cas Jai, pp. 65-76. ISBN 84-7632-962-8.

Aguado de Cea, G. (2006). De bits y bugs a blogs y webs: aspectos interdisciplinares, socioculturales y lingüísticos de la terminología informática. In: "CORCILLVM: Estudios de traducción, lingüística y filología dedicados a Valentín García Yebra". Arco Libros, Madrid, Spain, pp. 693-720. ISBN 84-7635-648-X.

Aguado de Cea, G. (2007). La fraseología en las lenguas de especialidad. In: "Las lenguas profesionales y académicas". Ariel, Barcelona, pp. 53-65. ISBN 978-84-344-8122-0.

Aguado de Cea, G. and Álvarez de Mon Rego, I. (2003). La traducción técnica inglés-español: aspectos culturales en el ámbito de las tecnologías de la información. In: "El inglés como vocación. Homenaje al Profesor Miguel Castelo Montero". Universidad de A Coruña, pp. 27-41. ISBN 84-9749-063-0.

Adamou, Alessandro and Palma, R. and Haase, Peter and Montiel-Ponsoda, Elena and Aguado de Cea, G. and Gómez-Pérez, A. and Peters, W. and Gangemi, A. (2012). The NeOn Ontology Models. In: "Ontology Engineering in a Networked World". Springer Berlin Heidelberg, pp. 65-92. ISBN 978-3-642-24793-4.

Aguado de Cea, G. and Álvarez de Mon Rego, I. and Pareja-Lora, A. (2009). Una visión interdisciplinar de la anotación semántica. In: "Terminología y Sociedad del conocimiento". Peter Lang, pp. 219-254. ISBN 978-3-0-3911-593-8.

B

Bernardos Galindo, María del Socorro and Aguado de Cea, G. (2001). A New Approach in Building a Corpus for Natural Language Generation System. In: "Computational Linguistics and Intelligent Text Processing". Springer-Verlag (LNCS), pp. 216-225. ISBN 3-540-41687-0.

Bernardos Galindo, María del Socorro and Aguado de Cea, G. (2001). Adapting the Generalized Upper Model to Spanish. In: "Recent Advances in Natural Language Processing". The Bulgarian Association for Computacional Linguistics, Tzigov Chark, Bulgary, pp. 103-107. ISBN 954-90906-1-2.

Barreiro Sorrivas, Jose Maria and Pazos Sierra, Juan (2009). Computing vs. Genetics. In: "Advancing Artificial Intelligence Throught Biological Process Application". Medical Information Science Reference, EEUU, pp. 165-181. ISBN 978-159904996-0.

Barrasa Rodríguez, Jesús and Corcho, Oscar and Gómez-Pérez, A. (2004). R2O, an extensible and semantically based database-to-ontology mapping language. In: "Proceedings of the Second Workshop on Semantic Web and Databases, SWDB 2004". Springer-Verlag, Berlín, Alemania, pp. 1069-1070. ISBN 978-3-540-24576-6. https://doi.org/10.1007/b106149.

C

Corcho, Oscar and Gómez-Pérez, A. (2006). A Layered Model for Building Ontology Translation Systems. In: "Semantic Web-Based Information Systems: State-of-the-Art Applications". Advances in Semantic Web and Information Systems . IGI Global, Information Science Reference, Hershey, Pennsylvania, pp. 161-189. ISBN 9781599044262. https://doi.org/10.4018/978-1-59904-426-2.

Chico de Guzmán, Pablo and Casas, Amadeo and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2012). A segment-swapping approach for executing trapped computations. In: "Practical Aspects of Declarative Languages". Lecture Notes in Computer Science (7149). Springer Berlin Heidelberg, Heidelberg, Alemania, pp. 138-152. ISBN 978-3-642-27693-4. https://doi.org/10.1007/978-3-642-27694-1_11.

Casso, Ignacio de and Morales Caballero, José Francisco and López García, Pedro and Hermenegildo, Manuel V. (2019). An integrated approach to assertion-based random testing in Prolog. In: "Logic-Based Program Synthesis and Transformation". Lecture Notes in Computer Science (12042). Springer, Suiza, pp. 159-176. ISBN 978-3-030-45259-9. https://doi.org/10.1007/978-3-030-45260-5.

Corcho, Oscar and Gómez-Pérez, A. and Leger, A. and Rey, C. and Toumani, F. (2003). An ontology-based mediation architecture for e-commerce applications. In: "Advances in Soft Computing. Intelligent Information Processing and Web Mining. Proceedings of the International IIS: IIPWM´03 Conference". Springer, pp. 477-486. ISBN 978-3-540-33520-7.

Corcho, Oscar and Fernández-López, M. and Gómez-Pérez, A. and López-Cima, A. (2005). Building legal ontologies with METHONTOLOGY and WebODE. In: "Law and the Semantic Web : Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications". Springer, pp. 142-157. ISBN 978-3-540-25063-0.

Casso, Ignacio de and Morales Caballero, José Francisco and López García, Pedro and Hermenegildo, Manuel V. (2019). Computing abstract distances in logic programs. In: "Computing Abstract Distances in Logic Programs: 29th International Symposium, LOPSTR 2019 Porto, Portugal, October 8–10, 2019 Revised Selected Papers". Lecture Notes in Computer Science (12042). Springer, Suiza, pp. 57-72. ISBN 978-3-030-45259-9. https://doi.org/10.1007/978-3-030-45260-5_4.

Corcho, Oscar and Fernández-López, M. and Gómez-Pérez, A. and López-Cima, A. (2005). Construcción de ontologías legales con la metodología METHONTOLOGY y la herramienta WebODE. In: "Law and the Semantic Web. Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications". Springer-Verlag, pp. 142-157. ISBN 0302-9743.

Carro Liñares, Manuel and Hermenegildo, Manuel V. (2011). Logic languages. In: "Encyclopedia of parallel computing". Springer reference Encyclopedia of parallel computing . Springer, Nueva York, pp. 1057-1068. ISBN 978-0-387-09766-4. https://doi.org/10.1007/978-0-387-09766-4_116.

Corcho, Oscar and Fernández-López, M. and Gómez-Pérez, A. (2006). Ontological Engineering: Principles, Methods, tools and Languages. In: "Ontologies for Software Engineering and Software Technology". Springer-Verlag, Berlín, Alemania, pp. 1-48. ISBN 3-540-34517-5.

Corcho, Oscar and Fernández-López, M. and Gómez-Pérez, A. (2007). Ontological Engineering: What are Ontologies and How Can We Build Them?. In: "Semantic Web Services". Premier Reference Source, Nueva York, pp. 44-70.

Corcho, Oscar and Fernández-López, M. and Gómez-Pérez, A. (2008). Ontologías. In: "Inteligencia Artificial". McGraw-Hill.

Corcho, Oscar and Losada, S. and Benjamins, R. and Bas, J.L. and Bellido, S. (2006). Personal eBanking Solutions Based on Semantic Web Services. In: "E-Service Intelligence". Springer-Verlag, Berlín, Alemania, pp. 287-306. ISBN 978-3-540-37015-4. https://doi.org/10.1007/978-3-540-37017-8_13.

Contreras, Jesús and Corcho, Oscar and Benjamins, R. (2006). Semantic Content Mediation and Acquisition: The Challenge for Semantic e-Business Solutions. In: "Semantic Web Technologies and EBusiness: Toward the Integrated Virtual Organization and Business Process Automation". Idea Group Publishing Inc., IGI Global, Hershey, Pennsylvania, pp. 119-466. ISBN 1-59904-192-8. https://doi.org/10.4018/978-1-59904-192-6.

Corcho, Oscar and Losada, S. and Benjamins, R. (2008). Semantic Web-enabled Protocol Mediation for the Logistics Domain. In: "Semantic Web for Business: Cases and Applications". IGI Global, Information Science Reference, Hershey, Pennsylvania, pp. 65-82. ISBN 978-1-60566-066-0. https://doi.org/10.4018/978-1-60566-066-0.ch004.

Carro Liñares, Manuel and Hermenegildo, Manuel V. (2000). Tools for Search Tree Visualization: The APT Tool. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 237-252. ISBN 9783540411376. https://doi.org/10.1007/10722311_10.

Carro Liñares, Manuel and Hermenegildo, Manuel V. (2000). Tools for constraint visualization: The VIFID/TRIFID tool. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 253-272. ISBN 9783540411376. https://doi.org/10.1007/10722311_11.

D

Deransart, Pierre and Hermenegildo, Manuel V. and Maluszynski, Jan (2000). Debugging of constraint programs: The DiSCiPl methodology and tools. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 1-20. ISBN 9783540411376. https://doi.org/10.1007/10722311_1.

Deelman, E. and Berriman, B. and Chervenak, A. and Corcho, Oscar and Groth, P. and Moreau, L. (2009). Metadata and provenance management. In: "Scientific Data Management: Challenges, Existing Technology, and Deployment". CRC Press, Taylor and Francis Group, Florida, USA, pp. 433-466. ISBN 978-1-4200-6980-8.

E

Esteban-Gutiérrez, M. and Gómez-Pérez, A. (2007). Ideas for the Provision of Ontology Access in Grid Environments. In: "Knowledge and Data Management in Grids". Core Grid . Springer, pp. 151-168. ISBN 978-0-387-37830-5.

Espinoza Mejía, Mauricio and Montiel-Ponsoda, Elena and Aguado de Cea, G. and Gómez-Pérez, A. (2012). Ontology Localization. In: "Ontology Engineering in a Networked World". Springer Berlin Heidelberg, España, pp. 171-191. ISBN 978-3-642-24793-4.

F

Fernández-López, M. and Suárez-Figueroa, Mari Carmen and Gómez-Pérez, A. (2012). Ontology Development by Reuse. In: "Ontology Engineering in a Networked World". Springer Berlin Heidelberg, pp. 147-170. ISBN 978-3-642-24793-4. https://doi.org/10.1007/978-3-642-24794-1_7.

G

Gluhak, A. and Hauswirth, M. and Krco, S. and Stojanovic, N. and Bauer, M. and Nielsen, R. and Haller, S. and Prasad, N. and Reynolds, V. and Corcho, Oscar (2011). An Architectural Blueprint for a Real-World Internet. In: "The Future Internet - Future Internet Assembly 2011: Achievements and Technological Promises". Springer-Verlag, pp. 67-80. ISBN 978-3-642-20897-3.

García-Castro, Raúl and Gómez-Pérez, A. (2009). Benchmarking in the Semantic Web. In: "Software Applications: Concepts, Methodologies, Tools, and Applications". Information Science Reference – IGI Global, pp. 3489-3518. ISBN 978-1-60566-060-8.

García-Castro, Raúl and Gómez-Pérez, A. (2008). Benchmarking in the Semantic Web. In: "Semantic Web Engineering in the Knowledge Society". Information Science Reference – IGI Global, pp. 341-370. ISBN 978-1-60566-112-4.

Garcia, Alexander and O’Neill, Kieran and Garcia, Leyla Jael and Lord, Phillip and Stevens, Robert and Corcho, Oscar and Gibson, Frank (2010). Developing Ontologies withing Decentralized Settings. In: "Semantic e-Science". Annals of Information Systems, 11 . Springer-Verlag, Berlín, Alemania, pp. 99-139. ISBN 978-1-4419-5908-9. https://doi.org/10.1007/978-1-4419-5908-9_4.

García Contreras, Isabel and Morales Caballero, José Francisco and Hermenegildo, Manuel V. (2019). Incremental analysis of logic programs with assertions and open predicates. In: "Logic-Based Program Synthesis and Transformation". Lecture Notes in Computer Science (12042). Springer, Suiza, pp. 36-56. ISBN 978-3-030-45259-9. https://doi.org/10.1007/978-3-030-45260-5.

Gómez-Pérez, A. and Ortiz Rodríguez, F. and Villazón-Terrazas, B. (2006). Legal Ontologies for the spanish e-Government. In: "Current topics in artificial intelligence". Lecture Notes in Computer Science, 4177 . Springer, Berlin, Alemania. ISBN 978-3-540-45914-9. https://doi.org/10.1007/11881216_32.

Gómez-Pérez, A. (2004). Ontology Evaluation. In: "Handbook on Ontologies". International Handbooks on Information Systems . Springer, pp. 251-274. ISBN 3-540-40834-7.

García-Ramos, S. and Otero-Quintana, A. and Fernández-López, M. (2009). OntologyTest: A Tool to Evaluate Ontologies through Tests Defined by the User. In: "OntologyTest: A Tool to Evaluate Ontologies through Tests Defined by the User". Springer-Verlag.

García-Castro, Raúl and Gómez-Pérez, A. (2012). Semantic Interoperability: Perspectives and Technology Evaluation. In: "Semantic Interoperability: Issues, Solutions, and Challenges". River Publishers, pp. 7-24. ISBN 978-87-92329-79-0.

Gómez-Pérez, A. and Ramírez, J. and Villazón-Terrazas, B. and Della Valle, E. and Cerizza, D. and Celino, I. and Fugini, M. and Estublier, J. and Vega, G. and Kerrigan, M. and Zhao, G. and Cesarini, M. and De Paoli, F. (2008). The SEEMP Approach to Semantic Interoperability for E-Employment. In: "Concurrency and Computation: Practice and Experience". Springer, pp. 105-124. ISBN 978-1-60566-066-0.

H

Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and Carro Liñares, Manuel and López García, Pedro and Morales Caballero, José Francisco and Puebla Sánchez, Alvaro Germán (2008). An overview of the ciao multiparadigm language and program development environment and its design philosophy. In: "Concurrency, Graphs and Models". Lecture Notes in Computer Science (5065). Springer Berlin Heidelberg, pp. 209-237. ISBN 978-3-540-68676-7. https://doi.org/10.1007/978-3-540-68679-8_14.

Hartmann, J. and Palma, R. and Gómez-Pérez, A. (2009). Ontology Repositories. In: "Handbook on Ontologies". International Handbooks on Information Systems . Springer, pp. 551-572. ISBN 978-3-540-70999-2.

Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and Cabeza Gras, Daniel and Carro Liñares, Manuel and García de la Banda, M. and López García, Pedro and Puebla Sánchez, Alvaro Germán (1999). Parallelism and implementation of logic and constraint logic programming. In: "Parallelism and Implementation of Logic and Constraint Logic Programming". Nova Science, Commack, New York, USA, pp. 65-85. ISBN 9781560726739.

Hermenegildo, Manuel V. (1992). Research on parallel logic language implementation and architecture at ICOT. In: "The ICOT Research Exchange Report". Institute for New Generation Computer Technology (ICOT), pp. 157-174.

Hermenegildo, Manuel V. and Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco (1999). Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging. In: "The Logic Programming Paradigm". Artificial Intelligence, Part I . Springer Berlin Heidelberg, pp. 161-192. ISBN 9783642642494. https://doi.org/10.1007/978-3-642-60085-2_7.

I

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2011). Constraint-based runtime prediction of SLA violations in service orchestrations. In: "Service-Oriented Computing". Lecture Notes in Computer Science (7084). Springer Berlin Heidelberg, Heidelberg, Alemania, pp. 62-76. ISBN 978-3-642-25534-2. https://doi.org/10.1007/978-3-642-25535-9_5.

K

Kotsiopoulos, I. and Missier, P. and Alper, P. and Corcho, Oscar and Bechhofer, S. and Goble, C. (2006). Architectural Patterns for the Semantic Grid. In: "Knowledge and Data Management in GRIDs". CoreGRID Series . Springer-Verlag, New York, USA, pp. 119-134. ISBN 978-0-387-37830-5. https://doi.org/10.1007/978-0-387-37831-2_8.

M

Manrique Gamo, Daniel and Ríos Carrión, Juan and Rodríguez-Patón Aradas, Alfonso (2008). Grammar-Guided Genetic Programming. In: "Encyclopedia of Artificial Intelligence". Information Science Reference, EEUU, pp. 767-773. ISBN 978-1-59904-849-9. https://doi.org/10.4018/978-1-59904-849-9.ch114.

McCrae, J. and Montiel-Ponsoda, Elena and Cimiano, Philipp (2012). Integrating WordNet and Wiktionary with lemon. In: "Linked Data in Linguistics". Springer Berlin Heidelberg, pp. 25-34. ISBN 978-3-642-28248-5. https://doi.org/10.1007/978-3-642-28249-2_3.

Molina, Martin and Cuena, Jose (2004). Using Knowledge Modelling Tools for Agent-Based Systems: The Experience of KSM. In: "Knowledge Engineering and Agent Technology". IOS Press.

Montiel-Ponsoda, Elena and Aguado de Cea, G. (2008). Using natural language patterns for the development of ontologies. In: "Researching specialized languages". Universidad de Murcia, Servicio de Publicaciones, pp. 332-345. ISBN 978-84-691-5718-3.

P

Puebla Sánchez, Alvaro Germán and Correas Fernandez, Jesús and Hermenegildo, Manuel V. and Bueno Carrillo, Francisco and García de la Banda, M. and Marriott, K. and Stuckey, P.J. (2004). A generic framework for context-sensitive analysis of modular programs. In: "Program Development in Computational Logic". Lecture Notes in Computer Science (3049). Springer Berlin Heidelberg, pp. 233-260. ISBN 978-3-540-22152-4. https://doi.org/10.1007/978-3-540-25951-0_8.

Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2000). A generic preprocessor for program validation and debugging. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 63-107. ISBN 9783540411376. https://doi.org/10.1007/10722311_3.

Puebla Sánchez, Alvaro Germán and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2000). An assertion language for constraint logic programs. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 23-61. ISBN 9783540411376. https://doi.org/10.1007/10722311_2.

R

Roussey, C. and Pinet, F. and Ah Kang, M. and Corcho, Oscar (2011). An Introduction to Ontologies and Ontology Engineering. In: "Ontologies in Urban Development Projects". Springer-Verlag. ISBN 978-0-85729-724-2.

S

Sánchez-Alberca, A. and García-García, R. and Sorzano, C.O.S. and Gutiérrez-Cossío, Celia and Chagoyen, Mónica and Fernández López, Mariano (2005). AMON: A Software System for Automatic Generation of Ontology Mappings. In: "AMON: A Software System for Automatic Generation of Ontology Mappings". IEEE Press, Covilhã, Portugal, pp. 120-127.

Suárez-Figueroa, Mari Carmen and Gómez-Pérez, A. and Motta, Enrico and Gangemi, A. (2012). Introduction: Ontology Engineering in a Networked World. In: "Ontology Engineering in a Networked World". Springer Berlin Heidelberg, pp. 1-6. ISBN 978-3-642-24793-4. https://doi.org/10.1007/978-3-642-24794-1_1.

Suárez-Figueroa, Mari Carmen and Gómez-Pérez, A. (2012). Ontology Requirements Specification. In: "Ontology Engineering in a Networked World". Springer Berlin Heidelberg, pp. 93-106. ISBN 978-3-642-24793-4. https://doi.org/10.1007/978-3-642-24794-1_5.

Suárez-Figueroa, Mari Carmen and Gómez-Pérez, A. (2008). Redes semánticas y marcos. In: "Inteligencia Artificial: Técnicas, Métodos y Aplicaciones". McGrawHill, pp. 131-170. ISBN 978-84-481-5618-3.

Suárez-Figueroa, Mari Carmen and Gómez-Pérez, A. and Muñoz-García, O. (2012). Scheduling Ontology Engineering Projects Using gOntt. In: "Ontology Engineering in a Networked World". Springer Berlin Heidelberg, pp. 303-317. ISBN 978-3-642-24793-4. https://doi.org/10.1007/978-3-642-24794-1_14.

Suárez-Figueroa, Mari Carmen and Gómez-Pérez, A. and Fernández-López, M. (2012). The NeOn Methodology for Ontology Engineering. In: "Ontology Engineering in a Networked World". Springer Berlin Heidelberg, pp. 9-34. ISBN 978-3-642-24793-4. https://doi.org/10.1007/978-3-642-24794-1_2.

U

Ure, Jenny and Procter, Rob and Martone, Maryann and Porteous, David and Lloyd, Sharon and Lawrie, Stephen and Job, Dominic and Baldock, Richard and Philp, Alistair and Liewald, Dave and Rakebrandt, Frank and Blaikie, Alan and McKay, Clare and Anderson, Stuart and Ainsworth, John and Van Hemert, Jano and Blanquer, Ignacio and Sinnott, Richard and Barillot, Christian and Gibaud, Frank Bernard and Williams, F.A. and Hartswood, Mark and Watson, Paul and Smith, Leslie and Burger, Albert and Kennedy, Jessie and Gonzalez-Velez, Horacio and Stevens, Robert and Corcho, Oscar and Morton, Robin and Linksted, Pamela and Deschenes, Mylene and McGilchrist, Mark and Johnson, Paul and Voss, Alex and Gertz, Renate and Wardlaw, Joanna (2007). Data integration in eHealth: a domain/disease specific roadmap. In: "From Genes to Personalized HealthCare: Grid Solutions for the Life Sciences". IOS Press, pp. 144-153. ISBN 978-1-58603-738-3.

V

Vilches-Blázquez, LM. and García-Silva, A. and Villazón-Terrazas, B. (2009). Construcción de ontologías a partir de tesauros. In: "Semántica Espacial y descubrimiento de conocimientos para desarrollo sostenible". CUJAE, pp. 59-78. ISBN 978-959-261-282-2.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM