Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488326671> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1488326671 endingPage "521" @default.
- W1488326671 startingPage "515" @default.
- W1488326671 abstract "We present an implementation of the general language of stable models proposed by Ferraris, Lee and Lifschitz. Under certain conditions, system f2lp turns a first-order theory under the stable model semantics into an answer set program, so that existing answer set solvers can be used for computing the general language. Quantifiers are first eliminated and then the resulting quantifier-free formulas are turned into rules. Based on the relationship between stable models and circumscription, f2lp can also serve as a reasoning engine for general circumscriptive theories. We illustrate how to use f2lp to compute the circumscriptive event calculus." @default.
- W1488326671 created "2016-06-24" @default.
- W1488326671 creator A5017332670 @default.
- W1488326671 creator A5066997493 @default.
- W1488326671 date "2009-01-01" @default.
- W1488326671 modified "2023-09-27" @default.
- W1488326671 title "System f2lp – Computing Answer Sets of First-Order Formulas" @default.
- W1488326671 cites W1506656387 @default.
- W1488326671 cites W1582030611 @default.
- W1488326671 cites W2094734546 @default.
- W1488326671 cites W2134039900 @default.
- W1488326671 doi "https://doi.org/10.1007/978-3-642-04238-6_51" @default.
- W1488326671 hasPublicationYear "2009" @default.
- W1488326671 type Work @default.
- W1488326671 sameAs 1488326671 @default.
- W1488326671 citedByCount "32" @default.
- W1488326671 countsByYear W14883266712012 @default.
- W1488326671 countsByYear W14883266712013 @default.
- W1488326671 countsByYear W14883266712014 @default.
- W1488326671 countsByYear W14883266712015 @default.
- W1488326671 countsByYear W14883266712016 @default.
- W1488326671 countsByYear W14883266712017 @default.
- W1488326671 countsByYear W14883266712019 @default.
- W1488326671 countsByYear W14883266712021 @default.
- W1488326671 countsByYear W14883266712022 @default.
- W1488326671 countsByYear W14883266712023 @default.
- W1488326671 crossrefType "book-chapter" @default.
- W1488326671 hasAuthorship W1488326671A5017332670 @default.
- W1488326671 hasAuthorship W1488326671A5066997493 @default.
- W1488326671 hasConcept C10138342 @default.
- W1488326671 hasConcept C127001435 @default.
- W1488326671 hasConcept C136119220 @default.
- W1488326671 hasConcept C154945302 @default.
- W1488326671 hasConcept C156325763 @default.
- W1488326671 hasConcept C162324750 @default.
- W1488326671 hasConcept C177264268 @default.
- W1488326671 hasConcept C182306322 @default.
- W1488326671 hasConcept C182620335 @default.
- W1488326671 hasConcept C184337299 @default.
- W1488326671 hasConcept C199343813 @default.
- W1488326671 hasConcept C199360897 @default.
- W1488326671 hasConcept C202444582 @default.
- W1488326671 hasConcept C2777686260 @default.
- W1488326671 hasConcept C2778523021 @default.
- W1488326671 hasConcept C28826006 @default.
- W1488326671 hasConcept C2987642246 @default.
- W1488326671 hasConcept C32278780 @default.
- W1488326671 hasConcept C33923547 @default.
- W1488326671 hasConcept C41008148 @default.
- W1488326671 hasConcept C62360110 @default.
- W1488326671 hasConcept C71924100 @default.
- W1488326671 hasConcept C80444323 @default.
- W1488326671 hasConceptScore W1488326671C10138342 @default.
- W1488326671 hasConceptScore W1488326671C127001435 @default.
- W1488326671 hasConceptScore W1488326671C136119220 @default.
- W1488326671 hasConceptScore W1488326671C154945302 @default.
- W1488326671 hasConceptScore W1488326671C156325763 @default.
- W1488326671 hasConceptScore W1488326671C162324750 @default.
- W1488326671 hasConceptScore W1488326671C177264268 @default.
- W1488326671 hasConceptScore W1488326671C182306322 @default.
- W1488326671 hasConceptScore W1488326671C182620335 @default.
- W1488326671 hasConceptScore W1488326671C184337299 @default.
- W1488326671 hasConceptScore W1488326671C199343813 @default.
- W1488326671 hasConceptScore W1488326671C199360897 @default.
- W1488326671 hasConceptScore W1488326671C202444582 @default.
- W1488326671 hasConceptScore W1488326671C2777686260 @default.
- W1488326671 hasConceptScore W1488326671C2778523021 @default.
- W1488326671 hasConceptScore W1488326671C28826006 @default.
- W1488326671 hasConceptScore W1488326671C2987642246 @default.
- W1488326671 hasConceptScore W1488326671C32278780 @default.
- W1488326671 hasConceptScore W1488326671C33923547 @default.
- W1488326671 hasConceptScore W1488326671C41008148 @default.
- W1488326671 hasConceptScore W1488326671C62360110 @default.
- W1488326671 hasConceptScore W1488326671C71924100 @default.
- W1488326671 hasConceptScore W1488326671C80444323 @default.
- W1488326671 hasLocation W14883266711 @default.
- W1488326671 hasOpenAccess W1488326671 @default.
- W1488326671 hasPrimaryLocation W14883266711 @default.
- W1488326671 hasRelatedWork W1485855639 @default.
- W1488326671 hasRelatedWork W1488326671 @default.
- W1488326671 hasRelatedWork W1511110679 @default.
- W1488326671 hasRelatedWork W1617965269 @default.
- W1488326671 hasRelatedWork W2176973685 @default.
- W1488326671 hasRelatedWork W2256886837 @default.
- W1488326671 hasRelatedWork W2294041648 @default.
- W1488326671 hasRelatedWork W3157980852 @default.
- W1488326671 hasRelatedWork W36639351 @default.
- W1488326671 hasRelatedWork W2610968078 @default.
- W1488326671 isParatext "false" @default.
- W1488326671 isRetracted "false" @default.
- W1488326671 magId "1488326671" @default.
- W1488326671 workType "book-chapter" @default.