Resultados de la búsqueda

'''OWL''' es el [[acrónimo]] del [[idioma inglés|inglés]] '''Web Ontology Language''', un [[lenguaje de marcado]] para publicar y compartir …y otros componentes, estas herramientas hacen posible el proyecto de [[web semántica]]. …

…emántica denotacional|semántica]] [[Semántica operacional|operativa]] y la semántica algebraica se pueden combinar en un marco unificado para la [[especificació …tación Prentice Hall]] en 1998 y ahora está disponible gratuitamente en la web.<ref>{{Cita libro|apellidos=Hoare|nombre=C. A. R.|apellidos2=Jifeng|nombre2 …

…nguaje]] [[programación imperativa|imperativo]]).<ref name="EWD472">{{cita web | apellido=Dijkstra | nombre=Edsger W | enlaceautor=Edsger Dijkstra | url=h === [[Semántica]] === …

…iempo que otros (porque existe un ''conflicto'' entre eventos).<ref>{{cita web|título=Event Structure Semantics For CCS and Related …os''' <math>(E,\leq,\#)</math> consiste en<ref name="tandfonline_1">{{cita web|título=Formal semantics for interactive music scores: a framework to design …

…mbargo en este trabajo la exposición se limita a la presentación puramente semántica de algunas de tales lógicas. …e publicada en 1920 por [[Jan Łukasiewicz|Jan Lukasiewicz]]. En su versión semántica los conectivos fundamentales son: negador(¬), conjunción (^) , disyunción… …

…iones de conceptos usadas para describir un dominio y, por otro lado, a la semántica que establece una equivalencia entre las fórmulas de lógicas de descripción …ón ([[redes semánticas]] y frames), estas lógicas están dotadas con una [[semántica formal]] basada en lógica y tienen características muy importantes como son …

…imer orden|lógica]] de [[Lógica de primer orden|primer orden]].<ref>{{Cita web|url=http://www.lsv.fr/~gastin/Verif/DiekertGastin-FO-07.pdf|título=First-or …lo=Archived copy|fechaacceso=2011-05-17|urlarchivo=https://web.archive.org/web/20101204043002/http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid …

…que tratan la semántica de estos pronombres como similar o derivada de la semántica de descripciones definidas . La segunda familia principal de propuestas se …efinidas, hasta el punto de argumentar que los pronombres burros tienen la semántica, e incluso la sintaxis, de descripciones definidas. Enfoques de este últim …

La '''indexación semántica latente''' ('''ISL''') es un método de indexación y recuperación que utiliz *Guillermo de Jorge Botana. Introducción al análisis de la semántica latente y detalles para la ciencia cognitiva. [[Editorial Garceta]], 2022. …

…ó experimentalmente que la representación del conocimiento en forma de Red Semántica mantiene una relación directa con la operación y funcionamiento de la memor …ciones.[[Archivo:red semantica clasica.png|miniaturadeimagen|Figura 1. Red Semántica Clásica]] …

…usura (informática)|clausura]] con respecto a su ámbito léxico.<ref>{{cita web | url=https://design.raku.org/S05.html | título=Synopsis 5: Regexes and Rul …0 | fechaarchivo=22 de agosto de 2021 | urlarchivo=https://web.archive.org/web/20210822004436/https://raku.org/archive/doc/design/apo/A05.html | deadurl=y …

== Semántica y lógica == …s a la red Internet. El dominio es el que se usa para identificar un sitio web y cada uno es único y no necesita de otro para ser identificado. …

…onctionelle|issn=0075-966X|volumen=33|número=2|año=1997}}</ref><ref>{{Cita web|url=https://dialnet.unirioja.es/servlet/articulo?codigo=2802601|título=Monè …ipo de unidades menores como los [[fonema]]s (que no tienen interpretación semántica pero sí interpretación y realización fonética). …

…rmal que se utilice para un lenguaje en particular. En el contexto de la [[semántica denotacional]], seguridad de tipos significa que el valor de una expresión …enfoque, la seguridad de tipos está determinada por dos propiedades de la semántica del lenguaje de programación: …

…a]] difíciles (principalmente [[NP-hard]]). Se basa en la semántica del [[ Semántica modelo estable |modelo estable]] (conjunto de respuestas) de la [[programac …cionadores del conjunto de respuestas, incluyendo [https://web.archive.org/web/20110717180541/http://assat.cs.ust.hk/ Assat], [http://www.cs.uni-potsdam.d …

…as, lógica con funciones no estrictas o parcialmente estrictas, lógica con semántica de Kripke, lógica de ficción, lógica de Meinong, entre otras.{{Cita requeri …rchive.org/web/20070401050722/http://www.flogik.com/professional.htm Sitio web de Karel Lambert] …

…memory | idioma=inglés | fechaacceso=9 de mayo de 2011}}</ref> La memoria semántica y la [[memoria episódica]] conforman la categoría de [[memoria declarativa] La memoria semántica incluye a todos aquellos conocimientos generales que no implican el recuerd …

…e 2024|fechaarchivo=17 de abril de 2021|urlarchivo=https://web.archive.org/web/20210417060728/http://crr.ugent.be/programs-data/subtitle-frequencies|deadu …) proporciona únicamente datos sin procesar. <ref name="SUBTLEX-IT">{{Cita web|url=https://osf.io/zg7sc/|título=SUBTLEX-IT|autor=Amenta|nombre=Simona|fech …

…ue la lógica proposicional sea [[Completitud (lógica)|completa]] y con una semántica muy sencilla. …oof of Implications | obra= CS381 Discrete Structures/Discrete Mathematics Web Course Material | fecha = 2 de agosto de 2009 | fechaacceso =10 de marzo de …

…es ''posible'' o ''necesariamente verdadero''. A menudo se combina con la semántica de los mundos posibles, que sostiene que una [[proposición]] es posiblement …el que se pasa de las premisas a una conclusión.<ref name="McKeon">{{cite web |last1=McKeon |first1=Matthew |title=Logical Consequence |url=https://iep.u …