Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489311111> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1489311111 endingPage "108" @default.
- W1489311111 startingPage "102" @default.
- W1489311111 abstract "In this paper, we present a programmable method of revising a finite clause set. We first present a procedure whose formal parameters are a consistent clause set Γ and a clause A and whose output is a set of minimal subsets of Γ which are inconsistent with A. The maximal consistent subsets can be generated from all minimal inconsistent subsets. We develop a prototype system based on the above procedure, and discuss the implementation of knowledge base maintenance. At last, we compare the approach presented in this paper with other related approaches. The main characteristic of the approach is that it can be implemented by a computer program." @default.
- W1489311111 created "2016-06-24" @default.
- W1489311111 creator A5013339397 @default.
- W1489311111 creator A5017160779 @default.
- W1489311111 creator A5052539786 @default.
- W1489311111 date "2003-01-01" @default.
- W1489311111 modified "2023-09-28" @default.
- W1489311111 title "A Programmable Approach to Maintenance of a Finite Knowledge Base" @default.
- W1489311111 hasPublicationYear "2003" @default.
- W1489311111 type Work @default.
- W1489311111 sameAs 1489311111 @default.
- W1489311111 citedByCount "0" @default.
- W1489311111 crossrefType "journal-article" @default.
- W1489311111 hasAuthorship W1489311111A5013339397 @default.
- W1489311111 hasAuthorship W1489311111A5017160779 @default.
- W1489311111 hasAuthorship W1489311111A5052539786 @default.
- W1489311111 hasConcept C11413529 @default.
- W1489311111 hasConcept C134306372 @default.
- W1489311111 hasConcept C154945302 @default.
- W1489311111 hasConcept C162392398 @default.
- W1489311111 hasConcept C177264268 @default.
- W1489311111 hasConcept C199360897 @default.
- W1489311111 hasConcept C33923547 @default.
- W1489311111 hasConcept C41008148 @default.
- W1489311111 hasConcept C42058472 @default.
- W1489311111 hasConcept C4554734 @default.
- W1489311111 hasConcept C80444323 @default.
- W1489311111 hasConceptScore W1489311111C11413529 @default.
- W1489311111 hasConceptScore W1489311111C134306372 @default.
- W1489311111 hasConceptScore W1489311111C154945302 @default.
- W1489311111 hasConceptScore W1489311111C162392398 @default.
- W1489311111 hasConceptScore W1489311111C177264268 @default.
- W1489311111 hasConceptScore W1489311111C199360897 @default.
- W1489311111 hasConceptScore W1489311111C33923547 @default.
- W1489311111 hasConceptScore W1489311111C41008148 @default.
- W1489311111 hasConceptScore W1489311111C42058472 @default.
- W1489311111 hasConceptScore W1489311111C4554734 @default.
- W1489311111 hasConceptScore W1489311111C80444323 @default.
- W1489311111 hasIssue "1" @default.
- W1489311111 hasLocation W14893111111 @default.
- W1489311111 hasOpenAccess W1489311111 @default.
- W1489311111 hasPrimaryLocation W14893111111 @default.
- W1489311111 hasRelatedWork W114719569 @default.
- W1489311111 hasRelatedWork W1267783697 @default.
- W1489311111 hasRelatedWork W1448217255 @default.
- W1489311111 hasRelatedWork W148543968 @default.
- W1489311111 hasRelatedWork W1517061948 @default.
- W1489311111 hasRelatedWork W1572974769 @default.
- W1489311111 hasRelatedWork W1605925260 @default.
- W1489311111 hasRelatedWork W1608776253 @default.
- W1489311111 hasRelatedWork W164818648 @default.
- W1489311111 hasRelatedWork W1842247807 @default.
- W1489311111 hasRelatedWork W2063286137 @default.
- W1489311111 hasRelatedWork W2122698067 @default.
- W1489311111 hasRelatedWork W2151655370 @default.
- W1489311111 hasRelatedWork W2199071416 @default.
- W1489311111 hasRelatedWork W2272999419 @default.
- W1489311111 hasRelatedWork W2444030606 @default.
- W1489311111 hasRelatedWork W284397092 @default.
- W1489311111 hasRelatedWork W2952473366 @default.
- W1489311111 hasRelatedWork W2952585167 @default.
- W1489311111 hasRelatedWork W1448684019 @default.
- W1489311111 hasVolume "18" @default.
- W1489311111 isParatext "false" @default.
- W1489311111 isRetracted "false" @default.
- W1489311111 magId "1489311111" @default.
- W1489311111 workType "article" @default.