Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 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)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).