Matches in SemOpenAlex for { <https://semopenalex.org/work/W55050080> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W55050080 endingPage "254" @default.
- W55050080 startingPage "221" @default.
- W55050080 abstract "Ordered logic is the theoretical foundation of the LOCO programing language [9] which combines the declarative elegance and power of logic programming with asvantages of object-oriented systems. Ordered logic is based on a partially ordered structure of logical theories or objects. Objects are entities that may contain positive as well as negative information represented by rules. The partial order allows for the definition of a preference structure on these objects and consequently also on the information they contain. The result is a simple yet powerful logic that models classical as well as non-monotonic inference mechanisms. The central issue of this paper is the definition of a universal fixpoint semantics for ordered logic programs which constitutes an important extension and generalization of the fixpoint semantics prresented in [11, in the sense that it computes all partial models (well-founded and stable partial models included) instead of only ´total´ models (a possibly empty subset of the stable partial models), thus overcoming the limitations of the previous approach." @default.
- W55050080 created "2016-06-24" @default.
- W55050080 creator A5020963318 @default.
- W55050080 creator A5068601994 @default.
- W55050080 date "2000-01-01" @default.
- W55050080 modified "2023-09-26" @default.
- W55050080 title "A universal fixpoint semantics for ordered logic" @default.
- W55050080 hasPublicationYear "2000" @default.
- W55050080 type Work @default.
- W55050080 sameAs 55050080 @default.
- W55050080 citedByCount "4" @default.
- W55050080 crossrefType "journal-article" @default.
- W55050080 hasAuthorship W55050080A5020963318 @default.
- W55050080 hasAuthorship W55050080A5068601994 @default.
- W55050080 hasConcept C102993220 @default.
- W55050080 hasConcept C11191006 @default.
- W55050080 hasConcept C127001435 @default.
- W55050080 hasConcept C128838566 @default.
- W55050080 hasConcept C134306372 @default.
- W55050080 hasConcept C169896238 @default.
- W55050080 hasConcept C173125200 @default.
- W55050080 hasConcept C177148314 @default.
- W55050080 hasConcept C184337299 @default.
- W55050080 hasConcept C199360897 @default.
- W55050080 hasConcept C203659156 @default.
- W55050080 hasConcept C33923547 @default.
- W55050080 hasConcept C41008148 @default.
- W55050080 hasConcept C61445026 @default.
- W55050080 hasConcept C80444323 @default.
- W55050080 hasConceptScore W55050080C102993220 @default.
- W55050080 hasConceptScore W55050080C11191006 @default.
- W55050080 hasConceptScore W55050080C127001435 @default.
- W55050080 hasConceptScore W55050080C128838566 @default.
- W55050080 hasConceptScore W55050080C134306372 @default.
- W55050080 hasConceptScore W55050080C169896238 @default.
- W55050080 hasConceptScore W55050080C173125200 @default.
- W55050080 hasConceptScore W55050080C177148314 @default.
- W55050080 hasConceptScore W55050080C184337299 @default.
- W55050080 hasConceptScore W55050080C199360897 @default.
- W55050080 hasConceptScore W55050080C203659156 @default.
- W55050080 hasConceptScore W55050080C33923547 @default.
- W55050080 hasConceptScore W55050080C41008148 @default.
- W55050080 hasConceptScore W55050080C61445026 @default.
- W55050080 hasConceptScore W55050080C80444323 @default.
- W55050080 hasIssue "3" @default.
- W55050080 hasLocation W550500801 @default.
- W55050080 hasOpenAccess W55050080 @default.
- W55050080 hasPrimaryLocation W550500801 @default.
- W55050080 hasRelatedWork W144853445 @default.
- W55050080 hasRelatedWork W1482260388 @default.
- W55050080 hasRelatedWork W1483545604 @default.
- W55050080 hasRelatedWork W1534957303 @default.
- W55050080 hasRelatedWork W1538233900 @default.
- W55050080 hasRelatedWork W1577996097 @default.
- W55050080 hasRelatedWork W1582602188 @default.
- W55050080 hasRelatedWork W1621051805 @default.
- W55050080 hasRelatedWork W1988827098 @default.
- W55050080 hasRelatedWork W1999732797 @default.
- W55050080 hasRelatedWork W2082914262 @default.
- W55050080 hasRelatedWork W2092211394 @default.
- W55050080 hasRelatedWork W2160728467 @default.
- W55050080 hasRelatedWork W2165981097 @default.
- W55050080 hasRelatedWork W2264119669 @default.
- W55050080 hasRelatedWork W2408599239 @default.
- W55050080 hasRelatedWork W73864267 @default.
- W55050080 hasRelatedWork W96077417 @default.
- W55050080 hasRelatedWork W1830768704 @default.
- W55050080 hasRelatedWork W2708928586 @default.
- W55050080 hasVolume "19" @default.
- W55050080 isParatext "false" @default.
- W55050080 isRetracted "false" @default.
- W55050080 magId "55050080" @default.
- W55050080 workType "article" @default.