ISSN 1847-2001
e-ISSN 1848-2295

Automated Reasoning: Some Successes and New Challenges

Predrag Janičić

Faculty of Mathematics
University of Belgrade
Studentski trg 16, 11000 Belgrade, Serbia

Abstract

In this paper a brief account of the area of automated reasoning (or, rather, of some of its subareas) is given. Some historical remarks are given along with overview of some of the most significant results and current challenges. The paper has a somewhat personal perspective, reflecting research interests of the author.



Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.


Copyright (©) 2007 - 2015. Faculty of Organization and Informatics. All Rights Reserved.