Matches in SemOpenAlex for { <https://semopenalex.org/work/W1537588892> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1537588892 startingPage "25" @default.
- W1537588892 abstract "We present the semantic foundations for computing the least fix-point semantics of definite logic programs using only standard operations over boolean functions. More precisely, we propose a representation of sets of first-order terms by boolean functions and a provably sound formulation of intersection, union, and projection (an operation similar to restriction in relational databases) using conjunction, disjunction, and existential quantification. We report on a prototype implementation of a logic solver using Binary Decision Diagrams (BDDs) to represent boolean functions and compute the above-mentioned three operations. This work paves the way for efficient solvers for particular classes of logic programs e.g., static program analyses, which leverage BDD technologies to factorise similarities in the solution space." @default.
- W1537588892 created "2016-06-24" @default.
- W1537588892 creator A5035021429 @default.
- W1537588892 creator A5054819541 @default.
- W1537588892 creator A5059700675 @default.
- W1537588892 date "2009-01-01" @default.
- W1537588892 modified "2023-09-23" @default.
- W1537588892 title "Computing the Least Fix-point Semantics of Definite Logic Programs Using BDDs" @default.
- W1537588892 cites W1538230433 @default.
- W1537588892 cites W1558383061 @default.
- W1537588892 cites W1560857865 @default.
- W1537588892 cites W1564330433 @default.
- W1537588892 cites W1570025952 @default.
- W1537588892 cites W1593799327 @default.
- W1537588892 cites W160847359 @default.
- W1537588892 cites W172519447 @default.
- W1537588892 cites W1998915208 @default.
- W1537588892 cites W2061438988 @default.
- W1537588892 cites W2080267935 @default.
- W1537588892 cites W2082000355 @default.
- W1537588892 cites W2091843160 @default.
- W1537588892 cites W2139914570 @default.
- W1537588892 cites W2158600037 @default.
- W1537588892 cites W2611708922 @default.
- W1537588892 cites W30202435 @default.
- W1537588892 hasPublicationYear "2009" @default.
- W1537588892 type Work @default.
- W1537588892 sameAs 1537588892 @default.
- W1537588892 citedByCount "0" @default.
- W1537588892 crossrefType "journal-article" @default.
- W1537588892 hasAuthorship W1537588892A5035021429 @default.
- W1537588892 hasAuthorship W1537588892A5054819541 @default.
- W1537588892 hasAuthorship W1537588892A5059700675 @default.
- W1537588892 hasConcept C11413529 @default.
- W1537588892 hasConcept C127413603 @default.
- W1537588892 hasConcept C146978453 @default.
- W1537588892 hasConcept C153083717 @default.
- W1537588892 hasConcept C154945302 @default.
- W1537588892 hasConcept C158465420 @default.
- W1537588892 hasConcept C187455244 @default.
- W1537588892 hasConcept C199360897 @default.
- W1537588892 hasConcept C3309909 @default.
- W1537588892 hasConcept C41008148 @default.
- W1537588892 hasConcept C64543145 @default.
- W1537588892 hasConcept C80444323 @default.
- W1537588892 hasConceptScore W1537588892C11413529 @default.
- W1537588892 hasConceptScore W1537588892C127413603 @default.
- W1537588892 hasConceptScore W1537588892C146978453 @default.
- W1537588892 hasConceptScore W1537588892C153083717 @default.
- W1537588892 hasConceptScore W1537588892C154945302 @default.
- W1537588892 hasConceptScore W1537588892C158465420 @default.
- W1537588892 hasConceptScore W1537588892C187455244 @default.
- W1537588892 hasConceptScore W1537588892C199360897 @default.
- W1537588892 hasConceptScore W1537588892C3309909 @default.
- W1537588892 hasConceptScore W1537588892C41008148 @default.
- W1537588892 hasConceptScore W1537588892C64543145 @default.
- W1537588892 hasConceptScore W1537588892C80444323 @default.
- W1537588892 hasOpenAccess W1537588892 @default.
- W1537588892 hasRelatedWork W1530930707 @default.
- W1537588892 hasRelatedWork W1533089153 @default.
- W1537588892 hasRelatedWork W1550914617 @default.
- W1537588892 hasRelatedWork W1558074807 @default.
- W1537588892 hasRelatedWork W1793480568 @default.
- W1537588892 hasRelatedWork W188472913 @default.
- W1537588892 hasRelatedWork W2041221011 @default.
- W1537588892 hasRelatedWork W2078460927 @default.
- W1537588892 hasRelatedWork W2109731020 @default.
- W1537588892 hasRelatedWork W2110737535 @default.
- W1537588892 hasRelatedWork W2116523693 @default.
- W1537588892 hasRelatedWork W2123927567 @default.
- W1537588892 hasRelatedWork W2133491672 @default.
- W1537588892 hasRelatedWork W2135067409 @default.
- W1537588892 hasRelatedWork W2149888493 @default.
- W1537588892 hasRelatedWork W2167435507 @default.
- W1537588892 hasRelatedWork W2505627961 @default.
- W1537588892 hasRelatedWork W2713902783 @default.
- W1537588892 hasRelatedWork W3095638317 @default.
- W1537588892 hasRelatedWork W2289908220 @default.
- W1537588892 isParatext "false" @default.
- W1537588892 isRetracted "false" @default.
- W1537588892 magId "1537588892" @default.
- W1537588892 workType "article" @default.