Most systems for the automation of termination proofs using polynomial orderings are only semi-automatic,i.e. the \right" polynomial ordering has to be given by the user. We show that a variation of Lank-ford's partial derivative technique leads to an easier and slightly more powerful method than most other semi-automatic approaches. Based on this technique we develop a method for the automated...

A* search, 136 abduction, 113 abstraction, 19, 32, 50, 168 abstraction ladders, 2 A-Design, 120 aesthetics, 14, 15 agent-based systems, 55, 120, 146, 162, 165 agent communication language (ACL), 162, 165 AIEDAM, 10, 171 AIR-CYL, 139 alternatives, 18 affordances, 2 American Institute of Steel Construction, 95 analogical reasoning, 110, 137 analysis, 22, 25, 26 ARCHPLAN, 157 AND-OR tree, 142 arra...

Small-molecule synthesis usually relies on procedures that are highly customized for each target. A broadly applicable automated process could greatly increase the accessibility of this class of compounds to enable investigations of their practical potential. Here we report the synthesis of 14 distinct classes of small molecules using the same fully automated process. This was achieved by strat...

4-[F]Fluoroiodobenzene ([F]FIB) is a versatile building block in F radiochemistry used in various transition metalmediated C–C and C–N cross-coupling reactions and [F]fluoroarylation reactions. Various synthesis routes have been described for the preparation of [F]FIB. However, to date, no automated synthesis of [F]FIB has been reported to allow access to larger amounts of [F]FIB in high radioc...

This paper presents a formal speciication and a proof of correctness for the register optimization task in high{level synthesis. A widely implemented register optimization algorithm is modeled in higher{order logic and veriied in a theorem prover environment. A rich collection of correctness properties is systematically formulated during the theorem proving exercise. These properties constitute...

The automated synthesis of norms for coordination of multi-agent systems remains an open and complex problem. In this paper we present the Intelligent Robust On-line Norm Synthesis Machine (IRON), a system whose goal is the automated synthesis of norms. IRON is capable of synthesising norms that are at the same time effective (to ensure coordination) and necessary (to avoid overregulation). IRO...

We address the problem of automated action selection policy synthesis for unmanned vehicles operating in adverse environments. We introduce a new evolutionary computation-based approach using which an initial version of the policy is automatically generated and then gradually refined by detecting and fixing its shortcomings. The synthesis technique consists of the automated extraction of the ve...

It is shown that theorem proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. The construction of program schemata in an algorithmic programming environment and logic programming in a declarative programming environment appear as two parti...

Small-molecule synthesis usually relies on procedures that are highly customized for each target. A broadly applicable automated process could greatly increase the accessibility of this class of compounds to enable investigations of their practical potential. Here we report the synthesis of 14 distinct classes of small molecules using the same fully automated process. This was achieved by strat...