Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585001716> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- W1585001716 abstract "En este trabajo se estudia la semantica de conjuntos de respuestas para programas logicos extendidos [5,4, 3J, bajo la interpretacion de sistemas de razonamiento no monotono tri valuados. Esto permite establecer una relacion entre esta semantica con variantes trivaluadas de la logica autoepistemica y la circunscripcion, fundamentando la introduccion de nuevos patrones de razonamiento dentro de la semantica de programas logicos. Luego en base a esta equivalencia se presenta una caracterizacion de la semantica de modelos bien fundados como conjuntos de respuE'.-Stas, en oposicion a la definiciones originales [15, 13J fundamentadas en puntos fijos de operadores definidos ad-hoc." @default.
- W1585001716 created "2016-06-24" @default.
- W1585001716 creator A5019186384 @default.
- W1585001716 creator A5066226229 @default.
- W1585001716 date "1995-10-01" @default.
- W1585001716 modified "2023-09-27" @default.
- W1585001716 title "Interpretación de la semántica de conjuntos de respuestas como teorías no monótonas trivaluadas" @default.
- W1585001716 cites W1511711492 @default.
- W1585001716 cites W1672891595 @default.
- W1585001716 cites W1756530980 @default.
- W1585001716 cites W1966552757 @default.
- W1585001716 cites W1995303925 @default.
- W1585001716 cites W2024430355 @default.
- W1585001716 cites W2076024411 @default.
- W1585001716 cites W2076698873 @default.
- W1585001716 cites W65854772 @default.
- W1585001716 hasPublicationYear "1995" @default.
- W1585001716 type Work @default.
- W1585001716 sameAs 1585001716 @default.
- W1585001716 citedByCount "0" @default.
- W1585001716 crossrefType "journal-article" @default.
- W1585001716 hasAuthorship W1585001716A5019186384 @default.
- W1585001716 hasAuthorship W1585001716A5066226229 @default.
- W1585001716 hasConcept C138885662 @default.
- W1585001716 hasConcept C15708023 @default.
- W1585001716 hasConcept C41008148 @default.
- W1585001716 hasConceptScore W1585001716C138885662 @default.
- W1585001716 hasConceptScore W1585001716C15708023 @default.
- W1585001716 hasConceptScore W1585001716C41008148 @default.
- W1585001716 hasLocation W15850017161 @default.
- W1585001716 hasOpenAccess W1585001716 @default.
- W1585001716 hasPrimaryLocation W15850017161 @default.
- W1585001716 isParatext "false" @default.
- W1585001716 isRetracted "false" @default.
- W1585001716 magId "1585001716" @default.
- W1585001716 workType "article" @default.