Red Nacional de Universidades con Carreras en Informática http://sedici.unlp.edu.ar:80/handle/10915/18267 2013-05-20T02:42:37Z 2013-05-20T02:42:37Z Red de Universidades con Carreras en Informática (RedUNCI) http://sedici.unlp.edu.ar:80/handle/10915/25904 2013-03-04T13:48:40Z 2012-01-01T00:00:00Z

Libro http://sedici.unlp.edu.ar/handle/10915/18569 De Giusti, Armando; Díaz, Javier CACIC’11 was the seventeenth Congress in the CACIC series. It was organized by the School of Computer Science of the University of La Plata. The Congress included 11 Workshops with 148 accepted papers, 3 main Conference, 4 invited tutorials, different meetings related with Computer Science Education (Professors, PhD students, Curricula) and an International School with 5 courses. (http://www.cacic2011.edu.ar/). CACIC 2011 was organized following the traditional Congress format, with 11 Workshops covering a diversity of dimensions of Computer Science Research. Each topic was supervised by a committee of three chairs of different Universities. The call for papers attracted a total of 281 submissions. An average of 2.5 review reports were collected for each paper, for a grand total of 702 review reports that involved about 400 different reviewers. A total of 148 full papers, involving 393 authors and 77 Universities, were accepted and 25 of them were selected for this book. Editorial de la Universidad Nacional de La Plata (EDULP)

2012-01-01T00:00:00Z CACIC’11 was the seventeenth Congress in the CACIC series. It was organized by the School of Computer Science of the University of La Plata. The Congress included 11 Workshops with 148 accepted papers, 3 main Conference, 4 invited tutorials, different meetings related with Computer Science Education (Professors, PhD students, Curricula) and an International School with 5 courses. (http://www.cacic2011.edu.ar/). CACIC 2011 was organized following the traditional Congress format, with 11 Workshops covering a diversity of dimensions of Computer Science Research. Each topic was supervised by a committee of three chairs of different Universities. The call for papers attracted a total of 281 submissions. An average of 2.5 review reports were collected for each paper, for a grand total of 702 review reports that involved about 400 different reviewers. A total of 148 full papers, involving 393 authors and 77 Universities, were accepted and 25 of them were selected for this book. Capellà i Soler, Sònia http://sedici.unlp.edu.ar:80/handle/10915/25763 2013-01-05T02:01:15Z 2005-02-01T00:00:00Z

Objeto de conferencia V Congreso Internacional Virtual de Educación Aquesta ponència és una aproximació al paper que han de tenir les biblioteques –i els centres als quals estan evolucionant: Centre de Recursos per a l’Aprenentatge i la Investigació (CRAI)– en relació a l’educació a distáncia dins de l’entorn que s’está formulant des de 1999 fins al 2010: la creació de l’Espai Europeu d’Educació Superior (EEES). Concretament ens centrarem, en general, en la situació actual de les universitats espanyoles que ofereixen educació a distáncia. Una frase que resumeix la seva situació és que :"Existen un gran número de retos que las universidades españolas deben superar para que se llegue a una implantación generalizada del e-learning" (Germán Ruipérez, 2004). S’hi podria afegir que un d’aquests reptes és la col·laboració amb els serveis bibliotecaris. Ho exemplificarem amb activitats que posen en relació les biblioteques en les plataformes de e-learning a les universitats i l’EEES (com les comunicacions que van tenir lloc a la Universidad de Verano Adeje 2004: La Biblioteca en el entorno del Espacio Europeo de Educación Superior: El Centro de Recursos para el Aprendizaje y la Investigación)

2005-02-01T00:00:00Z Aquesta ponència és una aproximació al paper que han de tenir les biblioteques –i els centres als quals estan evolucionant: Centre de Recursos per a l’Aprenentatge i la Investigació (CRAI)– en relació a l’educació a distáncia dins de l’entorn que s’está formulant des de 1999 fins al 2010: la creació de l’Espai Europeu d’Educació Superior (EEES). Concretament ens centrarem, en general, en la situació actual de les universitats espanyoles que ofereixen educació a distáncia. Una frase que resumeix la seva situació és que :"Existen un gran número de retos que las universidades españolas deben superar para que se llegue a una implantación generalizada del e-learning" (Germán Ruipérez, 2004). S’hi podria afegir que un d’aquests reptes és la col·laboració amb els serveis bibliotecaris. Ho exemplificarem amb activitats que posen en relació les biblioteques en les plataformes de e-learning a les universitats i l’EEES (com les comunicacions que van tenir lloc a la Universidad de Verano Adeje 2004: La Biblioteca en el entorno del Espacio Europeo de Educación Superior: El Centro de Recursos para el Aprendizaje y la Investigación) Badia i Perpinyà, Anna Durà i Guimerà, Antoni http://sedici.unlp.edu.ar:80/handle/10915/25762 2013-01-05T02:01:20Z 2005-02-01T00:00:00Z

Objeto de conferencia V Congreso Internacional Virtual de Educación L’ensenyament a distáncia és ja un element familiar en els estudis superiors i continua en rápida expansió agilitada pel desenvolupament de les noves tecnologies. Ho demostra l’aposta de la Universitat Autònoma de Barcelona (UAB) pels estudis a distáncia. En les properes págines presentem l’experiència de la geografia en xarxa, iniciada el curs 2001-2002, la primera llicenciatura completament virtual a la UAB, i la primera en geografia a l’estat espanyol. El desplegament d’una llicenciatura completament virtual suposa un repte, no només per la infraestructura que es mou al voltant d’uns estudis a distáncia, sinó per la necessitat d’aprendre noves formes d’ensenyament per part dels docents. És necessari oferir uns estudis a distáncia que garanteixin la mateixa qualitat que els estudis convencionals. La clau és saber utilitzar la millor estratègia per ensenyar de forma interactiva, amb la finalitat d’aconseguir una elevada motivació de l’alumnat.

2005-02-01T00:00:00Z L’ensenyament a distáncia és ja un element familiar en els estudis superiors i continua en rápida expansió agilitada pel desenvolupament de les noves tecnologies. Ho demostra l’aposta de la Universitat Autònoma de Barcelona (UAB) pels estudis a distáncia. En les properes págines presentem l’experiència de la geografia en xarxa, iniciada el curs 2001-2002, la primera llicenciatura completament virtual a la UAB, i la primera en geografia a l’estat espanyol. El desplegament d’una llicenciatura completament virtual suposa un repte, no només per la infraestructura que es mou al voltant d’uns estudis a distáncia, sinó per la necessitat d’aprendre noves formes d’ensenyament per part dels docents. És necessari oferir uns estudis a distáncia que garanteixin la mateixa qualitat que els estudis convencionals. La clau és saber utilitzar la millor estratègia per ensenyar de forma interactiva, amb la finalitat d’aconseguir una elevada motivació de l’alumnat. González-Almeida, José Luis Oliva Almeida, Jorge Luis O'allorans Rafuls, Luanda http://sedici.unlp.edu.ar:80/handle/10915/25761 2013-01-05T02:01:21Z 2005-02-01T00:00:00Z

Objeto de conferencia V Congreso Internacional Virtual de Educación Próspero abandona la letra de Rodó, ...los espacios surca, degusta la consagración. Continuadores de aquella rancia política colonial que, imponiendo su sesgo, esquilma a lo vernáculo, pajes, nodrizas e ideólogos del neoliberalismo globalizador apuestan por el (pre)dominio de la unicidad lingüística. Como en los tiempos de Trajano o de Nerón, se modela una cultura manipuladora del habla, instruida también en el fomento de lo transgresor. Hurgar en el idioma del otro desprejuiciadamente, en tanto receptáculo de los distingos y bondades que su naturaleza entraña, registra asimismo una manera eficiente de conquistar instancias, de suscribir un lugar. Y son las Universidades, elementos de un paisaje social convocado al reacomodo, mucho más cuando del “Tercer Mundo” se trata. En Cuba, desde luego, la regla descarta la excepción: a cada una de las especialidades que se cursan en las más altas casas docentes, se les posesiona el empeño. Así sucede con la Licenciatura en Estudios Socioculturales adscripta a la Universidad Agraria de La Habana, para la que una estrategia curricular (re)conocida como Programa Director de la Lengua Inglesa dispone devolver un egresado más culto, harto competente en su comunicación, capaz de insertar su (nuestra) discursividad con la vehemencia de lo que Martí llamara la “cuchara de albañil”, la “cola del castor”. Construir el conocimiento, edificar con inteligencia cada una de sus utopías, deviene algo más que expresión del ejercicio docente; resulta, ante todo, evidencia no menos audaz de lo expectante: en ello -¿por qué no?- va el logro, el aporte más (com)probable de esta ofrenda.

2005-02-01T00:00:00Z Próspero abandona la letra de Rodó, ...los espacios surca, degusta la consagración. Continuadores de aquella rancia política colonial que, imponiendo su sesgo, esquilma a lo vernáculo, pajes, nodrizas e ideólogos del neoliberalismo globalizador apuestan por el (pre)dominio de la unicidad lingüística. Como en los tiempos de Trajano o de Nerón, se modela una cultura manipuladora del habla, instruida también en el fomento de lo transgresor. Hurgar en el idioma del otro desprejuiciadamente, en tanto receptáculo de los distingos y bondades que su naturaleza entraña, registra asimismo una manera eficiente de conquistar instancias, de suscribir un lugar. Y son las Universidades, elementos de un paisaje social convocado al reacomodo, mucho más cuando del “Tercer Mundo” se trata. En Cuba, desde luego, la regla descarta la excepción: a cada una de las especialidades que se cursan en las más altas casas docentes, se les posesiona el empeño. Así sucede con la Licenciatura en Estudios Socioculturales adscripta a la Universidad Agraria de La Habana, para la que una estrategia curricular (re)conocida como Programa Director de la Lengua Inglesa dispone devolver un egresado más culto, harto competente en su comunicación, capaz de insertar su (nuestra) discursividad con la vehemencia de lo que Martí llamara la “cuchara de albañil”, la “cola del castor”. Construir el conocimiento, edificar con inteligencia cada una de sus utopías, deviene algo más que expresión del ejercicio docente; resulta, ante todo, evidencia no menos audaz de lo expectante: en ello -¿por qué no?- va el logro, el aporte más (com)probable de esta ofrenda. Vallespí, E. Marqués, M.J. http://sedici.unlp.edu.ar:80/handle/10915/25760 2013-01-04T15:02:58Z 2005-02-01T00:00:00Z

Objeto de conferencia V Congreso Internacional Virtual de Educación Cuestionario

2005-02-01T00:00:00Z Cuestionario Molina Torrens, Miguel A. Reina Amador, Ilia http://sedici.unlp.edu.ar:80/handle/10915/25759 2013-01-05T02:01:21Z 2005-02-01T00:00:00Z

Objeto de conferencia V Congreso Internacional Virtual de Educación Estudis realitzats per la Universitat de les Illes Balears indiquen que el 4,7% de la població d'entre sis i onze anys és hiperactiva. Això significa un/a nin/a de cada aula (tenint en compte una rátio de 25 nins/es per classe). Entre les característiques generals de l’alumnat hiperactiu podem destacar la seva manca d’atenció en qualsevol activitat, perd el fil del que fa, no es pot aturar i, a vegades, és agressiu. Aquesta situació és pot millorar a l’escola i a la família si se segueixen pautes d’intervenció clares i conjuntes. S’han de valorar els següents aspectes: el seguiment per part del professorat dels efectes dels medicaments utilitzats per l’alumnat, la intervenció psicopedagògica consensuada del professorat i de la família dels aspectes conductuals, socials, cognitius i educatius. Només des d'aquest marc cooperatiu aconseguirem que l'alumnat millori en tots els aspectes, encara que aquest trastorn sempre els acompanyará en major o menor grau.

2005-02-01T00:00:00Z Estudis realitzats per la Universitat de les Illes Balears indiquen que el 4,7% de la població d'entre sis i onze anys és hiperactiva. Això significa un/a nin/a de cada aula (tenint en compte una rátio de 25 nins/es per classe). Entre les característiques generals de l’alumnat hiperactiu podem destacar la seva manca d’atenció en qualsevol activitat, perd el fil del que fa, no es pot aturar i, a vegades, és agressiu. Aquesta situació és pot millorar a l’escola i a la família si se segueixen pautes d’intervenció clares i conjuntes. S’han de valorar els següents aspectes: el seguiment per part del professorat dels efectes dels medicaments utilitzats per l’alumnat, la intervenció psicopedagògica consensuada del professorat i de la família dels aspectes conductuals, socials, cognitius i educatius. Només des d'aquest marc cooperatiu aconseguirem que l'alumnat millori en tots els aspectes, encara que aquest trastorn sempre els acompanyará en major o menor grau. Galdón, Amalia Enric, Ramiro http://sedici.unlp.edu.ar:80/handle/10915/25758 2013-01-05T02:01:21Z 2005-02-01T00:00:00Z

Objeto de conferencia V Congreso Internacional Virtual de Educación Així, doncs, dos foren els objectius generals que ens proposá rem: - Que participara tota la comunitat educativa. - Que no fora una activitat escolar més. Per altra banda les activitats educatives dissenyades també havien de complir dues condicions: - Que siguen activitats incloses en la programació inicial del curs acadèmica, ja com activitats complementáries o del currículum principal, per que d’aquesta manera no representen un increment de les feines programades en les matèries que participen en la activitat. - Que en prioritzant els procediments i actituds front als conceptes, signifique una compensació agradable a l’alumnat implicat. Entenem que si volem un procés consolidat a llarg termini, cal buscar en l’educació vivencial el nostre referent principal, i això ho apliquem en tots els projectes que abordem.

2005-02-01T00:00:00Z Així, doncs, dos foren els objectius generals que ens proposá rem: - Que participara tota la comunitat educativa. - Que no fora una activitat escolar més. Per altra banda les activitats educatives dissenyades també havien de complir dues condicions: - Que siguen activitats incloses en la programació inicial del curs acadèmica, ja com activitats complementáries o del currículum principal, per que d’aquesta manera no representen un increment de les feines programades en les matèries que participen en la activitat. - Que en prioritzant els procediments i actituds front als conceptes, signifique una compensació agradable a l’alumnat implicat. Entenem que si volem un procés consolidat a llarg termini, cal buscar en l’educació vivencial el nostre referent principal, i això ho apliquem en tots els projectes que abordem. Pitarque Cambra, Mari Angel http://sedici.unlp.edu.ar:80/handle/10915/25757 2013-01-05T02:01:22Z 2005-02-01T00:00:00Z

Objeto de conferencia V Congreso Internacional Virtual de Educación Totes i tots coneixem la importáncia i necessitat de potenciar l'ús de la metodologia científica i de recerca entre l'alumnat en totes les árees. Despertar la inquietud, interrogar-se pel que ens envolta, explorar i investigar per tal de trobar respostes són peces fonamentals de l'aprenentatge tal com es concep avui dia. Eje: Educación secundaria y profesional. Experiencias educativas

2005-02-01T00:00:00Z Totes i tots coneixem la importáncia i necessitat de potenciar l'ús de la metodologia científica i de recerca entre l'alumnat en totes les árees. Despertar la inquietud, interrogar-se pel que ens envolta, explorar i investigar per tal de trobar respostes són peces fonamentals de l'aprenentatge tal com es concep avui dia. Boix Peinado, Josep Lluís http://sedici.unlp.edu.ar:80/handle/10915/25756 2013-01-05T02:01:22Z 2005-02-01T00:00:00Z

Objeto de conferencia V Congreso Internacional Virtual de Educación Prosseguint en l’estudi iniciat l’anys 2000, sobre els alumnes que abandonaven l’ESO sense haver assolit els objectius i sobre els programes d’iniciació professional en la comarca del Segriá i hem arribat a la contextualització d’una proposta de programa d’orientació per l’assoliment de competències claus i professional així com en la concreció d’unes pautes d’implementació en l’IES Alcarrás. El disseny metodològic de tota la recerca té en compte el paradigma sociocrític, des d’una perspectiva ecològica. En l’aproximació al camp, durant l’estudi inicial, vá rem utilitzar el mètode d’enquesta, el qual ha estat la base per la metaavaluació des d’on hem deduït les variables per l’estudi de la nova recerca. Ara utilitzem una metodologia més qualitativa amb mètodes i tècniques participatives. Els instruments utilitzats són: La tècnica Delph i els grups de discussió L’analisi de tota la informació es tranfereix al disseny de l’esmentat programa que será una proposta educativa per a tothom, on els protagonistes en la planificació i l’aprenentatge han de ser els mateixos usuaris. Eje: Educación secundaria y profesional. Reflexiones

2005-02-01T00:00:00Z Prosseguint en l’estudi iniciat l’anys 2000, sobre els alumnes que abandonaven l’ESO sense haver assolit els objectius i sobre els programes d’iniciació professional en la comarca del Segriá i hem arribat a la contextualització d’una proposta de programa d’orientació per l’assoliment de competències claus i professional així com en la concreció d’unes pautes d’implementació en l’IES Alcarrás. El disseny metodològic de tota la recerca té en compte el paradigma sociocrític, des d’una perspectiva ecològica. En l’aproximació al camp, durant l’estudi inicial, vá rem utilitzar el mètode d’enquesta, el qual ha estat la base per la metaavaluació des d’on hem deduït les variables per l’estudi de la nova recerca. Ara utilitzem una metodologia més qualitativa amb mètodes i tècniques participatives. Els instruments utilitzats són: La tècnica Delph i els grups de discussió L’analisi de tota la informació es tranfereix al disseny de l’esmentat programa que será una proposta educativa per a tothom, on els protagonistes en la planificació i l’aprenentatge han de ser els mateixos usuaris. Colom Cañellas, Antoni J. Fernández Bennàssar, María del Carmen Pastor Homs, María Inmaculada Rincón Verdera, Joan C. http://sedici.unlp.edu.ar:80/handle/10915/25755 2013-01-05T02:01:23Z 2005-02-01T00:00:00Z

Objeto de conferencia V Congreso Internacional Virtual de Educación Aquesta ponència és fruit del treball de camp desenvolupat al llarg del curs acadèmic 2003/2004 sobre la incidència del patrimoni cultural de les Illes Balears a l’escola (amb especial referència a Mallorca). A la llum dels resultats de la nostra investigació, hem de dir que la qüestió patrimonial té una escassa repercussió en l' ámbit escolar i, no obstant això, o precissament per això, creiem que és necessari aportar informació al professorat sobre la qüestió per tal d’animar els professionals i engrescar-los en la tasca d’usar un dels recursos amb més possibilitats didáctiques i metodològiques que tenen al seu abast. D'altra banda, investigacions d'aquest tipus en altres autonomies podrien donar com resultat una base de dades sobre el patrimoni que integrés totes les publicacions culturals de tots els municipis espanyols, la qual cosa seria de gran utilitat, no sols des d'una perspectiva pedagògica, sinó també cultural, perquè, sens dubte, una base d’aquestes característiques podria ser aprofitada, no sols pels docents, sinó també pels investigadors i visitants i, en general, per qualsevol persona interessada en la temática. Eje: Educación primaria. Reflexiones

2005-02-01T00:00:00Z Aquesta ponència és fruit del treball de camp desenvolupat al llarg del curs acadèmic 2003/2004 sobre la incidència del patrimoni cultural de les Illes Balears a l’escola (amb especial referència a Mallorca). A la llum dels resultats de la nostra investigació, hem de dir que la qüestió patrimonial té una escassa repercussió en l' ámbit escolar i, no obstant això, o precissament per això, creiem que és necessari aportar informació al professorat sobre la qüestió per tal d’animar els professionals i engrescar-los en la tasca d’usar un dels recursos amb més possibilitats didáctiques i metodològiques que tenen al seu abast. D'altra banda, investigacions d'aquest tipus en altres autonomies podrien donar com resultat una base de dades sobre el patrimoni que integrés totes les publicacions culturals de tots els municipis espanyols, la qual cosa seria de gran utilitat, no sols des d'una perspectiva pedagògica, sinó també cultural, perquè, sens dubte, una base d’aquestes característiques podria ser aprofitada, no sols pels docents, sinó també pels investigadors i visitants i, en general, per qualsevol persona interessada en la temática. Tohmé, Fernando Abel Delrieux, Claudio http://sedici.unlp.edu.ar:80/handle/10915/24903 2012-11-30T02:01:10Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Las teorías científicas pueden considerarse como extensiones de las teorías lógicas, en las que se incorpora un conjunto heterogéneo y posiblemente inconsistente de conocimiento tentativo (leyes empíricas, conjeturas, hipótesis auxiliares, etc.) Dicho conocimiento está organizado por medio de una jerarquía que representa una dimensión pragmática que tiene en cuenta los posibles beneficios en el uso de dicho conocimiento por medio de patrones de inferencia, englobados dentro de lo que usualmente se denomina método científico. Sin embargo, es esperable que a partir de un mismo conjunto disponible de conocimiento tentativo, diferentes investigadores adopten distintas jerarquías, por lo que el conjunto de conclusiones a que arriba cada uno es también diferente. Este fenómeno da origen a la coexistencia de dos o más teorías científicas dentro de una misma disciplina, donde cada miembro de la disciplina elije entre las diversas alternativas por medio de algún mecanismo de selección. En este trabajo se investiga un modelo de elección de teorías en los programas de investigación. En primera instancia se presenta un sistema de representación de conocimiento y razonamiento afín con los Programas de Investigación Científica de Lakatos, describiendo la formalización de los distintos procesos de predicción y explicación. Luego presentamos los mecanismos de elección de teorías dentro de un programa de investigación, es decir, el proceso dinámico por el cual las teorías surgen o son abandonadas. El mismo está basado en conceptos de Teoría de los Juegos. Para dichos mecanismos, se estudian las condiciones para la emergencia de equilibrios de Nash. Eje: Teoría

1998-11-01T00:00:00Z Las teorías científicas pueden considerarse como extensiones de las teorías lógicas, en las que se incorpora un conjunto heterogéneo y posiblemente inconsistente de conocimiento tentativo (leyes empíricas, conjeturas, hipótesis auxiliares, etc.) Dicho conocimiento está organizado por medio de una jerarquía que representa una dimensión pragmática que tiene en cuenta los posibles beneficios en el uso de dicho conocimiento por medio de patrones de inferencia, englobados dentro de lo que usualmente se denomina método científico. Sin embargo, es esperable que a partir de un mismo conjunto disponible de conocimiento tentativo, diferentes investigadores adopten distintas jerarquías, por lo que el conjunto de conclusiones a que arriba cada uno es también diferente. Este fenómeno da origen a la coexistencia de dos o más teorías científicas dentro de una misma disciplina, donde cada miembro de la disciplina elije entre las diversas alternativas por medio de algún mecanismo de selección. En este trabajo se investiga un modelo de elección de teorías en los programas de investigación. En primera instancia se presenta un sistema de representación de conocimiento y razonamiento afín con los Programas de Investigación Científica de Lakatos, describiendo la formalización de los distintos procesos de predicción y explicación. Luego presentamos los mecanismos de elección de teorías dentro de un programa de investigación, es decir, el proceso dinámico por el cual las teorías surgen o son abandonadas. El mismo está basado en conceptos de Teoría de los Juegos. Para dichos mecanismos, se estudian las condiciones para la emergencia de equilibrios de Nash. Jeltsch F., Eric http://sedici.unlp.edu.ar:80/handle/10915/24902 2012-11-30T02:01:12Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Se presentó en [Je 95] un Algoritmo de Inferencia, el cual posee como entrada un conjunto finito de figuras o modelos, que se pueden representar como Grafos y como salida un tipo de Gramáticas de Grafos, llamadas Gramáticas de Reemplazo de Hiperlíneas. en [Je 96] se demostró que este Algoritmo es altamente no-determinístico. De manera que en este trabajo se presenta una generalización del Algoritmo de Inferencia y una alternativa semántica para restringir el flujo exponencial de gramáticas inferidas, la que se refiere a exigirle a los grafos ciertas propiedades, que llamaremos compatibles. En especial se considera un conjunto finito de ejemplos "negativos"que son análogos a los modelos ingresados, pero que en la generación del lenguaje de grafos no aparecen. Eje: Teoría

1998-11-01T00:00:00Z Se presentó en [Je 95] un Algoritmo de Inferencia, el cual posee como entrada un conjunto finito de figuras o modelos, que se pueden representar como Grafos y como salida un tipo de Gramáticas de Grafos, llamadas Gramáticas de Reemplazo de Hiperlíneas. en [Je 96] se demostró que este Algoritmo es altamente no-determinístico. De manera que en este trabajo se presenta una generalización del Algoritmo de Inferencia y una alternativa semántica para restringir el flujo exponencial de gramáticas inferidas, la que se refiere a exigirle a los grafos ciertas propiedades, que llamaremos compatibles. En especial se considera un conjunto finito de ejemplos "negativos"que son análogos a los modelos ingresados, pero que en la generación del lenguaje de grafos no aparecen. Fillottrani, Pablo Rubén Simari, Guillermo Ricardo http://sedici.unlp.edu.ar:80/handle/10915/24901 2012-12-28T16:24:47Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming in the form of “classical” or “strong” negation. In view of such a diversity of semantics for negation in logic programs, Dix [7,5,6] proposed a method for classigying and characterizing them. In this paper we present an analysis of these approaches from the view-point of knowledge representation. We compare them with nonmonotonic formalisms such as default logic, circumscription, and autoepistemic logic, identifying some problems that are not preset in these logics. Then we suggest some alternatives, considering Dix’s formal properties. Finally we discuss the effect of allowing only one negative connective in the syntax of logic programs, whose semantics is defined by the programmer. Eje: Teoría

1998-11-01T00:00:00Z Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming in the form of “classical” or “strong” negation. In view of such a diversity of semantics for negation in logic programs, Dix [7,5,6] proposed a method for classigying and characterizing them. In this paper we present an analysis of these approaches from the view-point of knowledge representation. We compare them with nonmonotonic formalisms such as default logic, circumscription, and autoepistemic logic, identifying some problems that are not preset in these logics. Then we suggest some alternatives, considering Dix’s formal properties. Finally we discuss the effect of allowing only one negative connective in the syntax of logic programs, whose semantics is defined by the programmer. Pareja-Flores, Cristóbal Arcas-Guijarro, Miguel Velázquez-Iturbide, J. Angel http://sedici.unlp.edu.ar:80/handle/10915/24900 2012-11-30T02:01:13Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Proponemos una extensión, para la síntesis de funciones, del sistema de transformación de desplegado/plegado. Se amplía no tanto el lenguaje de programación funcional como el sistema de transformación. El lenguaje ampliado permite relaciones (Es decir, restricciones) que expresan precondicinoes y poscondicinoes, pero que no pueden usarse para construir funciones ejecutables, sino que su uso está limitado al proceso transformador. El sistema de transformación también se amplía para tratar restricciones e igualdades generales, resultando un sistema de cinco reglas, potente pero sencillo. Hemos estudiado principalmente su aplicación a la síntesis de funciones inversas de otras existentes. El sistema resulta especialmente útil y natural cuando se combina con una forma poderosa de especificar inversas de funciones, llamada patrones generalizados. En el papel ilustramos estas ideas con la aplicación del sistema a varios problemas, destacando la síntesis de una función que reconstruye un árbol binario a partir de sus recorridos en preorden y en inorde. Eje: Teoría

1998-11-01T00:00:00Z Proponemos una extensión, para la síntesis de funciones, del sistema de transformación de desplegado/plegado. Se amplía no tanto el lenguaje de programación funcional como el sistema de transformación. El lenguaje ampliado permite relaciones (Es decir, restricciones) que expresan precondicinoes y poscondicinoes, pero que no pueden usarse para construir funciones ejecutables, sino que su uso está limitado al proceso transformador. El sistema de transformación también se amplía para tratar restricciones e igualdades generales, resultando un sistema de cinco reglas, potente pero sencillo. Hemos estudiado principalmente su aplicación a la síntesis de funciones inversas de otras existentes. El sistema resulta especialmente útil y natural cuando se combina con una forma poderosa de especificar inversas de funciones, llamada patrones generalizados. En el papel ilustramos estas ideas con la aplicación del sistema a varios problemas, destacando la síntesis de una función que reconstruye un árbol binario a partir de sus recorridos en preorden y en inorde. Barbosa, Jorge L. V. Geyer, Cláudio Fernando Resin Castro, Luis Fernando Pias de Azevedo, Silvana Campos de http://sedici.unlp.edu.ar:80/handle/10915/24899 2012-11-30T02:01:14Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Este trabalho apresenta a integração dos modelos ParTy e Granlog. O ParTy (Parallel Types Analyzer) é um interpretador abstrato de tipos. O Granlog (Granularity Analyzer for LOGic programming) é um analisador automático de granulosidade na Programação em Lógica. O modelo Granlog necessita da análise estática de modos, tipos, medidas e dependências dos argumentos de um programa Prolog. Atualmente a análise de modos, tipos e medidas não é automática, o programador adiciona estas informações ao código fonte. A análise estática pode ser realizada através da técnica de Interpretação Abstrata. Esta técnica simula a execução de um programa segundo um domínio abstrato obtendo informações sobre o seu comportamento. O ParTy realiza a interpretação abstrata de tipos para os argumentos de um programa Prolog. A integração ParTy-Granlog torna automática a análise de tipos no modelo Granlog. Eje: Teoría

1998-11-01T00:00:00Z Este trabalho apresenta a integração dos modelos ParTy e Granlog. O ParTy (Parallel Types Analyzer) é um interpretador abstrato de tipos. O Granlog (Granularity Analyzer for LOGic programming) é um analisador automático de granulosidade na Programação em Lógica. O modelo Granlog necessita da análise estática de modos, tipos, medidas e dependências dos argumentos de um programa Prolog. Atualmente a análise de modos, tipos e medidas não é automática, o programador adiciona estas informações ao código fonte. A análise estática pode ser realizada através da técnica de Interpretação Abstrata. Esta técnica simula a execução de um programa segundo um domínio abstrato obtendo informações sobre o seu comportamento. O ParTy realiza a interpretação abstrata de tipos para os argumentos de um programa Prolog. A integração ParTy-Granlog torna automática a análise de tipos no modelo Granlog. Baum, Gabriel Alfredo Frias, Marcelo F. Aguirre, Nazareno Matías Medel, Ricardo http://sedici.unlp.edu.ar:80/handle/10915/24898 2012-11-30T02:01:14Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación La creciente importancia de los factores críticos en el software hace que la utilización de métodos formales de desarrollo sea cada vez más frecuente. En este contexto, la construcción rigurosa de programas, concebida como un “álgebra de la programación” [BdM97] o bien como un “cálculo de programas” [FBH 97], constituye uno de los elementos de mayor relevancia, en al medida que provee técnicas, métodos y, más aún, estrategias generales que posibilitan obtener programas correctos por construcción a partir de especificaciones formales o semiformales. En este trabajo se presentan Estrategias de Construcción de Programas basadas en la Teoría de Primer Orden de las Fork Álgebras. En este contexto se describen estrategias, usuales en la Programación en Lógica y Funcional, como “tupling” y “generalización” que resultan de gran utilidad tanto como herramientas de solución de problemas, como técnicas de diseño de algoritmos y también como métodos generales de optimización de programas recursivos. Se analizan condiciones suficientes para la aplicación de estas estrategias a expresiones algebraicas que caracterizan algoritmos genéricos (Es decir, clases de algoritmos) y se presentan varios ejemplos de aplicación de las mismas. Eje: Teoría

1998-11-01T00:00:00Z La creciente importancia de los factores críticos en el software hace que la utilización de métodos formales de desarrollo sea cada vez más frecuente. En este contexto, la construcción rigurosa de programas, concebida como un “álgebra de la programación” [BdM97] o bien como un “cálculo de programas” [FBH 97], constituye uno de los elementos de mayor relevancia, en al medida que provee técnicas, métodos y, más aún, estrategias generales que posibilitan obtener programas correctos por construcción a partir de especificaciones formales o semiformales. En este trabajo se presentan Estrategias de Construcción de Programas basadas en la Teoría de Primer Orden de las Fork Álgebras. En este contexto se describen estrategias, usuales en la Programación en Lógica y Funcional, como “tupling” y “generalización” que resultan de gran utilidad tanto como herramientas de solución de problemas, como técnicas de diseño de algoritmos y también como métodos generales de optimización de programas recursivos. Se analizan condiciones suficientes para la aplicación de estas estrategias a expresiones algebraicas que caracterizan algoritmos genéricos (Es decir, clases de algoritmos) y se presentan varios ejemplos de aplicación de las mismas. Necco, Claudia Mónica Quintas, Luis Guillermo http://sedici.unlp.edu.ar:80/handle/10915/24897 2012-11-30T02:01:15Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación En este trabajo se realiza un análisis de situaciones de conflicto estratégico que se producen periódicamente y que se modelan como juegos repetidos, bajo supuestos de racionalidad acotada y usando implementaciones computacionales (estrategias implementadas por autómatas de tamaño 2). Sin estas restricciones hay típicamente infinitos equilibrios lo cual naturalmente dificulta la posibilidad de saber que tipo de conductas (todas razonables) podrán tomar los agentes. En este caso, se hace un estudio estadístico de los equilibrios de Nash en juegos bipersonales generados en forma aleatoria (aquí se relaja la condición de simetría impuesta por Quintas-Silvestri[1998]). Se observa que a diferencia de lo que podrían sugerir los juegos clásicos (Dilema de los Prisioneros y otros juegos de coordinación) en los supuestos arriba mencionados la cantidad de pagos en equilibrio es muy reducida (no así la cantidad de estrategias en equilibrio). Sin dominación o aplicando criterios de dominación fuerte la cantidad de pagos en equilibrio es típicamente uno o dos ( esto es menor que lo encontrado para juegos simétricos) . La dominación fuerte reduce ligeramente la cantidad de estrategias en equilibrios pero no la cantidad de pagos en equilibrio. Bajo criterios de dominación regular o débil, sí se observa una reducción de los pagos (y de las estrategias) de equilibro siendo el caso mas común el de equilibrio único. Eje: Teoría

1998-11-01T00:00:00Z En este trabajo se realiza un análisis de situaciones de conflicto estratégico que se producen periódicamente y que se modelan como juegos repetidos, bajo supuestos de racionalidad acotada y usando implementaciones computacionales (estrategias implementadas por autómatas de tamaño 2). Sin estas restricciones hay típicamente infinitos equilibrios lo cual naturalmente dificulta la posibilidad de saber que tipo de conductas (todas razonables) podrán tomar los agentes. En este caso, se hace un estudio estadístico de los equilibrios de Nash en juegos bipersonales generados en forma aleatoria (aquí se relaja la condición de simetría impuesta por Quintas-Silvestri[1998]). Se observa que a diferencia de lo que podrían sugerir los juegos clásicos (Dilema de los Prisioneros y otros juegos de coordinación) en los supuestos arriba mencionados la cantidad de pagos en equilibrio es muy reducida (no así la cantidad de estrategias en equilibrio). Sin dominación o aplicando criterios de dominación fuerte la cantidad de pagos en equilibrio es típicamente uno o dos ( esto es menor que lo encontrado para juegos simétricos) . La dominación fuerte reduce ligeramente la cantidad de estrategias en equilibrios pero no la cantidad de pagos en equilibrio. Bajo criterios de dominación regular o débil, sí se observa una reducción de los pagos (y de las estrategias) de equilibro siendo el caso mas común el de equilibrio único. Michalczewsky, Erika Fuxman, Ariel Fillottrani, Pablo Rubén http://sedici.unlp.edu.ar:80/handle/10915/24896 2012-11-30T02:01:15Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación En los lenguajes de programación orientados a objetos tradicionales el envío de mensajes es el único mecanismo de comunicación. El objeto que envía un mensaje (cliente) debe especificar explícitamente el objeto que lo recibe (servidor). El objetivo de este trabajo es plantear un modelo alternativo en el cual se considera al ambiente de ejecución como un mercado en donde se ofrecen y requieren servicios, y el programador no se ve forzado a fijar por anticipado el objeto con el cual se establecerá la comunicación. Cualquier modelo que pretenda brindar mecanismos para tal entorno debe contemplar un mediador que facilite a los clientes la búsqueda de información acerca de los servicios y sus proveedores. Esta funcionalidad es soportada en nuestro sistema por un componente denominado Trader. Los proveedores exportan sus servicios al Trader a través de ofertas de servicios. Por su parte, los potenciales usuarios comunican al Trader las características del servicio requerido. En función de este requerimiento, el Trader busca las ofertas que más se adecúan a lo solicitado y retorna referencias a los proveedores apropiados. Este modelo se aplicó al ambiente de programación de Samlltalk, incorporándolo como alternativa al envío tradicional de mensajes. Cuando se desea invocar una operación y se desconocen los objetos que la pueden llevar a cabo se solicita al Trader que encuentre el proveedor más adecuado. A partir de ese momento, la comunicación se realiza en forma directa entre el cliente y el servidor sin ningún tipo de intermediación Eje: Teoría

1998-11-01T00:00:00Z En los lenguajes de programación orientados a objetos tradicionales el envío de mensajes es el único mecanismo de comunicación. El objeto que envía un mensaje (cliente) debe especificar explícitamente el objeto que lo recibe (servidor). El objetivo de este trabajo es plantear un modelo alternativo en el cual se considera al ambiente de ejecución como un mercado en donde se ofrecen y requieren servicios, y el programador no se ve forzado a fijar por anticipado el objeto con el cual se establecerá la comunicación. Cualquier modelo que pretenda brindar mecanismos para tal entorno debe contemplar un mediador que facilite a los clientes la búsqueda de información acerca de los servicios y sus proveedores. Esta funcionalidad es soportada en nuestro sistema por un componente denominado Trader. Los proveedores exportan sus servicios al Trader a través de ofertas de servicios. Por su parte, los potenciales usuarios comunican al Trader las características del servicio requerido. En función de este requerimiento, el Trader busca las ofertas que más se adecúan a lo solicitado y retorna referencias a los proveedores apropiados. Este modelo se aplicó al ambiente de programación de Samlltalk, incorporándolo como alternativa al envío tradicional de mensajes. Cuando se desea invocar una operación y se desconocen los objetos que la pueden llevar a cabo se solicita al Trader que encuentre el proveedor más adecuado. A partir de ese momento, la comunicación se realiza en forma directa entre el cliente y el servidor sin ningún tipo de intermediación Krasnogor, Natalio Mocciola, Pablo Andrés Pelta, David Alejandro Ruiz, Germán Esteban Russo, Wanda Mariana http://sedici.unlp.edu.ar:80/handle/10915/24895 2012-11-30T02:01:15Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Historically Functional Programming FP for short has been associated with a small scope of applications mainly academic The computer science community did not pay enough attention to its potential perhaps due to the lack of e ciency of functional languages Now new theoretical developments in the eld of FP are emerging and better languages e g Haskell Concurrent and Parallel Haskell have been de ned and implemented Genetic algorithms GA are search and optimization techniques which work on a nature inspired principle the Darwinian evolution The corner idea of Darwin theory is that of natural selection The concept of natural selection is captured by GA Speci cally solutions to a given problem are codi ed in the so called chromosomes The evolution of chromosomes due to the action of crossover mutation and natural selection is simulated through computer code GA have been broadly applied and recognized as a robust search and optimization technique GA combined with a local search stage were called Memetic Algorithms after In this paper a functional framework for formal memetic algorithms is intro duced It can be easily extended by subclassi cation of the class hierarchy to provide genetic algorithm specialization memetic algorithm genetic algorithm with islands of possible solutions etc and additional genetic operators behavior To run the frame work over a particular problem a proper encoding of chromosomes should be provided with an instantiation of the genetic operators We claim that functional programming languages at least the one in which our framework has been developed Haskell have reached the necessary maturity to deal with combinatorial optimization problems Eje: Teoría

1998-11-01T00:00:00Z Historically Functional Programming FP for short has been associated with a small scope of applications mainly academic The computer science community did not pay enough attention to its potential perhaps due to the lack of e ciency of functional languages Now new theoretical developments in the eld of FP are emerging and better languages e g Haskell Concurrent and Parallel Haskell have been de ned and implemented Genetic algorithms GA are search and optimization techniques which work on a nature inspired principle the Darwinian evolution The corner idea of Darwin theory is that of natural selection The concept of natural selection is captured by GA Speci cally solutions to a given problem are codi ed in the so called chromosomes The evolution of chromosomes due to the action of crossover mutation and natural selection is simulated through computer code GA have been broadly applied and recognized as a robust search and optimization technique GA combined with a local search stage were called Memetic Algorithms after In this paper a functional framework for formal memetic algorithms is intro duced It can be easily extended by subclassi cation of the class hierarchy to provide genetic algorithm specialization memetic algorithm genetic algorithm with islands of possible solutions etc and additional genetic operators behavior To run the frame work over a particular problem a proper encoding of chromosomes should be provided with an instantiation of the genetic operators We claim that functional programming languages at least the one in which our framework has been developed Haskell have reached the necessary maturity to deal with combinatorial optimization problems Barbosa, Jorge L. V. Geyer, Cláudio Fernando Resin http://sedici.unlp.edu.ar:80/handle/10915/24894 2012-11-30T02:01:15Z 1998-11-01T00:00:00Z

Objeto de conferencia IV Congreso Argentina de Ciencias de la Computación Desde os primórdios da humanidade a raça humana busca compreender. A ciência, como instrumento de descobrimento do universo, vem alcançando contínuos sucessos. As descobertas científicas permitiram ao Homem criar um modelo bastante estável e previsível para a realidade na qual está inserido. Em grande parte, o sucesso da ciência basea-se na estratégia de fragmentação do conhecimento, ou seja, na criação de diversas áreas de especialização. A fragmentação é uma solução natural para resolver problemas complexos. No entanto, na medida em que a ciência estimula a fragmentação como abordagem para compreensão do universo, estimula também a visão fragmentária como paradigma (modelo, padrão, visão) do universo. Nos últimos anos, vários cientistas têm pesquisado essa realidade. Como principal argumento, afirmam que a fragmentação é um ótimo paradigma para, inicialmente, dominar a complexidade de um universo. No entanto, na medida em que os fragmentos se especializam, parece indispensável a sua unificação para dar continuidade a evolução do conhecimento. O crescente interesse científico pelo paradigma holístico demonstra a importância dessa abordagem para a evolução do conhecimento humano. Na Ciência da Computação o paradigma fragmentação/especialização vem sendo bastante utilizado para a solução de problemas. Atualmente, o desenvolvimento de sistemas computacionais destaca a fragmentação como instrumento de domínio da complexidade. A máxima "dividir para conquistar" pode ser encontrada em diversos textos da Engenharia de Software. Além disso, a aplicação do paradigma fragmentação/especialização na área de linguagens de programação vem estimulando a criação de diversos Paradigmas de Desenvolvimento de sistemas (por exemplo, desenvolvimento em lógica, imperativo/procedimental, funcional, orientado a objetos, orientado a agentes) e, em especial, a criação de uma quantidade enorme de linguagens. Esta ploriferação de paradigmas e linguagens fez com que a comunidade científica utiliza-se o termo Torre de Babel (como exemplo, veja a capa da revista Computer Languages) para descrever a situação atual. Nos últimos anos os cientistas da computação, em ressonância com o restante da comunidade científica, vêm buscando soluções permeadas pela visão holística. No universo de múltiplas linguagens e paradigmas surge a proposta Multiparadigma. Os pesquisadores do tema multiparadigma propõem a criação de modelos de desenvolvimento que unifiquem paradigmas já existentes. Durante essa tarefa, tentam explorar ao máximo as características consideradas benéficas em cada paradigma. O universo multiparadigma é uma área de pesquisa recente. Sendo assim, não foi criada ainda uma taxonomia para classificação dos modelos multiparadigma. A criação de uma taxonomia para os membros de um universo depende do estudo de suas características. Durante esse estudo, nomalmente surgem semelhanças que podem ser utilizadas para organização dos membros em grupos. Com base em estudos de caso e considerando os objetivos almejados pelos pesquisadores, o artigo propõe uma taxonomia para o universo multiparadigma e prevê os próximos passos da pesquisa nessa área. Eje: Teoría

1998-11-01T00:00:00Z Desde os primórdios da humanidade a raça humana busca compreender. A ciência, como instrumento de descobrimento do universo, vem alcançando contínuos sucessos. As descobertas científicas permitiram ao Homem criar um modelo bastante estável e previsível para a realidade na qual está inserido. Em grande parte, o sucesso da ciência basea-se na estratégia de fragmentação do conhecimento, ou seja, na criação de diversas áreas de especialização. A fragmentação é uma solução natural para resolver problemas complexos. No entanto, na medida em que a ciência estimula a fragmentação como abordagem para compreensão do universo, estimula também a visão fragmentária como paradigma (modelo, padrão, visão) do universo. Nos últimos anos, vários cientistas têm pesquisado essa realidade. Como principal argumento, afirmam que a fragmentação é um ótimo paradigma para, inicialmente, dominar a complexidade de um universo. No entanto, na medida em que os fragmentos se especializam, parece indispensável a sua unificação para dar continuidade a evolução do conhecimento. O crescente interesse científico pelo paradigma holístico demonstra a importância dessa abordagem para a evolução do conhecimento humano. Na Ciência da Computação o paradigma fragmentação/especialização vem sendo bastante utilizado para a solução de problemas. Atualmente, o desenvolvimento de sistemas computacionais destaca a fragmentação como instrumento de domínio da complexidade. A máxima "dividir para conquistar" pode ser encontrada em diversos textos da Engenharia de Software. Além disso, a aplicação do paradigma fragmentação/especialização na área de linguagens de programação vem estimulando a criação de diversos Paradigmas de Desenvolvimento de sistemas (por exemplo, desenvolvimento em lógica, imperativo/procedimental, funcional, orientado a objetos, orientado a agentes) e, em especial, a criação de uma quantidade enorme de linguagens. Esta ploriferação de paradigmas e linguagens fez com que a comunidade científica utiliza-se o termo Torre de Babel (como exemplo, veja a capa da revista Computer Languages) para descrever a situação atual. Nos últimos anos os cientistas da computação, em ressonância com o restante da comunidade científica, vêm buscando soluções permeadas pela visão holística. No universo de múltiplas linguagens e paradigmas surge a proposta Multiparadigma. Os pesquisadores do tema multiparadigma propõem a criação de modelos de desenvolvimento que unifiquem paradigmas já existentes. Durante essa tarefa, tentam explorar ao máximo as características consideradas benéficas em cada paradigma. O universo multiparadigma é uma área de pesquisa recente. Sendo assim, não foi criada ainda uma taxonomia para classificação dos modelos multiparadigma. A criação de uma taxonomia para os membros de um universo depende do estudo de suas características. Durante esse estudo, nomalmente surgem semelhanças que podem ser utilizadas para organização dos membros em grupos. Com base em estudos de caso e considerando os objetivos almejados pelos pesquisadores, o artigo propõe uma taxonomia para o universo multiparadigma e prevê os próximos passos da pesquisa nessa área.