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