Baader, F., Borgwardt, S., Morawska, B.: A goal-oriented algorithm for unification in \(\mathcal{ELH}_{R^+}\) w.r.t. cycle-restricted ontologies. In: Thielscher, M., Zhang, D. (eds.) AI 2012. LNCS, vol. 7691, pp. 493–504. Springer, Heidelberg (2012)...
Work on the STUF formalism revealed a lot of interesting similarities between some of the most active research areas in AI: computational linguistics, constraint logic programming, functional programming, and knowledge representation systems.Page %P Close Plain text Look Inside Citations Other actio...
一 |◆ inmodernindustria1society.Quality establishingandimplementinga certificatiOnhasexistedineach eldOf certificationsystemtThissystemrequires production,aswe11asinthecircu1ationof achieVingperfbm1ancereqim。ntb 。d a11prOducts.InOrdertOstrengthenthe onmeetingcertainstandardsand competifvenessoftheirnationaIprodu...
In order to build a truly autonomous robot, it must have the capability to efficiently and reliably plan a route from start to the goal point without colliding with obstacles in between. We present an algorithm for path planning to a target for mobile robot in unknown environment. The ...
Logically it be expressed that matter is nothing but a special situation of field. In this paper, field is considered as flexible existence; which is contracted. Matter is the result of this field contraction.Umasankar DolaiJournal of Computational Intelligence in Bioinformatics...
A grammar specifying a simple mechanical design problem is discussed, followed by an example generation of an object in the language.doi:10.1007/978-94-011-0928-4_14K. N. BrownC. A. McmahonJ. H. Sims WilliamsSpringer NetherlandsBrown KN, McMahon CA, Williams JHS (1994) Constraint ...