Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Research and publications

Research and publications

Automated reasoning is a field of computer science concerned with turning computers into ever smarter thinking machines, and injecting reasoning into those applications of computers that may benefit from it. It contributes techniques to artificial intelligence (e.g., planning, learning, natural language understanding), symbolic computation (e.g., constraint problem solving, computer algebra) and computational logic (e.g., declarative programming, deductive databases). As the study of mechanical forms of logical reasoning, it is part of the fundamental quest about what computing machines can do.

Since the pages accessible through this one may contain pointers to electronic copies of published papers, please read the following COPYRIGHT NOTICE: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder. (The copyright holder of papers published on journals is usually the publisher of the journal. For conferences, the copyright holder is usually the publisher of the proceedings, such as Springer, for Lecture Notes in CS or AI, or ACM Press for ACM conferences. The documents distributed by this server are the author's personal copies of pre-prints of such papers.)

Maria Paola Bonacina