Differences

This shows you the differences between two versions of the page.

--- pub:about_us:people:ali [2012/05/21 08:29] – meet the whole team section wta
+++ pub:about_us:people:ali [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1
@@ Line 1: / Line 1: @@
-====== Prof. Antoni Ligęza  ======
-{{:pub:about_us:people:ligeza.jpg?width150px |Prof.A.Ligeza}}
-**Antoni Ligeza, Professor** (<ligeza@agh.edu.pl>, [[http://home.agh.edu.pl/ligeza|www]]) is a full professor in the domain
-of computer science at the AGH University of Science and Technology at
-Krakow, Poland. His principal area of investigation is Artificial
-Intelligence and Knowledge Engineering. He lectures on knowledge
-engineering, databases, Prolog, automated diagnosis, discrete mathematics
-and logics. He is a member of ACM and IEEE Computer Society. He is author
-and co-author of over 200 research publications, including international
-conferences, journals, chapters in books. His recent book "Logical
-Foundations for Rule-Based Systems" was issued by Springer in 2006,it
-covers issues ranging from logical bases, propositional, attributive and
-first-order logics, through various forms
-of rule-based systems to design and verification issues. It presents a
-novel approach based on XTT (eXtended Tabular Trees) and ARD (Attribute
-Relationship Diagrams) for efficient design and implementation of complex
-rule-based systems. The XTT approach can be applied to develop the control
-system for autonomous robots. It offers features like hierarchical control,
-rule-based control, context-switching, backtracking, internal state
-representation, and many other. The control algorithm can be verified for
-completeness and consistency; it can be also easily extended and modified.
-Antoni Ligeza actively participated in numerous national and international
-projects (KBN, TEMPUS, POLONIUM); he was the head
-of KBN-Regulus Project2, the Mirella Project on XTT (eXtended Tabular
-Systsems) and recently HeKatE on hybrid knowledge engineering, and INDECT.
-He was visiting professor and he worked in Denmark (Technical University of
-Lyngby) 4 months, in France (LAAS of CNRS, Toulouse; University of Nancy I,
-Nancy; CRIL Lens; University of Caen, Caen) for about two years in total
-and in Spain (University of Balearic Islands, Palma de Mallorca; University
-of Girona, Girona) for about one year.
-Professor Antoni Ligeza developed theory for reverse plan generation
-(backward planning) (Artificial Intelligence, 1990), the backward dual
-resolution method for automated theorem proving and completeness
-verification of rule-based systems (IJCAI'93), methodology for verification
-and design of rule-based systems based on the so-called psi-trees (ECAI
-Workshop 1996), concepts of granular sets and granular relations
-(AIMeth'02, IIS (Internet Information Services)'02, ANNIE'03), attributive
-granular logic (EMCSR'06) and theory for tabular rule-based systems
-(Springer, 2006). He also worked in areas such as Operational Research,
-Control Theory, Decision Theory, Diagnostics, Databases, and many other. He
-supervised numerous Ph.D. theses. He also serves as a reviewer for numerous
-international conferences and journals.
-Roman catholic, married (1980) with Ewa. Two daughters, Magdalena and
-Marianna.
-Hobbies: martial arts (past), travels, nordic walking, logic, logic
-puzzles, demystification of magic tricks.
-====== More GEIST ======
--> Meet the [[pub:about_us:people:start|whole team]].