Skip to main content
Department of Software Engineering
Institute of Informatics, University of Szeged

RGAI

Search form

  • Home
  • Research & Development
  • Trainings
  • Conferences
  • Publications
  • People
  • EU Projects
  • Partners
  • Groups
    • AI4SW
    • Inclouded
    • IoLT - Internet of Living Things
    • IoT Cloud
  • Jobs
  • Szakmai Gyakorlat
  • COVID-19
  • Pince Akadémia

The {IDT} System and its Application for Learning Prolog Programs

Kókai G, Alexin Z, Kocsis F.  1994.  The {IDT} System and its Application for Learning Prolog Programs. Sixth International Conference on Artificial Intelligence and Information-Control Systems of Robots. :315-320.
  • Read more about The {IDT} System and its Application for Learning Prolog Programs
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

Effective Algorithmic Debugging for Inductive Logic Programming

Paakki J, Gyimóthy T, Horváth T.  1994.  Effective Algorithmic Debugging for Inductive Logic Programming. GMD-Studien. 237:175-194.
  • Read more about Effective Algorithmic Debugging for Inductive Logic Programming
  • Google Scholar
  • BibTeX
Page last modified: January 17, 2012

Static Slicing of Logic Programs

Gyimóthy T, Paakki J.  1995.  Static Slicing of Logic Programs. AADEBUG 2nd International Workshop on Automated and Algorithmic Debugging. :85–105.
  • Read more about Static Slicing of Logic Programs
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

O caracterizare structurala a multimilor partiale D-continue

Romila B, Preda C, Holló C..  1995.  O caracterizare structurala a multimilor partiale D-continue. Studii si Cercetari Matematice. 47:81-96.
  • Read more about O caracterizare structurala a multimilor partiale D-continue
  • Google Scholar
  • BibTeX
Page last modified: January 17, 2012

Comunicare si concurentă în CSP

Holló C..  1995.  Comunicare si concurentă în CSP.
  • Read more about Comunicare si concurentă în CSP
  • Google Scholar
  • BibTeX
Page last modified: January 17, 2012

Tehnici de modelare în psihologie bazate pe teoria Fuzzy. Aplicatii pentru recunoasterea motivatiilor

Holló C..  1995.  Tehnici de modelare în psihologie bazate pe teoria Fuzzy. Aplicatii pentru recunoasterea motivatiilor.
  • Read more about Tehnici de modelare în psihologie bazate pe teoria Fuzzy. Aplicatii pentru recunoasterea motivatiilor
  • Google Scholar
  • BibTeX
Page last modified: January 17, 2012

Independent and-parallelization of logic programs using static slicing

Paakki J, Gyimóthy T, Horváth T.  1995.  Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
  • Read more about Independent and-parallelization of logic programs using static slicing
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner

Alexin Z, Gyimóthy T, Boström H.  1996.  Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner. Fifth International Workshop on Inductive Logic Programming. :437-452.
  • Read more about Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

Parallel execution of object functional queries

Schrettner L, Gyimóthy T, Alexin Z, Toczki J.  1995.  Parallel execution of object functional queries. Fourth Symposium on Programming Languages and Software Tools. :447-459.
  • Read more about Parallel execution of object functional queries
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012

{IDT}: Integrated system for debugging and testing Prolog programs

Alexin Z, Gyimóthy T, Kókai G.  1995.  {IDT}: Integrated system for debugging and testing Prolog programs. Fourth Symposium on Programming Languages and Software Tools. :312-324.
  • Read more about {IDT}: Integrated system for debugging and testing Prolog programs
  • Google Scholar
  • BibTeX
Page last modified: January 16, 2012
  • first
  • previous
  • …
  • 42
  • 43
  • 44
  • 45
  • 46
  • 47
  • 48
  • 49
  • 50
  • …
  • next
  • last

Copyright © 2025, Department of Software Engineering (SED), Institute of Informatics, University of Szeged