The proceedings contain 38 papers. The special focus in this conference is on Conditional and Typed Rewriting Systems. The topics include: Conditional rewriting in focus;a maximal-literal unit strategy for horn clause...
ISBN:
(纸本)9783540543176
The proceedings contain 38 papers. The special focus in this conference is on Conditional and Typed Rewriting Systems. The topics include: Conditional rewriting in focus;a maximal-literal unit strategy for horn clauses;extended term rewriting systems (invited paper);a proof system for conditional algebraic specifications;conditional rewriting logic;on finite representations of infinite sequences of terms;infinite terms and infinite rewritings;testing confluence of nonterminating rewriting systems;meta-rule synthesis from crossed rewrite systems;completion of first-order clauses with equality by strict superposition (invited paper);knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation;proof by consistency in conditional equational theories;completion procedures as semi-decision procedures (invited paper);linear completion;clausal rewriting;adding algebraic rewriting to the calculus of constructions;on sufficient completeness of conditional specifications;functional plus logicprogramming. an integration of the fp and prolog languages;confluence of the disjoint union of conditional term rewriting systems;implementing term rewriting by graph reduction;compiling concurrent rewriting onto the rewrite rule machine;design strategies for rewrite rules;a simplifier for untyped lambda expressions;parallel graph rewriting on loosely coupled machine architectures;typed equivalence, type assignment and type containment;unique-sort order-sorted theories;compatibility of order-sorted rewrite rules;constrained equational deduction;higher-order unification, polymorphism, and subsorts;an inference system for horn clause logic with equality.
We extend process algebra with guards, comparable to the guards in guarded commands or conditions in common programming constructs. The extended language is provided with an operational semantics based on transitions ...
详细信息
Recently the author introduced the so called stationary semantics which extends the well-founded semantics of normal logic programs to the class of all disjunctive logic programs and deductive databases. The stationar...
详细信息
Implementation of a microcontroller-based robot positioning and control system is presented in the paper. The system is based on use of an analog grayscale camera with an infrared filter and LED lightning and transmit...
详细信息
ISBN:
(纸本)9781509013234
Implementation of a microcontroller-based robot positioning and control system is presented in the paper. The system is based on use of an analog grayscale camera with an infrared filter and LED lightning and transmitter. The use of this system makes it possible to implement an intelligent fuzzy logic controller that is used to control robot's movement on the table in the direction of the target with an obstacle avoiding. The goal of the motion and obstacles are virtual and set in a special software written with C++ programming language. A decentralized and distributed system enabling a control of a group of robots through a local network or Internet and based on the client-server model and data transmission protocol TCP is also considered.
暂无评论