Matches in SemOpenAlex for { <https://semopenalex.org/work/W1595268082> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W1595268082 abstract "En los ultimos anos el estudio de la teoŕia de cambio de creencias dentro del marco AGM, ha motivado la necesidad de desarrollar modelos de la teoŕia de contraccion que abarquen los casos de contraccion simultanea para conjuntos de sentencias y no solamente para una unica sentencia. Por ello, en este paper se presentan algunos modelos que resultan ser generalizaciones de funciones de contraccion AGM, pero considerando el caso de las contracciones de un conjunto de sentencias, especialmente bajo el fragmento Horn de la logica proposicional. Ademas, se considero que las definiciones de los distintos modelos de contraccion Horn obtenidas basadas en las contracciones multiples, resulten tan plausible como una contraccion AGM. Tambien, se demuestra que las contracciones Horn obtenidas satisfacen este criterio establecido, como aśi tambien se proporcionan las pruebas que identifican los postulados que la caracterizan." @default.
- W1595268082 created "2016-06-24" @default.
- W1595268082 creator A5028916487 @default.
- W1595268082 creator A5081695713 @default.
- W1595268082 date "2013-10-01" @default.
- W1595268082 modified "2023-09-25" @default.
- W1595268082 title "Dinámica de conocimiento: Contracción múltiple en lenguajes Horn" @default.
- W1595268082 cites W147223905 @default.
- W1595268082 cites W1496005349 @default.
- W1595268082 cites W1538338774 @default.
- W1595268082 cites W1542417898 @default.
- W1595268082 cites W1569666190 @default.
- W1595268082 cites W1593008996 @default.
- W1595268082 cites W1834999050 @default.
- W1595268082 cites W1939688226 @default.
- W1595268082 cites W1972689493 @default.
- W1595268082 cites W2030151461 @default.
- W1595268082 cites W2100225987 @default.
- W1595268082 cites W2129275996 @default.
- W1595268082 cites W2149420462 @default.
- W1595268082 cites W2155595100 @default.
- W1595268082 cites W2166645709 @default.
- W1595268082 cites W2912182247 @default.
- W1595268082 cites W643054118 @default.
- W1595268082 hasPublicationYear "2013" @default.
- W1595268082 type Work @default.
- W1595268082 sameAs 1595268082 @default.
- W1595268082 citedByCount "2" @default.
- W1595268082 countsByYear W15952680822014 @default.
- W1595268082 countsByYear W15952680822016 @default.
- W1595268082 crossrefType "journal-article" @default.
- W1595268082 hasAuthorship W1595268082A5028916487 @default.
- W1595268082 hasAuthorship W1595268082A5081695713 @default.
- W1595268082 hasConcept C138885662 @default.
- W1595268082 hasConcept C152076505 @default.
- W1595268082 hasConcept C15708023 @default.
- W1595268082 hasConcept C15744967 @default.
- W1595268082 hasConcept C17744445 @default.
- W1595268082 hasConcept C19417346 @default.
- W1595268082 hasConceptScore W1595268082C138885662 @default.
- W1595268082 hasConceptScore W1595268082C152076505 @default.
- W1595268082 hasConceptScore W1595268082C15708023 @default.
- W1595268082 hasConceptScore W1595268082C15744967 @default.
- W1595268082 hasConceptScore W1595268082C17744445 @default.
- W1595268082 hasConceptScore W1595268082C19417346 @default.
- W1595268082 hasLocation W15952680821 @default.
- W1595268082 hasOpenAccess W1595268082 @default.
- W1595268082 hasPrimaryLocation W15952680821 @default.
- W1595268082 isParatext "false" @default.
- W1595268082 isRetracted "false" @default.
- W1595268082 magId "1595268082" @default.
- W1595268082 workType "article" @default.