[PDF] from uniud.itA Dovier, A Formisano… - Logic programming, knowledge …, 2011 - Springer ... For instance, to assert that in the initial state of the world all fluents are true, we can simply write the following rule: initially(F) :- fluent(F). ... literal(F) :- fluent(F). literal(neg(F)) :- fluent(F). complement(F, neg(F)). complement(neg(F),F). ... Related articles - All 4 versions
GH Kwon, YS Lee… - … of the ACM 2011 conference on …, 2011 - portal.acm.org ... g. In th is study, we des igned a n application of a localized collective inte lligenc e to sup p ort rich in teractions in a place whe re a ffluent knowledge is produce d by groups or people who are a ssociated with that place. Lev e raging o n the metaphor of a tree, w e pres ent th e ... Related articles
[PDF] from csic.esH Strass - Non-Monotonic Reasoning, Action and Change ( …, 2011 - ijcai-11.iiia.csic.es ... Definition 4. Let f: FLUENT and s, t: TIME be variables. ... 6 6Notice that these new predicates are in contrast to Definition 4, where DirectT and DirectF are merely syntactic sugar. Definition 7. Let ε= Φ/ψ be a conditional effect expression and f: FLUENT and s, t: TIME be variables. ... Related articles - View as HTML
HE Ze-shou, XU Chun-yuan, DU Bing… - Wool Textile …, 2011 - en.cnki.com.cn ... 1, Wang Dong, Zhao Shuping, Lin Haiying (Institute of Environmental Engineering, Dalian University of Technology, Dalian 116024, China);Comparison of the flocculation effect between PAC and PFS on the wool scouring e ffluent treatment and their action mechanisms[J ... Related articles - Cached
沪公网安备号：31010402006960 （网站）31010405000484 （蝌蝌APP）
安全保密
