Tecnologías - Historial de revisiones

Jalonso en 06:33 22 oct 2008

2008-10-22T06:33:23Z

Jborrego en 09:34 21 oct 2008

2008-10-21T09:34:52Z

Jborrego en 09:30 21 oct 2008

2008-10-21T09:30:34Z

Jborrego en 09:27 21 oct 2008

2008-10-21T09:27:43Z

Jborrego en 09:22 21 oct 2008

2008-10-21T09:22:29Z

Jborrego en 09:20 21 oct 2008

2008-10-21T09:20:05Z

Jborrego en 09:18 21 oct 2008

2008-10-21T09:18:17Z

Jborrego en 09:14 21 oct 2008

2008-10-21T09:14:34Z

Jborrego en 09:09 21 oct 2008

2008-10-21T09:09:48Z

Jalonso en 16:41 19 oct 2008

2008-10-19T16:41:35Z

@@ Línea 2: / Línea 2: @@
 La oferta tecnológica del grupo se enmarca en los siguientes líneas de actuación:
-* '''Inteligencia Artificial'''
+== Inteligencia Artificial ==
 El grupo de investigación imparte la docencia relativa al área en la Ingeniería Superior en Informática (U. de Sevilla).
-* '''Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos'''
+== Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos ==
 Una de las líneas de investigación del grupo se centra en la verificación formal de sistemas, manejando, a nivel de expertos, sistemas de verificación asistida como ACL2 y PVS. Uno de los últimos resultados ha sido la primera verificación formal obtenida en PVS para una lógica descriptiva (que es el sustrato lógico de los lenguajes para ontologías de la Web Semántica).
-* '''Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional'''
+== Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional ==
 Varios miembros del grupo de investigación son expertos en programación declarativa (PROLOG, LISP, Haskell)
-* '''Construcción de sistemas expertos aplicados a entornos industriales'''
+== Construcción de sistemas expertos aplicados a entornos industriales  ==
 Miembros del grupo son especialistas en el desarrollo de sistemas expertos. Recientemente se ha realizado un proyecto/contrato con el IAT para monitorizar, mediante un sistema experto (usando CLIPS) máquinas industriales.
-* '''Estudio y aplicación de sistemas de representación del conocimiento y razonamiento'''
+== Estudio y aplicación de sistemas de representación del conocimiento y razonamiento ==
 La línea de representación del conocimiento y razonamiento es una de las líneas principales del grupo.
-* '''Aplicación de técnicas de  Inteligencia Artificial a la web social (web 2.0)'''
+== Aplicación de técnicas de  Inteligencia Artificial a la web social (web 2.0) ==
 Recientemente hemos abierto una nueva línea de investigación consistente en la aplicación de técnicas de IA para el análisis y desarrollo de aplicaciones Web 2.0.
-*''' Técnicas de revisión semántica de ontologías'''
+== Técnicas de revisión semántica de ontologías ==
 Hemos desarrollado trabajos en el campo de la revisión robusta de ontologías, y en estos momentos se está implementando un prototipo que permitirá la reparación visual de ontologías. En este campo, el interés del grupo se centra en la accesibilidad semántica (interfaces socialmente inteligentes, razonamiento débil con ontologías, etc.)
-*''' Web semántica y Metaweb'''
+== Web semántica y Metaweb ==
 Como línea que engloba a las tres últimas, el grupo está investigando en el desarrollo de comunidades metaweb. En estos momentos estamos trabajando en un proyecto de la fundación Minerva que consiste en la implantación de una comunidad Metaweb móvil. Estamos especialmente interesados en la aplicabilidad de sistemas multiagente para la facilitar el tratamiento del conocimiento por parte de los usuarios.
-*'''Oferta de formación'''
+== Oferta de formación ==
 El grupo participa activamente en el programa de doctorado del departamento al que pertenecen (Dpto. de Ciencias de la Computación e Inteligencia Artificial de la U. de Sevilla). El citado programa, denominado [http://doctorado.cs.us.es/web/ "Lógica, Computación e Inteligencia Artificial"] posee la mención de calidad expedida por la ANECA (Agencia Nacional de Evaluación de la Calidad y Acreditación). De carácter marcadamente científico, el programa puede ser considerado un complemento de formación científica para las empresas y ha formado alumnos tanto de la UE como de Iberoamérica.

@@ Línea 1: / Línea 1: @@
-El grupo de investigación trabaja tanto en investigación como en aplicaciones de lnteligencia Artificial. Principalmente en la verificación de programas, sistemas expertos, representación del conocimiento, web 2.0, ontologías y web semántica.
+El grupo trabaja tanto en investigación como en aplicaciones de lnteligencia Artificial. Principalmente en la verificación de programas, sistemas expertos, representación del conocimiento, web 2.0, ontologías y web semántica.
 La oferta tecnológica del grupo se enmarca en los siguientes líneas de actuación:
@@ Línea 8: / Línea 8: @@
 * '''Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos'''
-Una de las líneas de investigación del grupo se centra en la verificación formal de sistemas, manejando, a nivel de expertos, sistemas de verificación asistida como ACL2 y PVS. Uno de los últimos resultados ha sido la primera verificación formal obtenida para una lógica descriptiva (que es el sustrato lógico de los lenguajes para ontologías de la Web Semántica).
+Una de las líneas de investigación del grupo se centra en la verificación formal de sistemas, manejando, a nivel de expertos, sistemas de verificación asistida como ACL2 y PVS. Uno de los últimos resultados ha sido la primera verificación formal obtenida en PVS para una lógica descriptiva (que es el sustrato lógico de los lenguajes para ontologías de la Web Semántica).
 * '''Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional'''
@@ Línea 16: / Línea 16: @@
 * '''Construcción de sistemas expertos aplicados a entornos industriales'''
-Recientemente se ha realizado un proyecto/contrato con el IAT para monitorizar, mediante un sistema experto (usando CLIPS) máquinas industriales.
+Miembros del grupo son especialistas en el desarrollo de sistemas expertos. Recientemente se ha realizado un proyecto/contrato con el IAT para monitorizar, mediante un sistema experto (usando CLIPS) máquinas industriales.
 * '''Estudio y aplicación de sistemas de representación del conocimiento y razonamiento'''

@@ Línea 28: / Línea 28: @@
 *''' Técnicas de revisión semántica de ontologías'''
-Hemos desarrollado trabajos en el campo de la revisión robusta de ontologías, y en estos momentos se está implementando un prototipo que permitirá la reparación visual de ontologías.
+Hemos desarrollado trabajos en el campo de la revisión robusta de ontologías, y en estos momentos se está implementando un prototipo que permitirá la reparación visual de ontologías. En este campo, el interés del grupo se centra en la accesibilidad semántica (interfaces socialmente inteligentes, razonamiento débil con ontologías, etc.)
 *''' Web semántica y Metaweb'''
-Como línea que engloba a las tres últimas, el grupo está investigando en el desarrollo de comunidades metaweb. En estos momentos estamos trabajando en un proyecto de la fundación Minerva que consiste en la implantación de una comunidad Metaweb móvil.
+Como línea que engloba a las tres últimas, el grupo está investigando en el desarrollo de comunidades metaweb. En estos momentos estamos trabajando en un proyecto de la fundación Minerva que consiste en la implantación de una comunidad Metaweb móvil. Estamos especialmente interesados en la aplicabilidad de sistemas multiagente para la facilitar el tratamiento del conocimiento por parte de los usuarios.
 *'''Oferta de formación'''
 El grupo participa activamente en el programa de doctorado del departamento al que pertenecen (Dpto. de Ciencias de la Computación e Inteligencia Artificial de la U. de Sevilla). El citado programa, denominado [http://doctorado.cs.us.es/web/ "Lógica, Computación e Inteligencia Artificial"] posee la mención de calidad expedida por la ANECA (Agencia Nacional de Evaluación de la Calidad y Acreditación). De carácter marcadamente científico, el programa puede ser considerado un complemento de formación científica para las empresas y ha formado alumnos tanto de la UE como de Iberoamérica.

@@ Línea 2: / Línea 2: @@
 La oferta tecnológica del grupo se enmarca en los siguientes líneas de actuación:
-* Inteligencia Artificial.
+* '''Inteligencia Artificial'''
-El grupo de investigación imparte la docencia relativa al área en la Ingeniería Superior en Informática (U. de Sevilla)
+El grupo de investigación imparte la docencia relativa al área en la Ingeniería Superior en Informática (U. de Sevilla).
-* Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos.
+* '''Verificación formal de programas y sistemas informáticos asistida por demostradores automáticos'''
-Una de las líneas de investigación del grupo se centra en la verificación formal de sistemas, manejando, a nivel de expertos, sistemas de verificación asistida como ACL2 y PVS.
+Una de las líneas de investigación del grupo se centra en la verificación formal de sistemas, manejando, a nivel de expertos, sistemas de verificación asistida como ACL2 y PVS. Uno de los últimos resultados ha sido la primera verificación formal obtenida para una lógica descriptiva (que es el sustrato lógico de los lenguajes para ontologías de la Web Semántica).
-* Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional.
+* '''Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional'''
 Varios miembros del grupo de investigación son expertos en programación declarativa (PROLOG, LISP, Haskell)
-* Construcción de sistemas expertos aplicados a entornos industriales.
+* '''Construcción de sistemas expertos aplicados a entornos industriales'''
 Recientemente se ha realizado un proyecto/contrato con el IAT para monitorizar, mediante un sistema experto (usando CLIPS) máquinas industriales.
-* Estudio y aplicación de sistemas de representación del conocimiento y razonamiento.
+* '''Estudio y aplicación de sistemas de representación del conocimiento y razonamiento'''
 La línea de representación del conocimiento y razonamiento es una de las líneas principales del grupo.
-* Aplicación de técnicas de  Inteligencia Artificial a la web social (web 2.0).
+* '''Aplicación de técnicas de  Inteligencia Artificial a la web social (web 2.0)'''
-Recientemente hemos abierto una nueva línea de investigación consistente en la aplicaciónd de técnicas de IA para el análisis y desarrollo de aplicaciones Web 2.0
+Recientemente hemos abierto una nueva línea de investigación consistente en la aplicación de técnicas de IA para el análisis y desarrollo de aplicaciones Web 2.0.
-* Técnicas de revisión semántica de ontologías.
+*''' Técnicas de revisión semántica de ontologías'''
 Hemos desarrollado trabajos en el campo de la revisión robusta de ontologías, y en estos momentos se está implementando un prototipo que permitirá la reparación visual de ontologías.
-* Web semántica y Metaweb.
+*''' Web semántica y Metaweb'''
-Como línea que engloba a las tres últimas, el grupo está investigando en el desarrollo de comunidades metaweb. En estos momentos estamos trabajando en un proyecto de la fundación Minerva que consiste en la implantación de una comunidad Metweb móvil.
+Como línea que engloba a las tres últimas, el grupo está investigando en el desarrollo de comunidades metaweb. En estos momentos estamos trabajando en un proyecto de la fundación Minerva que consiste en la implantación de una comunidad Metaweb móvil.
-*Oferta de formación.
+*'''Oferta de formación'''
-El grupo participa activamente en el programa de doctorado del departamento al que pertenecen (Dpto. de Ciencias de la Computación e Inteligencia Artificial de la U. de Sevilla). El citado programa, denominado [http://doctorado.cs.us.es/web/ "Lógica, Computación e Inteligencia Artificial"] posee la mención de calidad expedida por la ANECA (Agencia Nacional de Evaluación de la Calidad y Acreditación). De carácter marcadamente científico, el programa puede ser considerado un complemento de formación científica para las empresas.
+El grupo participa activamente en el programa de doctorado del departamento al que pertenecen (Dpto. de Ciencias de la Computación e Inteligencia Artificial de la U. de Sevilla). El citado programa, denominado [http://doctorado.cs.us.es/web/ "Lógica, Computación e Inteligencia Artificial"] posee la mención de calidad expedida por la ANECA (Agencia Nacional de Evaluación de la Calidad y Acreditación). De carácter marcadamente científico, el programa puede ser considerado un complemento de formación científica para las empresas y ha formado alumnos tanto de la UE como de Iberoamérica.

@@ Línea 1: / Línea 1: @@
 El grupo de investigación trabaja tanto en investigación como en aplicaciones de lnteligencia Artificial. Principalmente en la verificación de programas, sistemas expertos, representación del conocimiento, web 2.0, ontologías y web semántica.
-La oferta tecnológica del grupo se enmarca en los siguientes puntos:
+La oferta tecnológica del grupo se enmarca en los siguientes líneas de actuación:
 * Inteligencia Artificial.
@@ Línea 36: / Línea 36: @@
 *Oferta de formación.
-El grupo participa activamente en el programa de doctorado del departamento al que pertenecen (Dpto. de Ciencias de la Computación e Inteligencia Artificial de la U. de Sevilla). El citado programa, denominado [http://doctorado.cs.us.es/web/ "Lógica, Computación e Inteligencia Artificial"] posee la mención de calidad expedida por la ANECA (Agencia Nacional de Evaluación de la Calidad y Acreditación)
+El grupo participa activamente en el programa de doctorado del departamento al que pertenecen (Dpto. de Ciencias de la Computación e Inteligencia Artificial de la U. de Sevilla). El citado programa, denominado [http://doctorado.cs.us.es/web/ "Lógica, Computación e Inteligencia Artificial"] posee la mención de calidad expedida por la ANECA (Agencia Nacional de Evaluación de la Calidad y Acreditación). De carácter marcadamente científico, el programa puede ser considerado un complemento de formación científica para las empresas.

← Revisión anterior		Revisión del 09:20 21 oct 2008
Línea 36:		Línea 36:
	*Oferta de formación.		*Oferta de formación.

−	El grupo participa activamente en el programa de doctorado del departamento al que pertenecen (Dpto. de Ciencias de la Computación e Inteligencia Artificial de la U. de Sevilla). El citado programa, denominado "Lógica, Computación e Inteligencia Artificial" posee la mención de calidad expedida por la ANECA (Agencia Nacional de Evaluación de la Calidad y Acreditación)	+	El grupo participa activamente en el programa de doctorado del departamento al que pertenecen (Dpto. de Ciencias de la Computación e Inteligencia Artificial de la U. de Sevilla). El citado programa, denominado [http://doctorado.cs.us.es/web/ "Lógica, Computación e Inteligencia Artificial"] posee la mención de calidad expedida por la ANECA (Agencia Nacional de Evaluación de la Calidad y Acreditación)

@@ Línea 10: / Línea 10: @@
 Una de las líneas de investigación del grupo se centra en la verificación formal de sistemas, manejando, a nivel de expertos, sistemas de verificación asistida como ACL2 y PVS.
-* Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional.
+* Desarrollo de aplicaciones mediante programación declarativa usando sistemas de programación lógica y funcional. Varios miembros del grupo de investigación son expertos en programación declarativa (PROLOG, LISP, Haskell)
@@ Línea 30: / Línea 30: @@
 Hemos desarrollado trabajos en el campo de la revisión robusta de ontologías, y en estos momentos se está implementando un prototipo que permitirá la reparación visual de ontologías.
-* Web semántica.
+* Web semántica y Metaweb.
-* Metaweb.