Matches in SemOpenAlex for { <https://semopenalex.org/work/W2186175828> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2186175828 abstract "In this paper, we present a function eval- uation based automated (resolution) theorem prov- ing (ATP) methodology, called FE-resolution, for the sets of conditional observer and controller logics re- ferred to by the acronym (COCOLOG) see (CWgO). The unique model property of COCOLOG is pre- sented first and then we give the complete axiomati- zation and decidability properties of COCOLOG the- ories. The completeness of the FE-resolution method is proven and complexity reduction via this technique is discussed. Finally FE-resolution ATP is illustrated via a seven state machine example." @default.
- W2186175828 created "2016-06-24" @default.
- W2186175828 creator A5044187847 @default.
- W2186175828 creator A5057524603 @default.
- W2186175828 date "1992-01-01" @default.
- W2186175828 modified "2023-09-27" @default.
- W2186175828 title "for COCOLOG with Examples" @default.
- W2186175828 cites W1509685104 @default.
- W2186175828 cites W1530765221 @default.
- W2186175828 cites W1546311093 @default.
- W2186175828 cites W1579379232 @default.
- W2186175828 cites W2067259733 @default.
- W2186175828 cites W2069767473 @default.
- W2186175828 cites W2096494394 @default.
- W2186175828 hasPublicationYear "1992" @default.
- W2186175828 type Work @default.
- W2186175828 sameAs 2186175828 @default.
- W2186175828 citedByCount "0" @default.
- W2186175828 crossrefType "journal-article" @default.
- W2186175828 hasAuthorship W2186175828A5044187847 @default.
- W2186175828 hasAuthorship W2186175828A5057524603 @default.
- W2186175828 hasConcept C111472728 @default.
- W2186175828 hasConcept C11413529 @default.
- W2186175828 hasConcept C134306372 @default.
- W2186175828 hasConcept C138268822 @default.
- W2186175828 hasConcept C138885662 @default.
- W2186175828 hasConcept C153269930 @default.
- W2186175828 hasConcept C154945302 @default.
- W2186175828 hasConcept C17231256 @default.
- W2186175828 hasConcept C189950617 @default.
- W2186175828 hasConcept C199343813 @default.
- W2186175828 hasConcept C2777686260 @default.
- W2186175828 hasConcept C33923547 @default.
- W2186175828 hasConcept C41008148 @default.
- W2186175828 hasConcept C41895202 @default.
- W2186175828 hasConcept C482391 @default.
- W2186175828 hasConcept C71924100 @default.
- W2186175828 hasConceptScore W2186175828C111472728 @default.
- W2186175828 hasConceptScore W2186175828C11413529 @default.
- W2186175828 hasConceptScore W2186175828C134306372 @default.
- W2186175828 hasConceptScore W2186175828C138268822 @default.
- W2186175828 hasConceptScore W2186175828C138885662 @default.
- W2186175828 hasConceptScore W2186175828C153269930 @default.
- W2186175828 hasConceptScore W2186175828C154945302 @default.
- W2186175828 hasConceptScore W2186175828C17231256 @default.
- W2186175828 hasConceptScore W2186175828C189950617 @default.
- W2186175828 hasConceptScore W2186175828C199343813 @default.
- W2186175828 hasConceptScore W2186175828C2777686260 @default.
- W2186175828 hasConceptScore W2186175828C33923547 @default.
- W2186175828 hasConceptScore W2186175828C41008148 @default.
- W2186175828 hasConceptScore W2186175828C41895202 @default.
- W2186175828 hasConceptScore W2186175828C482391 @default.
- W2186175828 hasConceptScore W2186175828C71924100 @default.
- W2186175828 hasLocation W21861758281 @default.
- W2186175828 hasOpenAccess W2186175828 @default.
- W2186175828 hasPrimaryLocation W21861758281 @default.
- W2186175828 hasRelatedWork W2395222526 @default.
- W2186175828 hasRelatedWork W2399637032 @default.
- W2186175828 hasRelatedWork W2493206149 @default.
- W2186175828 isParatext "false" @default.
- W2186175828 isRetracted "false" @default.
- W2186175828 magId "2186175828" @default.
- W2186175828 workType "article" @default.