In this chapter, we present a review of various approaches to modeling protein structure by means of constraint programming. This particular programming framework has been used in the modeling of the structure and properties of chemical compounds. …
Action languages have gained popularity as a means for declaratively describing planning domains. This paper overviews two action languages, the Boolean language B and its multi-valued counterpart BMV. The paper analyzes some of the issues in using …
Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Automata are a formal model for hybrid systems, originally proposed to study embedded systems, where a discrete control acts on a continuously changing …
The Referee system (aka AetnaNova), accessible on the Web, ingests bodies of text which it either certifies as constituting a valid sequence of definitions and theorems, or rejects as defective. The functionality of this proof verifier and the key …