Matches in SemOpenAlex for { <https://semopenalex.org/work/W1642340034> ?p ?o ?g. }
- W1642340034 endingPage "388" @default.
- W1642340034 startingPage "363" @default.
- W1642340034 abstract "In this paper we propose a general-purpose first-order automated reasoning framework based on the notion of a definite formula and on a non-clausal variant of SLD-resolution. This framework provides a universal Horn clause-like representation of knowledge for classical as well as a range of non-classical first-order logics. It provides a resolution-style method for automated reasoning with theories of definite formulas." @default.
- W1642340034 created "2016-06-24" @default.
- W1642340034 creator A5074550143 @default.
- W1642340034 date "2001-12-01" @default.
- W1642340034 modified "2023-09-26" @default.
- W1642340034 title "Non-Clausal Reasoning with Definite Theories" @default.
- W1642340034 cites W1569757069 @default.
- W1642340034 cites W1578088218 @default.
- W1642340034 cites W1594285439 @default.
- W1642340034 cites W1755498710 @default.
- W1642340034 cites W1992499560 @default.
- W1642340034 cites W1999997889 @default.
- W1642340034 cites W2003116861 @default.
- W1642340034 cites W2015274895 @default.
- W1642340034 cites W2053547980 @default.
- W1642340034 cites W2079384024 @default.
- W1642340034 cites W2088350978 @default.
- W1642340034 cites W2100738443 @default.
- W1642340034 cites W2128344648 @default.
- W1642340034 cites W2144484693 @default.
- W1642340034 cites W2915030386 @default.
- W1642340034 cites W31561947 @default.
- W1642340034 cites W61450922 @default.
- W1642340034 cites W634414395 @default.
- W1642340034 cites W637989598 @default.
- W1642340034 cites W1972410746 @default.
- W1642340034 hasPublicationYear "2001" @default.
- W1642340034 type Work @default.
- W1642340034 sameAs 1642340034 @default.
- W1642340034 citedByCount "3" @default.
- W1642340034 countsByYear W16423400342018 @default.
- W1642340034 countsByYear W16423400342021 @default.
- W1642340034 crossrefType "journal-article" @default.
- W1642340034 hasAuthorship W1642340034A5074550143 @default.
- W1642340034 hasConcept C100481476 @default.
- W1642340034 hasConcept C11413529 @default.
- W1642340034 hasConcept C118615104 @default.
- W1642340034 hasConcept C136119220 @default.
- W1642340034 hasConcept C138268822 @default.
- W1642340034 hasConcept C154945302 @default.
- W1642340034 hasConcept C159985019 @default.
- W1642340034 hasConcept C161301231 @default.
- W1642340034 hasConcept C17744445 @default.
- W1642340034 hasConcept C189790780 @default.
- W1642340034 hasConcept C192562407 @default.
- W1642340034 hasConcept C195344581 @default.
- W1642340034 hasConcept C199343813 @default.
- W1642340034 hasConcept C199539241 @default.
- W1642340034 hasConcept C202444582 @default.
- W1642340034 hasConcept C204323151 @default.
- W1642340034 hasConcept C2776359362 @default.
- W1642340034 hasConcept C2777686260 @default.
- W1642340034 hasConcept C33923547 @default.
- W1642340034 hasConcept C41008148 @default.
- W1642340034 hasConcept C71924100 @default.
- W1642340034 hasConcept C81721847 @default.
- W1642340034 hasConcept C89288958 @default.
- W1642340034 hasConcept C94625758 @default.
- W1642340034 hasConceptScore W1642340034C100481476 @default.
- W1642340034 hasConceptScore W1642340034C11413529 @default.
- W1642340034 hasConceptScore W1642340034C118615104 @default.
- W1642340034 hasConceptScore W1642340034C136119220 @default.
- W1642340034 hasConceptScore W1642340034C138268822 @default.
- W1642340034 hasConceptScore W1642340034C154945302 @default.
- W1642340034 hasConceptScore W1642340034C159985019 @default.
- W1642340034 hasConceptScore W1642340034C161301231 @default.
- W1642340034 hasConceptScore W1642340034C17744445 @default.
- W1642340034 hasConceptScore W1642340034C189790780 @default.
- W1642340034 hasConceptScore W1642340034C192562407 @default.
- W1642340034 hasConceptScore W1642340034C195344581 @default.
- W1642340034 hasConceptScore W1642340034C199343813 @default.
- W1642340034 hasConceptScore W1642340034C199539241 @default.
- W1642340034 hasConceptScore W1642340034C202444582 @default.
- W1642340034 hasConceptScore W1642340034C204323151 @default.
- W1642340034 hasConceptScore W1642340034C2776359362 @default.
- W1642340034 hasConceptScore W1642340034C2777686260 @default.
- W1642340034 hasConceptScore W1642340034C33923547 @default.
- W1642340034 hasConceptScore W1642340034C41008148 @default.
- W1642340034 hasConceptScore W1642340034C71924100 @default.
- W1642340034 hasConceptScore W1642340034C81721847 @default.
- W1642340034 hasConceptScore W1642340034C89288958 @default.
- W1642340034 hasConceptScore W1642340034C94625758 @default.
- W1642340034 hasIssue "4" @default.
- W1642340034 hasLocation W16423400341 @default.
- W1642340034 hasOpenAccess W1642340034 @default.
- W1642340034 hasPrimaryLocation W16423400341 @default.
- W1642340034 hasRelatedWork W1491160267 @default.
- W1642340034 hasRelatedWork W1527320174 @default.
- W1642340034 hasRelatedWork W1557143830 @default.
- W1642340034 hasRelatedWork W1598109806 @default.
- W1642340034 hasRelatedWork W1967356671 @default.
- W1642340034 hasRelatedWork W1984806351 @default.
- W1642340034 hasRelatedWork W1985483701 @default.
- W1642340034 hasRelatedWork W2013423079 @default.
- W1642340034 hasRelatedWork W201470198 @default.
- W1642340034 hasRelatedWork W2017956822 @default.
- W1642340034 hasRelatedWork W2057877077 @default.
- W1642340034 hasRelatedWork W2065153879 @default.