Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079490166> ?p ?o ?g. }
- W2079490166 abstract "A paraconsistent annotated logic program called EVALPSN has been developed for dealing with defeasible deontic reasoning and plausible reasoning, and applied to various kinds of intelligent control and safety verification. Moreover, in order to deal with before-after relation between processes(time intervals), bf(before-after)-EVALPSN has also been developed recently. In this paper, we review the reasoning system for before-after relation between processes based on bf-EVALPSN. The system consists of two groups of inference rules in bf-EVALPSN called basic and transitive bf-inference rules. The application of the reasoning system to real-time process order control is introduced with simple examples." @default.
- W2079490166 created "2016-06-24" @default.
- W2079490166 creator A5045667752 @default.
- W2079490166 date "2011-10-01" @default.
- W2079490166 modified "2023-09-25" @default.
- W2079490166 title "Application of paraconsistent annotated logic program bf-EVALPSN to intelligent control" @default.
- W2079490166 cites W118895948 @default.
- W2079490166 cites W12920708 @default.
- W2079490166 cites W143562391 @default.
- W2079490166 cites W1532083067 @default.
- W2079490166 cites W1534948386 @default.
- W2079490166 cites W1555348683 @default.
- W2079490166 cites W1584057407 @default.
- W2079490166 cites W1809469645 @default.
- W2079490166 cites W1980589711 @default.
- W2079490166 cites W1985733119 @default.
- W2079490166 cites W2057170624 @default.
- W2079490166 cites W2072177055 @default.
- W2079490166 cites W2122540544 @default.
- W2079490166 cites W2158084301 @default.
- W2079490166 cites W2165874398 @default.
- W2079490166 cites W2399106347 @default.
- W2079490166 cites W25749128 @default.
- W2079490166 cites W971189887 @default.
- W2079490166 doi "https://doi.org/10.1109/telsks.2011.6112029" @default.
- W2079490166 hasPublicationYear "2011" @default.
- W2079490166 type Work @default.
- W2079490166 sameAs 2079490166 @default.
- W2079490166 citedByCount "0" @default.
- W2079490166 crossrefType "proceedings-article" @default.
- W2079490166 hasAuthorship W2079490166A5045667752 @default.
- W2079490166 hasBestOaLocation W20794901662 @default.
- W2079490166 hasConcept C102993220 @default.
- W2079490166 hasConcept C111472728 @default.
- W2079490166 hasConcept C114614502 @default.
- W2079490166 hasConcept C124101348 @default.
- W2079490166 hasConcept C128838566 @default.
- W2079490166 hasConcept C138885662 @default.
- W2079490166 hasConcept C154945302 @default.
- W2079490166 hasConcept C159032336 @default.
- W2079490166 hasConcept C161301231 @default.
- W2079490166 hasConcept C16796852 @default.
- W2079490166 hasConcept C169896238 @default.
- W2079490166 hasConcept C191399111 @default.
- W2079490166 hasConcept C193856179 @default.
- W2079490166 hasConcept C199360897 @default.
- W2079490166 hasConcept C25343380 @default.
- W2079490166 hasConcept C2776214188 @default.
- W2079490166 hasConcept C2987117450 @default.
- W2079490166 hasConcept C33923547 @default.
- W2079490166 hasConcept C37335422 @default.
- W2079490166 hasConcept C3746660 @default.
- W2079490166 hasConcept C41008148 @default.
- W2079490166 hasConcept C6377922 @default.
- W2079490166 hasConcept C80444323 @default.
- W2079490166 hasConcept C89288958 @default.
- W2079490166 hasConceptScore W2079490166C102993220 @default.
- W2079490166 hasConceptScore W2079490166C111472728 @default.
- W2079490166 hasConceptScore W2079490166C114614502 @default.
- W2079490166 hasConceptScore W2079490166C124101348 @default.
- W2079490166 hasConceptScore W2079490166C128838566 @default.
- W2079490166 hasConceptScore W2079490166C138885662 @default.
- W2079490166 hasConceptScore W2079490166C154945302 @default.
- W2079490166 hasConceptScore W2079490166C159032336 @default.
- W2079490166 hasConceptScore W2079490166C161301231 @default.
- W2079490166 hasConceptScore W2079490166C16796852 @default.
- W2079490166 hasConceptScore W2079490166C169896238 @default.
- W2079490166 hasConceptScore W2079490166C191399111 @default.
- W2079490166 hasConceptScore W2079490166C193856179 @default.
- W2079490166 hasConceptScore W2079490166C199360897 @default.
- W2079490166 hasConceptScore W2079490166C25343380 @default.
- W2079490166 hasConceptScore W2079490166C2776214188 @default.
- W2079490166 hasConceptScore W2079490166C2987117450 @default.
- W2079490166 hasConceptScore W2079490166C33923547 @default.
- W2079490166 hasConceptScore W2079490166C37335422 @default.
- W2079490166 hasConceptScore W2079490166C3746660 @default.
- W2079490166 hasConceptScore W2079490166C41008148 @default.
- W2079490166 hasConceptScore W2079490166C6377922 @default.
- W2079490166 hasConceptScore W2079490166C80444323 @default.
- W2079490166 hasConceptScore W2079490166C89288958 @default.
- W2079490166 hasLocation W20794901661 @default.
- W2079490166 hasLocation W20794901662 @default.
- W2079490166 hasOpenAccess W2079490166 @default.
- W2079490166 hasPrimaryLocation W20794901661 @default.
- W2079490166 hasRelatedWork W108096220 @default.
- W2079490166 hasRelatedWork W123613972 @default.
- W2079490166 hasRelatedWork W1489615098 @default.
- W2079490166 hasRelatedWork W1513605556 @default.
- W2079490166 hasRelatedWork W1560046181 @default.
- W2079490166 hasRelatedWork W1573624827 @default.
- W2079490166 hasRelatedWork W1599587354 @default.
- W2079490166 hasRelatedWork W1619889419 @default.
- W2079490166 hasRelatedWork W1787132032 @default.
- W2079490166 hasRelatedWork W1937160721 @default.
- W2079490166 hasRelatedWork W1967556306 @default.
- W2079490166 hasRelatedWork W2041726556 @default.
- W2079490166 hasRelatedWork W2072177055 @default.
- W2079490166 hasRelatedWork W2102830973 @default.
- W2079490166 hasRelatedWork W2162253600 @default.
- W2079490166 hasRelatedWork W2170454005 @default.