Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)- 14:14 12 feb 2020 (dif | hist) . . (+2100) . . N Completación de redes metabólicas (código e instancia) (Página creada con «<source lang = "prolog"> %% LÓGICA COMPUTACIONAL Y TEORÍA DE MODELOS %% TRABAJO REDES METABÓLICAS %% Jesús Camacho Moro %% Mª Estefanía Espinar García %% Problem…») (edición actual)
- 14:14 12 feb 2020 (dif | hist) . . (+12) . . Aplicaciones y casos de estudio (19-20) (edición actual)
- 14:13 12 feb 2020 (dif | hist) . . (+10) . . Aplicaciones y casos de estudio (19-20)
- 14:12 12 feb 2020 (dif | hist) . . (+514) . . N Instancia (Página creada con «<source lang = "prolog"> % Ejemplo del texto vertice(1..8). arco(1,2). arco(2,3). arco(3,8). arco(4,1). arco(4,2). arco(5,2). arco(5,3). arco(5,7). arco(6,4). arco(6,5).…») (edición actual)
- 14:11 12 feb 2020 (dif | hist) . . (+3238) . . N Reparación de redes metabólicas (código) (Página creada con «<source lang = "prolog"> % Red Regulatoria Genética % Tenemos una serie de genes y sus interacciones representado por un grafo de influencia G=(N,E,s) dónde los vértices…») (edición actual)
- 14:11 12 feb 2020 (dif | hist) . . (+178) . . Aplicaciones y casos de estudio (19-20)
- 22:26 9 feb 2020 (dif | hist) . . (+2112) . . N Nuricabe (Alina Kasiuk y Xinyi Wu) (Página creada con «<source lang = "prolog"> % according to the known conditions numbered(1,1,1). numbered(1,5,1). numbered(1,7,6). numbered(2,3,2). numbered(3,2,1). numbered(3,5,2). numbered(…») (edición actual)
- 22:25 9 feb 2020 (dif | hist) . . (+3392) . . N Heyawake (Alina Kasiuk y Xinyi Wu) (Página creada con «<source lang = "prolog"> #const n = 10. #const m = 10. #const r = 18. % File: heyawake.lp col(1..m). row(1..n). num(0..r-1). segment(h;v). room_size(N,X1,Y1,X2,Y2) :- room…») (edición actual)
- 22:24 9 feb 2020 (dif | hist) . . (+29) . . Aplicaciones y casos de estudio (19-20)
- 22:24 9 feb 2020 (dif | hist) . . (+2676) . . N Masyu (Jan Wasilewski) (Página creada con «<source lang = "prolog"> %white(1,3). %white(2,3). %white(4,1). %white(5,3). %black(4,2). white(1,3). black(1,6). black(3,1). black(3,4). white(3,5). black(3,8). white(3,1…») (edición actual)
- 22:22 9 feb 2020 (dif | hist) . . (+167) . . Aplicaciones y casos de estudio (19-20)
- 22:20 9 feb 2020 (dif | hist) . . (+8) . . Aplicaciones y casos de estudio (19-20)
- 22:18 9 feb 2020 (dif | hist) . . (0) . . Aplicaciones y casos de estudio (19-20)
- 22:17 9 feb 2020 (dif | hist) . . (+69) . . Grid puzzles (edición actual)
- 22:15 9 feb 2020 (dif | hist) . . (+165) . . N Grid puzzles (Página creada con «En estas aplicaciones se estudian tres ejemplos de cómo usar ASP para resolver rompecabezas de cuadrícula (grid puzzles) * Masyu * Nuricabe * Heyawake»)
- 22:13 9 feb 2020 (dif | hist) . . (+250) . . Aplicaciones y casos de estudio (19-20)
- 10:02 3 feb 2020 (dif | hist) . . (+95) . . Aplicaciones y casos de estudio (19-20)
- 09:57 3 feb 2020 (dif | hist) . . (-3100) . . Ejemplo 1 (edición actual)
- 09:57 3 feb 2020 (dif | hist) . . (-210) . . Ejemplo 2 (edición actual)
- 09:56 3 feb 2020 (dif | hist) . . (+3063) . . Ejemplo 1
- 09:55 3 feb 2020 (dif | hist) . . (+31) . . Aplicaciones y casos de estudio (19-20)
- 10:59 20 ene 2020 (dif | hist) . . (+2785) . . N Ejercicio P2 (Página creada con «<source lang = "prolog"> % Ejercicio de planificación: los siguientes predicados describen un % "mundo" que representa la acciones de un camión que transporta % paquete…») (edición actual)
- 10:59 20 ene 2020 (dif | hist) . . (0) . . m Planificación: transporte (Protegió «Planificación: transporte» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 10:59 20 ene 2020 (dif | hist) . . (+2786) . . N Planificación: transporte (Página creada con «<source lang = "prolog"> % Ejercicio de planificación: los siguientes predicados describen un % "mundo" que representa la acciones de un camión que transporta % paquete…»)
- 10:58 20 ene 2020 (dif | hist) . . (-20) . . Ejercicios (19-20) (edición actual)
- 10:57 20 ene 2020 (dif | hist) . . (+20) . . Ejercicios (19-20)
- 10:53 20 ene 2020 (dif | hist) . . (+1985) . . N Ejercicio P1 (Página creada con «<source lang = "prolog"> %% Ejercicio de planificación: los siguientes predicados describen un %% "mundo" que representa la acciones de una persona que compra %% aliment…»)
- 10:49 20 ene 2020 (dif | hist) . . (0) . . m Planificación: compra (Protegió «Planificación: compra» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 10:49 20 ene 2020 (dif | hist) . . (+1985) . . N Planificación: compra (Página creada con «<source lang ="prolog"> %% Ejercicio de planificación: los siguientes predicados describen un %% "mundo" que representa la acciones de una persona que compra %% alimento…»)
- 10:48 20 ene 2020 (dif | hist) . . (+214) . . Ejercicios (19-20)
- 10:45 20 ene 2020 (dif | hist) . . (-44) . . Lógica computacional y teoría de modelos (2019-20) (edición actual)
- 10:44 20 ene 2020 (dif | hist) . . (+43) . . Lógica computacional y teoría de modelos (2019-20)
- 13:37 7 ene 2020 (dif | hist) . . (-44) . . Lógica computacional y teoría de modelos (2019-20)
- 13:36 7 ene 2020 (dif | hist) . . (+45) . . Lógica computacional y teoría de modelos (2019-20)
- 13:35 7 ene 2020 (dif | hist) . . (-52) . . Lógica computacional y teoría de modelos (2019-20)
- 13:35 7 ene 2020 (dif | hist) . . (+51) . . Lógica computacional y teoría de modelos (2019-20)
- 14:41 4 ene 2020 (dif | hist) . . (-92) . . Lógica computacional y teoría de modelos (2019-20)
- 14:38 4 ene 2020 (dif | hist) . . (+92) . . Lógica computacional y teoría de modelos (2019-20)
- 12:12 18 dic 2019 (dif | hist) . . (-52) . . Lógica computacional y teoría de modelos (2019-20)
- 12:11 18 dic 2019 (dif | hist) . . (+1) . . Ejercicios evaluables 3 (edición actual)
- 12:10 18 dic 2019 (dif | hist) . . (+69) . . Ejercicios evaluables (19-20) (edición actual)
- 12:10 18 dic 2019 (dif | hist) . . (+53) . . Lógica computacional y teoría de modelos (2019-20)
- 12:23 10 dic 2019 (dif | hist) . . (-53) . . Lógica computacional y teoría de modelos (2019-20)
- 12:22 10 dic 2019 (dif | hist) . . (+53) . . Lógica computacional y teoría de modelos (2019-20)
- 12:22 10 dic 2019 (dif | hist) . . (+1) . . Ejercicios evaluables 2 (edición actual)
- 12:20 10 dic 2019 (dif | hist) . . (-52) . . Lógica computacional y teoría de modelos (2019-20)
- 12:20 10 dic 2019 (dif | hist) . . (+69) . . Ejercicios evaluables (19-20)
- 12:19 10 dic 2019 (dif | hist) . . (+51) . . Lógica computacional y teoría de modelos (2019-20)
- 10:55 18 nov 2019 (dif | hist) . . (0) . . Ejercicios evaluables 1 (edición actual)
- 20:43 17 nov 2019 (dif | hist) . . (+2) . . Ejercicios evaluables 1
- 20:39 17 nov 2019 (dif | hist) . . (-52) . . Lógica computacional y teoría de modelos (2019-20)
- 20:39 17 nov 2019 (dif | hist) . . (+70) . . Ejercicios evaluables (19-20)
- 20:37 17 nov 2019 (dif | hist) . . (+53) . . Lógica computacional y teoría de modelos (2019-20)
- 20:59 10 nov 2019 (dif | hist) . . (+68) . . Relación 1
- 20:25 29 oct 2019 (dif | hist) . . (-83) . . Ejercicios (19-20)
- 20:25 29 oct 2019 (dif | hist) . . (+81) . . Ejercicios (19-20)
- 20:24 29 oct 2019 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:24 29 oct 2019 (dif | hist) . . (-3230) . . Relación 1
- 20:21 29 oct 2019 (dif | hist) . . (+2536) . . N R1 (Página creada con «<source lang = "prolog"> % Ejercicio 1. Calcular los conjuntos de respuesta del siguiente % programa P y responder a las consultas siguientes: ¿p?, ¿q? p, q, r. ¬p :-…»)
- 20:21 29 oct 2019 (dif | hist) . . (0) . . Ejercicios (19-20)
- 20:20 29 oct 2019 (dif | hist) . . (+21) . . Ejercicios (19-20)
- 20:16 29 oct 2019 (dif | hist) . . (+65) . . Ejercicios (19-20)
- 20:12 29 oct 2019 (dif | hist) . . (-4) . . Lógica computacional y teoría de modelos (2019-20)
- 20:11 29 oct 2019 (dif | hist) . . (-2) . . Lógica computacional y teoría de modelos (2019-20)
- 20:10 29 oct 2019 (dif | hist) . . (+2) . . Lógica computacional y teoría de modelos (2019-20)
- 20:10 29 oct 2019 (dif | hist) . . (+4) . . Lógica computacional y teoría de modelos (2019-20)
- 18:26 24 oct 2019 (dif | hist) . . (-190) . . Lógica computacional y teoría de modelos (2019-20)
- 18:25 24 oct 2019 (dif | hist) . . (+146) . . Lógica computacional y teoría de modelos (2019-20)
- 18:22 24 oct 2019 (dif | hist) . . (+44) . . Lógica computacional y teoría de modelos (2019-20)
- 17:16 17 oct 2019 (dif | hist) . . (-44) . . Lógica computacional y teoría de modelos (2019-20)
- 17:15 17 oct 2019 (dif | hist) . . (+10) . . Ejercicios (edición actual)
- 17:14 17 oct 2019 (dif | hist) . . (+44) . . Lógica computacional y teoría de modelos (2019-20)
- 17:13 17 oct 2019 (dif | hist) . . (0) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 17:13 17 oct 2019 (dif | hist) . . (0) . . Sistemas (→Sistemas utilizados en Lógica computacional y teoría de modelos (2018-19))
- 17:12 17 oct 2019 (dif | hist) . . (+2) . . Lógica computacional y teoría de modelos (2019-20)
- 17:11 17 oct 2019 (dif | hist) . . (+111) . . N Aplicaciones y casos de estudio (19-20) (Página creada con «En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura.»)
- 17:11 17 oct 2019 (dif | hist) . . (+109) . . N Ejercicios evaluables (19-20) (Página creada con «En esta sección se publicarán las relaciones de ejercicios que constituyen la evaluación de la asignatura.»)
- 17:11 17 oct 2019 (dif | hist) . . (+164) . . N Ejercicios (19-20) (Página creada con «En esta sección se publicarán las relaciones de ejercicios que se escribirán de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.»)
- 17:10 17 oct 2019 (dif | hist) . . (+2) . . Lógica computacional y teoría de modelos (2019-20)
- 17:10 17 oct 2019 (dif | hist) . . (-43) . . Lógica computacional y teoría de modelos (2019-20)
- 17:09 17 oct 2019 (dif | hist) . . (+49) . . Lógica computacional y teoría de modelos (2019-20)
- 17:07 17 oct 2019 (dif | hist) . . (+215) . . Lógica computacional y teoría de modelos (2019-20) (→Material para el curso)
- 11:55 18 feb 2019 (dif | hist) . . (+1174) . . N Completación de redes metabólicas 2I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Problema de completación de…») (edición actual)
- 11:55 18 feb 2019 (dif | hist) . . (+837) . . N Completación de redes metabólicas 1I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Problema de completación de…») (edición actual)
- 11:54 18 feb 2019 (dif | hist) . . (+2804) . . N Completación de redes metabólicas (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Problema 6: Completación de re…») (edición actual)
- 11:53 18 feb 2019 (dif | hist) . . (+1140) . . N Reparación de redes metabólicas 1I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Problema de reparación de re…») (edición actual)
- 11:53 18 feb 2019 (dif | hist) . . (+2664) . . N Reparación de redes metabólicas (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Problema 5: Reparación de rede…») (edición actual)
- 11:49 18 feb 2019 (dif | hist) . . (+422) . . Aplicaciones a bioinformática (edición actual)
- 11:46 18 feb 2019 (dif | hist) . . (+570) . . Estructura secundaria del ARN 3I (edición actual)
- 11:45 18 feb 2019 (dif | hist) . . (+570) . . Estructura secundaria del ARN 2I (edición actual)
- 11:45 18 feb 2019 (dif | hist) . . (+367) . . Estructura secundaria del ARN 1I (edición actual)
- 11:44 18 feb 2019 (dif | hist) . . (+2523) . . Estructura secundaria del ARN (edición actual)
- 11:43 18 feb 2019 (dif | hist) . . (+2051) . . Interferencia de haplotipos 2I (edición actual)
- 11:43 18 feb 2019 (dif | hist) . . (+434) . . Interferencia de haplotipos 1I (edición actual)
- 11:42 18 feb 2019 (dif | hist) . . (+2044) . . Interferencia de haplotipos (edición actual)
- 11:42 18 feb 2019 (dif | hist) . . (+566) . . Reconstrucción filogenética 2I (edición actual)
- 11:41 18 feb 2019 (dif | hist) . . (+1860) . . Reconstrucción filogenética 1I (edición actual)
- 11:41 18 feb 2019 (dif | hist) . . (+3413) . . Reconstrucción filogenética (edición actual)
- 11:40 18 feb 2019 (dif | hist) . . (+35) . . N Estructura secundaria del ARN 3I (Página creada con «<source lang = "prolog"> </source>»)
- 11:40 18 feb 2019 (dif | hist) . . (+35) . . N Estructura secundaria del ARN 2I (Página creada con «<source lang = "prolog"> </source>»)
- 11:40 18 feb 2019 (dif | hist) . . (+35) . . N Estructura secundaria del ARN 1I (Página creada con «<source lang = "prolog"> </source>»)
- 11:40 18 feb 2019 (dif | hist) . . (+35) . . N Estructura secundaria del ARN (Página creada con «<source lang = "prolog"> </source>»)
- 11:40 18 feb 2019 (dif | hist) . . (+35) . . N Interferencia de haplotipos 2I (Página creada con «<source lang = "prolog"> </source>»)
- 11:39 18 feb 2019 (dif | hist) . . (+35) . . N Interferencia de haplotipos 1I (Página creada con «<source lang = "prolog"> </source>»)
- 11:39 18 feb 2019 (dif | hist) . . (+35) . . N Interferencia de haplotipos (Página creada con «<source lang = "prolog"> </source>»)
- 11:39 18 feb 2019 (dif | hist) . . (+35) . . N Reconstrucción filogenética 2I (Página creada con «<source lang = "prolog"> </source>»)
- 11:39 18 feb 2019 (dif | hist) . . (+35) . . N Reconstrucción filogenética 1I (Página creada con «<source lang = "prolog"> </source>»)
- 11:39 18 feb 2019 (dif | hist) . . (+35) . . N Reconstrucción filogenética (Página creada con «<source lang = "prolog"> </source>»)
- 11:38 18 feb 2019 (dif | hist) . . (+498) . . Aplicaciones a bioinformática
- 11:34 18 feb 2019 (dif | hist) . . (+226) . . Aplicaciones a bioinformática
- 11:32 18 feb 2019 (dif | hist) . . (+366) . . N Predicción de la estructura de proteínas 4I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Predicción de estructura de pr…») (edición actual)
- 11:32 18 feb 2019 (dif | hist) . . (+416) . . N Predicción de la estructura de proteínas 3I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Predicción de estructura de pr…») (edición actual)
- 11:31 18 feb 2019 (dif | hist) . . (+397) . . N Predicción de la estructura de proteínas 2I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Predicción de estructura de pr…») (edición actual)
- 11:29 18 feb 2019 (dif | hist) . . (+149) . . Aplicaciones a bioinformática
- 11:29 18 feb 2019 (dif | hist) . . (0) . . Predicción de la estructura de proteínas 1I (edición actual)
- 11:28 18 feb 2019 (dif | hist) . . (+445) . . N Predicción de la estructura de proteínas 1I (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Predicción de estructura de pr…»)
- 11:27 18 feb 2019 (dif | hist) . . (+3) . . Predicción de la estructura de proteínas (edición actual)
- 11:26 18 feb 2019 (dif | hist) . . (+2760) . . N Predicción de la estructura de proteínas (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Problema 4: Predicción de estr…»)
- 11:24 18 feb 2019 (dif | hist) . . (+275) . . N Aplicaciones a bioinformática (Página creada con «* ''Predicción de la estructura de proteínas'' ** Programa *** Instancias: **** Predicción de la estructura de prote…»)
- 11:22 18 feb 2019 (dif | hist) . . (+213) . . N Bag puzzle 2I (Página creada con «<source lang = "prolog"> %% instrancia pequeña mochila. #const n=5. #const m=5. numero(5,0,1). numero(9,0,2). numero(5,1,4). numero(4,2,0). numero(3,2,4). numero(2,3,0).…») (edición actual)
- 11:22 18 feb 2019 (dif | hist) . . (+360) . . N Bag puzzle 1I (Página creada con «<source lang = "prolog"> % Instancia mochila b. #const n=10. #const m=10. numero(4,9,0). numero(2,0,1). numero(3,1,1). numero(5,3,1). numero(4,9,8). numero(2,5,1). nume…») (edición actual)
- 11:21 18 feb 2019 (dif | hist) . . (+2854) . . N Bag puzzle (Página creada con «<source lang = "prolog"> %% Bag puzzle. %% Juego que consiste en hacer un camino que rodee todos los números del tablero %% siguiendo unas reglas: %% R1: El camino tiene…») (edición actual)
- 11:20 18 feb 2019 (dif | hist) . . (+375) . . N Masyu 2I (Página creada con «<source lang = "prolog"> %% Instancia 2. #const n=10. #const m=10. blanco(3,10). blanco(5,10). blanco(5,9). negro(9,9). negro(3,8). negro(5,8). blanco(7,8). blanco(4,7).…») (edición actual)
- 11:19 18 feb 2019 (dif | hist) . . (+193) . . N Masyu 1I (Página creada con «<source lang = "prolog"> %% Instancia 1. #const n=6. #const m=6. blanco(1,5). blanco(2,5). blanco(4,5). blanco(5,5). blanco(6,5). blanco(2,3). blanco(5,3). negro(1,1). n…») (edición actual)
- 11:18 18 feb 2019 (dif | hist) . . (+2726) . . N Masyu (Página creada con «<source lang = "prolog"> %% Masyu. %% Es un juego donde, en una cuadrícula con ciertos círculos negros y blancos, %% tenemos que hacer un camino que pase por todos los c…») (edición actual)
- 11:17 18 feb 2019 (dif | hist) . . (+933) . . N Heyawake 1I (Página creada con «<source lang = "prolog"> %% _ _ _ _ _ _ _ _ _ _ %% | ! | ! ! | ! ! |0! | %% |_!_|_!_!_|_!_!_|_!_| %% | ! |5! ! |_!_!_|1! | %% | ! | ! ! |0! ! | ! | %% |_!_|_!_!_|_!_!_|_!_…») (edición actual)
- 11:17 18 feb 2019 (dif | hist) . . (-3) . . Heyawake (edición actual)
- 11:16 18 feb 2019 (dif | hist) . . (+3016) . . N Heyawake (Página creada con «<source lang = "prolog"> %% Heyawake %% Es un juego que consiste en, teniendo una cuadricula con unos ciertos números y habitaciones, pintar %% ciertas celdas de negro se…»)
- 11:15 18 feb 2019 (dif | hist) . . (+254) . . N Nurikabe 2I (Página creada con «<source lang = "prolog"> %% | |3| | | |1| | %% | | | | | | | | %% |2| | |1| | | | %% | | | | | | | | %% | |1| | |2| | | %% | | |2| | | | | %% |1| | | |1| |6| #const c=5. #…») (edición actual)
- 11:15 18 feb 2019 (dif | hist) . . (+343) . . N Nurikabe 1I (Página creada con «<source lang = "prolog> %% | |3| | | |1| | %% | | | | | | | | %% |2| | |1| | | | %% | | | | | | | | %% | |1| | |2| | | %% | | |2| | | | | %% |1| | | |1| |6| #const c=7. #c…») (edición actual)
- 11:14 18 feb 2019 (dif | hist) . . (+20) . . Puzzles de tableros (edición actual)
- 11:13 18 feb 2019 (dif | hist) . . (0) . . Nurikabe (edición actual)
- 11:12 18 feb 2019 (dif | hist) . . (+2847) . . N Nurikabe (Página creada con «<source lang = "prolog"> %% Nurikabe. %% Es un juego que consiste en, dado una cuadrícula en blanco con unos ciertos números, %% pintar algunas de las celdas de negro en…»)
- 11:11 18 feb 2019 (dif | hist) . . (+279) . . Puzzles de tableros
- 11:09 18 feb 2019 (dif | hist) . . (0) . . Puzzles de tableros
- 11:08 18 feb 2019 (dif | hist) . . (+2) . . Puzzles de tableros
- 11:08 18 feb 2019 (dif | hist) . . (+9) . . Puzzles de tableros
- 11:07 18 feb 2019 (dif | hist) . . (+59) . . Puzzles de tableros
- 11:06 18 feb 2019 (dif | hist) . . (-2) . . Puzzles de tableros
- 11:06 18 feb 2019 (dif | hist) . . (+88) . . Puzzles de tableros
- 15:54 12 feb 2019 (dif | hist) . . (+4208) . . N Ejemplo 2 (Página creada con «<source lang = "prolog"> % Nuestro objetivo será diseñar un nivel de juego en el que el jugador % empieza en la casilla de arriba y a la izda del tablero, encuentra una %…»)
- 15:53 12 feb 2019 (dif | hist) . . (+936) . . N Ejemplo 1 (Página creada con «<source lang = "prolog"> % Definimos las dimensiones del tablero #const anchura = 5. dim(1..anchura). % Para cada casilla distinta a (1,1) le asignamos un solo movimiento:…»)
- 15:52 12 feb 2019 (dif | hist) . . (+142) . . N Laberintos (Página creada con «En estas aplicaciones se estudian dos ejemplos de cómo usar ASP para generar diferentes tipos de laberintos. * Ejemplo 1 * Ejemplo 2») (edición actual)
- 12:40 5 feb 2019 (dif | hist) . . (+58) . . N Puzzles de tableros (Página creada con «* Nurikabe * Heyawake * Masyu * Bag puzzle»)
- 12:27 5 feb 2019 (dif | hist) . . (+424) . . N Aplicaciones y casos de estudio (Página creada con «En esta sección se publican loas aplicaciones y casos de estudio presentadas por los alumnos en la asignatura. * Puzzles de tableros: Resolución de puzzles de tabler…»)
- 12:16 5 feb 2019 (dif | hist) . . (+21) . . Lógica computacional y teoría de modelos (2018-19) (edición actual)
- 12:16 5 feb 2019 (dif | hist) . . (+72) . . Lógica computacional y teoría de modelos (2018-19)
- 12:40 15 ene 2019 (dif | hist) . . (0) . . Relación 3 (1) (edición actual)
- 12:39 15 ene 2019 (dif | hist) . . (-798) . . Relación 3 (1)
- 12:37 15 ene 2019 (dif | hist) . . (+2784) . . N Relación 3 (2) (Página creada con «<source lang = "prolog"> % Ejercicio de planificación: los siguientes predicados describen un % "mundo" que representa la acciones de un camión que transporta % paquetes…»)
- 12:37 15 ene 2019 (dif | hist) . . (+138) . . Ejercicios
- 12:32 15 ene 2019 (dif | hist) . . (0) . . Ejercicios
- 12:31 15 ene 2019 (dif | hist) . . (+2784) . . N Relación 3 (1) (Página creada con «<source lang = "prolog"> % Ejercicio de planificación: los siguientes predicados describen un % "mundo" que representa la acciones de un camión que transporta % paquetes…»)
- 12:29 15 ene 2019 (dif | hist) . . (+164) . . Ejercicios
- 12:45 8 ene 2019 (dif | hist) . . (-24) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 12:45 8 ene 2019 (dif | hist) . . (+166) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 12:04 18 dic 2018 (dif | hist) . . (+143) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 10:46 10 dic 2018 (dif | hist) . . (+1054) . . N Ejercicios evaluables 3 (Página creada con «La tercera relación de ejercicios evaluables consiste en la realización de los ejercicios siguientes, mediante "Answer Set programming", usando el sistama clingo. Se envi…»)
- 10:38 10 dic 2018 (dif | hist) . . (+69) . . Ejercicios evaluables (edición actual)
- 09:58 10 dic 2018 (dif | hist) . . (+2) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 09:57 10 dic 2018 (dif | hist) . . (+141) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 13:54 4 dic 2018 (dif | hist) . . (+219) . . Ejercicios evaluables 2
- 13:53 4 dic 2018 (dif | hist) . . (+1) . . Ejercicios evaluables 2
- 13:52 4 dic 2018 (dif | hist) . . (+419) . . N Ejercicios evaluables 2 (Página creada con «La segunda relación de ejercicios evaluables consiste en la realización de los ejercicios siguientes, mediante "Answer Set programming", usando el sistama clingo. Se envi…»)
- 13:49 4 dic 2018 (dif | hist) . . (+69) . . Ejercicios evaluables
- 14:40 19 nov 2018 (dif | hist) . . (+398) . . Ejercicios evaluables 1
- 14:36 19 nov 2018 (dif | hist) . . (+687) . . N Ejercicios evaluables 1 (Página creada con «La primera relación de ejercicios evaluables consiste en la realización de los ejercicios siguientes, mediante "Answer Set programming", usando el sistama clingo. Se envi…»)
- 14:35 19 nov 2018 (dif | hist) . . (+36) . . Ejercicios evaluables
- 14:34 19 nov 2018 (dif | hist) . . (+1) . . Ejercicios evaluables
- 14:34 19 nov 2018 (dif | hist) . . (+33) . . Ejercicios evaluables
- 11:09 19 nov 2018 (dif | hist) . . (-9) . . Ejercicios
- 11:08 19 nov 2018 (dif | hist) . . (-9) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 14:38 15 nov 2018 (dif | hist) . . (+9) . . Ejercicios
- 14:37 15 nov 2018 (dif | hist) . . (+740) . . Ejercicios
- 14:24 15 nov 2018 (dif | hist) . . (+1166) . . N Relación 2 (2) (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% > Enunciado…») (edición actual)
- 14:23 15 nov 2018 (dif | hist) . . (+902) . . N Relación 2 (1) (Página creada con «<source lang = "prolog"> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% > Enunciado…») (edición actual)
- 14:22 15 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 14:22 15 nov 2018 (dif | hist) . . (+332) . . Ejercicios
- 14:17 15 nov 2018 (dif | hist) . . (+9) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 14:16 15 nov 2018 (dif | hist) . . (+118) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 13:03 2 nov 2018 (dif | hist) . . (+462) . . Relación 1
- 13:01 2 nov 2018 (dif | hist) . . (-314) . . Relación 1
- 12:57 2 nov 2018 (dif | hist) . . (-13) . . Relación 1
- 12:56 2 nov 2018 (dif | hist) . . (-26) . . Relación 1
- 12:53 2 nov 2018 (dif | hist) . . (+37) . . Relación 1
- 12:51 2 nov 2018 (dif | hist) . . (+2393) . . N Relación 1 (Página creada con «=== Relación 1 === ---- '''Ejercicio 1.''' Calcular los conjuntos de respuesta del siguiente programa P y responder a las consultas siguientes: ¿p?, ¿q? p, q, r. ¬p :…»)
- 12:46 2 nov 2018 (dif | hist) . . (+67) . . Ejercicios
- 12:40 2 nov 2018 (dif | hist) . . (+84) . . Ejercicios
- 11:57 15 oct 2018 (dif | hist) . . (+12) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 11:57 15 oct 2018 (dif | hist) . . (+424) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 11:53 15 oct 2018 (dif | hist) . . (-6) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 11:53 15 oct 2018 (dif | hist) . . (+9) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 11:52 15 oct 2018 (dif | hist) . . (-4) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 11:48 15 oct 2018 (dif | hist) . . (+8) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 11:47 15 oct 2018 (dif | hist) . . (+136) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 19:07 14 oct 2018 (dif | hist) . . (-1) . . Documentación (edición actual)
- 19:07 14 oct 2018 (dif | hist) . . (+13) . . Documentación
- 19:02 14 oct 2018 (dif | hist) . . (+1) . . Documentación
- 19:01 14 oct 2018 (dif | hist) . . (+2442) . . Documentación
- 18:55 14 oct 2018 (dif | hist) . . (+746) . . N Documentación (Página creada con «* Libros y artículos: ** [http://goo.gl/DkpGg Knowledge representation, reasoning, and the design of intelligent agents (M. Gelfond & Y. Kahl.)] ** [https://works.bepres…»)
- 18:46 14 oct 2018 (dif | hist) . . (-2) . . Sistemas (→Sistemas utilizados en Lógica computacional y teoría de modelos (2018-19))
- 18:45 14 oct 2018 (dif | hist) . . (+149) . . Sistemas (→Sistemas utilizados en Lógica computacional y teoría de modelos (2018-19))
- 18:40 14 oct 2018 (dif | hist) . . (-2) . . Sistemas (→Sistemas utilizados en Lógica computacional y teoría de modelos (2018-19))
- 18:40 14 oct 2018 (dif | hist) . . (-2) . . Sistemas (→Sistemas utilizados en Lógica computacional y teoría de modelos (2018-19))
- 18:39 14 oct 2018 (dif | hist) . . (-467) . . Sistemas (→Sistemas utilizados en Lógica computacional y teoría de modelos (2018-19))
- 18:38 14 oct 2018 (dif | hist) . . (+1304) . . N Sistemas (Página creada con «== Sistemas utilizados en ''Lógica computacional y teoría de modelos (2018-19)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso *…»)
- 18:31 14 oct 2018 (dif | hist) . . (+109) . . N Ejercicios evaluables (Página creada con «En esta sección se publicarán las relaciones de ejercicios que constituyen la evaluación de la asignatura.»)
- 18:31 14 oct 2018 (dif | hist) . . (+164) . . N Ejercicios (Página creada con «En esta sección se publicarán las relaciones de ejercicios que se escribirán de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.»)
- 18:28 14 oct 2018 (dif | hist) . . (-480) . . Temas (→Temas de Lógica computacional y teoría de modelos(2018-19))
- 18:26 14 oct 2018 (dif | hist) . . (+1019) . . N Temas (Página creada con «== Temas de ''Lógica computacional y teoría de modelos(2018-19)'' == En esta página se irán publicando los temas de la asignatura. * /home/mjoseh/ownCloud/actual/cu…»)
- 18:21 14 oct 2018 (dif | hist) . . (+373) . . Lógica computacional y teoría de modelos (2018-19)