Matches in SemOpenAlex for { <https://semopenalex.org/work/W1534037101> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1534037101 abstract "General theory of cumulative inference.- New results on semantical nonmonotonic reasoning.- The semantics of non-monotonic entailment defined using partial interpretations.- Hierarchic autoepistemic theories for nonmonotonic reasoning: Preliminary report.- Autoepistemic stable closures and contradiction resolution.- Compiling circumscriptive theories into logic programs.- A circumscriptive theorem prover.- The complexity of Model-Preference Default theories.- Massively parallel Assumption-based Truth Maintenance.- An extended basic ATMS.- A nonmonotonic logic for reasoning about speech acts and belief revision.- Autoepistemic logic and formalization of commonsense reasoning preliminary report.- Nonmonotonic reasoning in temporal domains: The knowledge independence problem.- Benchmark problems for formal nonmonotonic reasoning.- Logics for inheritance theory." @default.
- W1534037101 created "2016-06-24" @default.
- W1534037101 creator A5001870465 @default.
- W1534037101 date "1988-12-01" @default.
- W1534037101 modified "2023-09-27" @default.
- W1534037101 title "Non-Monotonic Reasoning: 2nd International Workshop, Grassau, FRG, June 13-15, 1988. Proceedings" @default.
- W1534037101 hasPublicationYear "1988" @default.
- W1534037101 type Work @default.
- W1534037101 sameAs 1534037101 @default.
- W1534037101 citedByCount "0" @default.
- W1534037101 crossrefType "book" @default.
- W1534037101 hasAuthorship W1534037101A5001870465 @default.
- W1534037101 hasConcept C102993220 @default.
- W1534037101 hasConcept C128913409 @default.
- W1534037101 hasConcept C154945302 @default.
- W1534037101 hasConcept C159032336 @default.
- W1534037101 hasConcept C160236029 @default.
- W1534037101 hasConcept C167729594 @default.
- W1534037101 hasConcept C195344581 @default.
- W1534037101 hasConcept C203659156 @default.
- W1534037101 hasConcept C2524010 @default.
- W1534037101 hasConcept C33923547 @default.
- W1534037101 hasConcept C3845977 @default.
- W1534037101 hasConcept C41008148 @default.
- W1534037101 hasConcept C62360110 @default.
- W1534037101 hasConcept C97364631 @default.
- W1534037101 hasConceptScore W1534037101C102993220 @default.
- W1534037101 hasConceptScore W1534037101C128913409 @default.
- W1534037101 hasConceptScore W1534037101C154945302 @default.
- W1534037101 hasConceptScore W1534037101C159032336 @default.
- W1534037101 hasConceptScore W1534037101C160236029 @default.
- W1534037101 hasConceptScore W1534037101C167729594 @default.
- W1534037101 hasConceptScore W1534037101C195344581 @default.
- W1534037101 hasConceptScore W1534037101C203659156 @default.
- W1534037101 hasConceptScore W1534037101C2524010 @default.
- W1534037101 hasConceptScore W1534037101C33923547 @default.
- W1534037101 hasConceptScore W1534037101C3845977 @default.
- W1534037101 hasConceptScore W1534037101C41008148 @default.
- W1534037101 hasConceptScore W1534037101C62360110 @default.
- W1534037101 hasConceptScore W1534037101C97364631 @default.
- W1534037101 hasLocation W15340371011 @default.
- W1534037101 hasOpenAccess W1534037101 @default.
- W1534037101 hasPrimaryLocation W15340371011 @default.
- W1534037101 hasRelatedWork W1488110666 @default.
- W1534037101 hasRelatedWork W1491160267 @default.
- W1534037101 hasRelatedWork W1497274966 @default.
- W1534037101 hasRelatedWork W1513221855 @default.
- W1534037101 hasRelatedWork W1568608752 @default.
- W1534037101 hasRelatedWork W1569596742 @default.
- W1534037101 hasRelatedWork W1581384476 @default.
- W1534037101 hasRelatedWork W1609266027 @default.
- W1534037101 hasRelatedWork W190590315 @default.
- W1534037101 hasRelatedWork W1996971120 @default.
- W1534037101 hasRelatedWork W1998473542 @default.
- W1534037101 hasRelatedWork W2001794777 @default.
- W1534037101 hasRelatedWork W204153282 @default.
- W1534037101 hasRelatedWork W2100690544 @default.
- W1534037101 hasRelatedWork W2112122101 @default.
- W1534037101 hasRelatedWork W2158693883 @default.
- W1534037101 hasRelatedWork W2481559215 @default.
- W1534037101 hasRelatedWork W2539709470 @default.
- W1534037101 hasRelatedWork W28795403 @default.
- W1534037101 hasRelatedWork W2900674147 @default.
- W1534037101 isParatext "false" @default.
- W1534037101 isRetracted "false" @default.
- W1534037101 magId "1534037101" @default.
- W1534037101 workType "book" @default.