Dr. Kovásznai Gergely

főiskolai docens
Matematikai és Informatikai Intézet
Információtechnológiai Tanszék

Tudományos fokozat, cím

• Kovásznai Gergely:
  Multi-hipertabló az automatikus tételbizonyításban.
  PhD, Természettudományok, Matematika- és számítástudományok (2007)
  

Folyóiratcikk

1. Biró Csaba, Kovásznai Gergely, Armin Biere, Kusper Gábor, Geda Gábor:
   Cube-and-Conquer approach for SAT solving on grids.
   Annales Mathematicae et Informaticae 42, 9 - 21 (2013)
   [követ]


2. Kovásznai Gergely, Kusper Gábor:
   Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux.
   Annales Mathematicae et Informaticae 36, 85 - 101 (2009)
   [követ]


3. Kusper Gábor, Csőke Lajos, Kovásznai Gergely:
   Simplifying the propositional satisfiability problem by sub-model propagation.
   Annales Mathematicae et Informaticae 35, 75 - 94 (2008)
   [követ]


4. Kovásznai Gergely:
   Linear Clause Generation by Tableaux and DAGs.
   Teaching Mathematics and Computer Science 5: 1, 109 - 118 (2007)
   


5. Kovásznai Gergely:
   HyperS Tableaux – Heuristic Hyper Tableaux.
   Acta Cybernetica 17, 325 - 338 (2005)
   


6. Kovásznai Gergely, C. Kotropoulos, I. Pitas:
   CAML – A Universal Configuration Language for Dialogue Systems.
   Lecture Notes in Computer Science 2736, 896 - 906 (2003)
   

Konferenciacikk

1. Biró Csaba, Kovásznai Gergely, Kusper Gábor, Tajti Tibor, Geda Gábor:
   Look-ahead alapú SAT solver-ek párhuzamosíthatóságának vizsgálata.
   Networkshop 2013, 105 - 111 (2013)
   Networkshop 2013
   Nyugat-Magyarországi Egyetem, Sopron, Magyarország, 2013.03.26 - 2013.03.28.
   [követ]

Konferencia előadás poszterrel

1. Geda Gábor, Kovásznai Gergely:
   Using Robotics to Motivate Students in Higher Education.
   8th International Conference on Applied Informatics
   EKF, Eger, Magyarország, 2010.01.27 - 2010.01.30.

Jegyzet

1. Kovásznai Gergely, Biró Csaba:
   .NET Programming Technologies.
   ESZA (2014)
   


2. Kovásznai Gergely, Biró Csaba:
   .NET-es programozási technológiák.
   ESZA (2014)
   


3. Kusper Gábor, Kovásznai Gergely:
   A mesterséges intelligencia kérdései a középiskolai oktatásban.
   (2011)
   


4. Kusper Gábor, Kovásznai Gergely:
   Artificial Intelligence and its Teaching.
   (2011)
   


5. Hernyák Zoltán, Kovásznai Gergely:
   Számítástechnikai versenyek.
   (2011), 172 oldal
   [követ]