Matches in SemOpenAlex for { <https://semopenalex.org/work/W1836692749> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1836692749 abstract "The shift to semantic symmetries is motivated by the fact that, in contrast with syntactic symmetries, these are preserved under standard inference rules such as resolution. It is then possible to attach groups of semantic symmetries to sets of ground clauses. These groups can provide information useful to inference, as illustrated by three “symmetric” rules. These rules are to be applied in well-defined, disjoint cases, they simplify both the set of clauses and the attached group, they use standard and efficient techniques from computational group theory, and therefore they can be easily mechanised. A prototype GAP implementation is described, and an example developed. Finally, some complexity results concerning the computation of semantic symmetries are given." @default.
- W1836692749 created "2016-06-24" @default.
- W1836692749 creator A5036533236 @default.
- W1836692749 date "1996-01-01" @default.
- W1836692749 modified "2023-10-09" @default.
- W1836692749 title "Ground resolution with group computations on semantic symmetries" @default.
- W1836692749 cites W1536783297 @default.
- W1836692749 cites W1566679152 @default.
- W1836692749 cites W1999522767 @default.
- W1836692749 cites W2018700726 @default.
- W1836692749 cites W2037593836 @default.
- W1836692749 cites W2148139859 @default.
- W1836692749 cites W56998983 @default.
- W1836692749 doi "https://doi.org/10.1007/3-540-61511-3_108" @default.
- W1836692749 hasPublicationYear "1996" @default.
- W1836692749 type Work @default.
- W1836692749 sameAs 1836692749 @default.
- W1836692749 citedByCount "0" @default.
- W1836692749 crossrefType "book-chapter" @default.
- W1836692749 hasAuthorship W1836692749A5036533236 @default.
- W1836692749 hasConcept C11413529 @default.
- W1836692749 hasConcept C118615104 @default.
- W1836692749 hasConcept C138268822 @default.
- W1836692749 hasConcept C154945302 @default.
- W1836692749 hasConcept C177264268 @default.
- W1836692749 hasConcept C178790620 @default.
- W1836692749 hasConcept C185592680 @default.
- W1836692749 hasConcept C199360897 @default.
- W1836692749 hasConcept C2524010 @default.
- W1836692749 hasConcept C2776214188 @default.
- W1836692749 hasConcept C2781311116 @default.
- W1836692749 hasConcept C33923547 @default.
- W1836692749 hasConcept C41008148 @default.
- W1836692749 hasConcept C45340560 @default.
- W1836692749 hasConcept C45374587 @default.
- W1836692749 hasConcept C80444323 @default.
- W1836692749 hasConcept C96469262 @default.
- W1836692749 hasConceptScore W1836692749C11413529 @default.
- W1836692749 hasConceptScore W1836692749C118615104 @default.
- W1836692749 hasConceptScore W1836692749C138268822 @default.
- W1836692749 hasConceptScore W1836692749C154945302 @default.
- W1836692749 hasConceptScore W1836692749C177264268 @default.
- W1836692749 hasConceptScore W1836692749C178790620 @default.
- W1836692749 hasConceptScore W1836692749C185592680 @default.
- W1836692749 hasConceptScore W1836692749C199360897 @default.
- W1836692749 hasConceptScore W1836692749C2524010 @default.
- W1836692749 hasConceptScore W1836692749C2776214188 @default.
- W1836692749 hasConceptScore W1836692749C2781311116 @default.
- W1836692749 hasConceptScore W1836692749C33923547 @default.
- W1836692749 hasConceptScore W1836692749C41008148 @default.
- W1836692749 hasConceptScore W1836692749C45340560 @default.
- W1836692749 hasConceptScore W1836692749C45374587 @default.
- W1836692749 hasConceptScore W1836692749C80444323 @default.
- W1836692749 hasConceptScore W1836692749C96469262 @default.
- W1836692749 hasLocation W18366927491 @default.
- W1836692749 hasOpenAccess W1836692749 @default.
- W1836692749 hasPrimaryLocation W18366927491 @default.
- W1836692749 hasRelatedWork W111435178 @default.
- W1836692749 hasRelatedWork W1506460945 @default.
- W1836692749 hasRelatedWork W1517736112 @default.
- W1836692749 hasRelatedWork W1531724428 @default.
- W1836692749 hasRelatedWork W1803582651 @default.
- W1836692749 hasRelatedWork W1835790624 @default.
- W1836692749 hasRelatedWork W1887055412 @default.
- W1836692749 hasRelatedWork W2023342223 @default.
- W1836692749 hasRelatedWork W2104289907 @default.
- W1836692749 hasRelatedWork W2151097580 @default.
- W1836692749 hasRelatedWork W2200038788 @default.
- W1836692749 hasRelatedWork W2400310231 @default.
- W1836692749 hasRelatedWork W2407990470 @default.
- W1836692749 hasRelatedWork W2495951634 @default.
- W1836692749 hasRelatedWork W2949741382 @default.
- W1836692749 hasRelatedWork W2951371941 @default.
- W1836692749 hasRelatedWork W2951901290 @default.
- W1836692749 hasRelatedWork W3129060090 @default.
- W1836692749 hasRelatedWork W84077869 @default.
- W1836692749 hasRelatedWork W2147518469 @default.
- W1836692749 isParatext "false" @default.
- W1836692749 isRetracted "false" @default.
- W1836692749 magId "1836692749" @default.
- W1836692749 workType "book-chapter" @default.