Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554533203> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1554533203 endingPage "442" @default.
- W1554533203 startingPage "437" @default.
- W1554533203 abstract "This paper shows how to generate an English step-bystep explanation that describes how an automated reasoning system solves a complex constraint program. We study programs that solve tabular-constraint problems encoded in Constraint Lingo and then translated into propositional logic with cardinality constraints. We instrument the logic solver so that it generates log files. We inspect those logs and express reasoning steps in English by using grammatical information placed in the Constraint Lingo program." @default.
- W1554533203 created "2016-06-24" @default.
- W1554533203 creator A5026272914 @default.
- W1554533203 creator A5035899329 @default.
- W1554533203 creator A5048411051 @default.
- W1554533203 creator A5079794036 @default.
- W1554533203 date "2004-01-01" @default.
- W1554533203 modified "2023-09-23" @default.
- W1554533203 title "Automatic Generation of English-language Steps in Puzzle Solving." @default.
- W1554533203 cites W1557519292 @default.
- W1554533203 cites W1577827016 @default.
- W1554533203 cites W1582092760 @default.
- W1554533203 cites W1857345107 @default.
- W1554533203 cites W2048746006 @default.
- W1554533203 cites W2110293626 @default.
- W1554533203 cites W2152888616 @default.
- W1554533203 cites W73864267 @default.
- W1554533203 cites W147959326 @default.
- W1554533203 cites W2152754327 @default.
- W1554533203 cites W57206305 @default.
- W1554533203 hasPublicationYear "2004" @default.
- W1554533203 type Work @default.
- W1554533203 sameAs 1554533203 @default.
- W1554533203 citedByCount "2" @default.
- W1554533203 countsByYear W15545332032016 @default.
- W1554533203 crossrefType "proceedings-article" @default.
- W1554533203 hasAuthorship W1554533203A5026272914 @default.
- W1554533203 hasAuthorship W1554533203A5035899329 @default.
- W1554533203 hasAuthorship W1554533203A5048411051 @default.
- W1554533203 hasAuthorship W1554533203A5079794036 @default.
- W1554533203 hasConcept C126255220 @default.
- W1554533203 hasConcept C137631369 @default.
- W1554533203 hasConcept C154945302 @default.
- W1554533203 hasConcept C173404611 @default.
- W1554533203 hasConcept C176783269 @default.
- W1554533203 hasConcept C195344581 @default.
- W1554533203 hasConcept C199360897 @default.
- W1554533203 hasConcept C199622910 @default.
- W1554533203 hasConcept C2524010 @default.
- W1554533203 hasConcept C2776036281 @default.
- W1554533203 hasConcept C2778770139 @default.
- W1554533203 hasConcept C33923547 @default.
- W1554533203 hasConcept C41008148 @default.
- W1554533203 hasConcept C44616089 @default.
- W1554533203 hasConcept C49937458 @default.
- W1554533203 hasConcept C69562738 @default.
- W1554533203 hasConcept C77088390 @default.
- W1554533203 hasConcept C80444323 @default.
- W1554533203 hasConcept C87117476 @default.
- W1554533203 hasConceptScore W1554533203C126255220 @default.
- W1554533203 hasConceptScore W1554533203C137631369 @default.
- W1554533203 hasConceptScore W1554533203C154945302 @default.
- W1554533203 hasConceptScore W1554533203C173404611 @default.
- W1554533203 hasConceptScore W1554533203C176783269 @default.
- W1554533203 hasConceptScore W1554533203C195344581 @default.
- W1554533203 hasConceptScore W1554533203C199360897 @default.
- W1554533203 hasConceptScore W1554533203C199622910 @default.
- W1554533203 hasConceptScore W1554533203C2524010 @default.
- W1554533203 hasConceptScore W1554533203C2776036281 @default.
- W1554533203 hasConceptScore W1554533203C2778770139 @default.
- W1554533203 hasConceptScore W1554533203C33923547 @default.
- W1554533203 hasConceptScore W1554533203C41008148 @default.
- W1554533203 hasConceptScore W1554533203C44616089 @default.
- W1554533203 hasConceptScore W1554533203C49937458 @default.
- W1554533203 hasConceptScore W1554533203C69562738 @default.
- W1554533203 hasConceptScore W1554533203C77088390 @default.
- W1554533203 hasConceptScore W1554533203C80444323 @default.
- W1554533203 hasConceptScore W1554533203C87117476 @default.
- W1554533203 hasLocation W15545332031 @default.
- W1554533203 hasOpenAccess W1554533203 @default.
- W1554533203 hasPrimaryLocation W15545332031 @default.
- W1554533203 hasRelatedWork W104530630 @default.
- W1554533203 hasRelatedWork W1521790644 @default.
- W1554533203 hasRelatedWork W1592627739 @default.
- W1554533203 hasRelatedWork W17446876 @default.
- W1554533203 hasRelatedWork W186065345 @default.
- W1554533203 hasRelatedWork W1888514244 @default.
- W1554533203 hasRelatedWork W1973470183 @default.
- W1554533203 hasRelatedWork W2110482400 @default.
- W1554533203 hasRelatedWork W2296381500 @default.
- W1554533203 hasRelatedWork W2496301892 @default.
- W1554533203 hasRelatedWork W2699188596 @default.
- W1554533203 hasRelatedWork W2974613685 @default.
- W1554533203 hasRelatedWork W3087174910 @default.
- W1554533203 hasRelatedWork W3100949895 @default.
- W1554533203 hasRelatedWork W3199428098 @default.
- W1554533203 hasRelatedWork W3209994340 @default.
- W1554533203 hasRelatedWork W337439197 @default.
- W1554533203 hasRelatedWork W844262157 @default.
- W1554533203 hasRelatedWork W2874458365 @default.
- W1554533203 hasRelatedWork W2975384922 @default.
- W1554533203 isParatext "false" @default.
- W1554533203 isRetracted "false" @default.
- W1554533203 magId "1554533203" @default.
- W1554533203 workType "article" @default.