Prof. Emerit. Dr. Ing. Ioan Alfred LEŢIA: n. 13.05.1944, Aiud, jud. Alba, Absolvent: 1967, facultatea de Electrotehnica Cluj-Napoca; 1975, PhD în Systems Science, The City University London, UK (1971-1974). Profesor la Universitatea Tehnica din Cluj-Napoca, Facultatea de Automatica și Calculatoare.

Membru ACM (Association of Computing Machinery).

Fondator al conferinței anuale „International Conference on Intelligent Computer Communication and Processing”, Cluj-Napoca.

Șef de Catedră la Calculatoare, Universitatea Tehnica din Cluj-Napoca (1990-2000). În 1996 are loc conferința internațională “Intelligent Computer Communication”, organizator prof. dr. ing. Ioan Alfred Letia,  continuata cu „IEEE International Conference on Intelligent Computer  Communication and Processing”. A fost „guest researcher” la universități ca: National University of Singapore (2002), McGill University (2001), University of Saarland (1994), Universidad del Sol, Bahia Blanca, Argentina(2014).

 

Opera

 

Articole ISI:

S A Gomez, A Goron, A Groza, I A Letia. Assuring Safety in Air Trafic Control Systems with Argumentation and Model Checking. Expert Systems with Applications, Vol 44, 2016, 367–385.

 

I A Letia, A Goron. Model Checking as Support for Inspecting Compliance to Rules in Flexible Processes. Visual Languages and Computing, Vol 28, 2015, 100–121.

 

I A Letia, A Groza. Compliance checking of integrated business processes. Data and Knowledge Engineering, Vol 87, 2013, 1–18.

 

I A Letia, O Pop. Towards Normative Systems for Communities of Agents. Web Intelligence and Agent Systems, Vol 11, No 4, 2013, 339–350.

 

I A Letia, R R Slavescu. Logic-based Reputation Model in e-Commerce Simulation. Journal of Artificial Societies and Social Simulation, Vol 15, No 3, 2012.

 

M Acalovschi, D Blendea, C Feier, I A Letia, N Ratiu, D Dumitrascu, A Veres – Risk factors for symptomatic gallstones in patients with liver cirrhosis: a case control study, American Journal of Gastroenterology, Vol. 98, No 8, Aug 2003, 1856-1860.

 

I A Letia, D Precup. Developing collaborative Golog agents by reinforcement learning. International Journal on Artificial Intelligence Tools, Vol 11, No 2, June 2002, 233–246.

 

I A Letia, A Groza. Argumentative Support for Structured HACCP Plans. Advances in Electrical and Computer Engineering, Vol 10, No 2, 2010, 115–120.

 

Articole la conferințe:

A Goron, A Groza, S A Gomez, I A Letia. Towards an Argumentative Approach for Repair of Hybrid Logics Models. In Workshop at AAMAS: Argumentation in Multi-Agent Systems, Paris, France, 2014.

 

I A Letia, A Goron. Towards Justifying Norm Compliance. In S Craneield et al. (eds): Coordination, Organization, Institutions, and Norms in Agent Systems, LNAI 7254, Springer-Verlag 2012, 110–128.

 

I A Letia, A Groza. Arguing With Justifications Between Collaborating Agents. In P. Moraitis et al. (eds): Argumentation in Multi-Agent Systems, LNAI 7543, Springer-Verlag 2012, 102–1016.

 

I A Letia, A Groza. Towards Pragmatic Argumentative Agents Within a Fuzzy Description Logic Framework. In P McBurney, I Rahwan and P. Moraitis (eds): Argumentation in Multi-Agent Systems, LNAI 6614, Springer-Verlag 2011, 209–227.

 

I A Letia, A Groza. Contextual Extension with Concept Maps in the Argument Interchange Format. In I Rahwan and P. Moraitis (eds): Argumentation in Multi-Agent Systems 2008, LNAI 5384, Springer-Verlag 2009, 70–87.

 

I A Letia, A Groza. A Planning-Based Approach for Enacting World Wide Argument Web. In C Badica et al (eds): Intelligent Distributed Computing, Systems and Applications, LNAI 5384, Springer-Verlag 2008, 137–146.

 

I A Letia, A Groza. Structured Argumentation in a Mediator for Online Dispute Resolution. In M Baldoni et al (eds): Declarative Agent Languages and Technologies V, LNAI 4897, Springer-Verlag 2007, 193–210.

 

I A Letia, A Groza. Exploiting Rough Argumentation in an Online Dispute Resolution Mediator. In Kryszkiewicz et al (eds): Rough Sets and Emerging Intelligent Systems Paradigms, LNAI 4585, Springer-Verlag 2007, 697–706.

 

I A Letia, A Marginean, A Groza. Z-Based Agents for Service Oriented Computing. In J Huang, R Kowalczyk, Z Maamar, D Martin, I Mueller, S Stoutenburg, K Sycara (eds): Service-Oriented Computing: Agents, Semantics, and Engineering, LNCS 4504, Springer-Verlag 2007, 160–174.

 

I A Letia, A Groza. Agreeing on Defeasible Commitments. In M Baldoni, U Endriss (eds): Declarative Agent Languages and Technologies IV, LNCS 4327, Springer-Verlag 2006, 156–173.

 

I A Letia, R Vartic. Commitment-Based Policies in Persuation Dialogue with Defeasible Beliefs. In F Dignum, R M van Eijk, R Flores (eds): Agent Communication II, LNAI 3859, Springer-Verlag 2006, 243–257.

 

I A Letia, A Groza. Running Contracts with Defeasible Commitments. In R Dapoigny (ed): Int Conf on Indust rial, Engineering and otherApplications of Applied Intelligent Systems, LNAI 4031, Springer-Verlag, 2006, 91–100.

 

I A Letia, M Acalovschi. Achieving competence by argumentation on rules for roles. In M-P Gleizes, A Omicini and F Zambonelli (eds): Engineering Societies in the Agents World, LNAI 3451, Springer-Verlag 2005, 45–59.

 

I A Letia, W Vasconcelos. Norms and their role in a model of electronic institution. In G Lindemann, D Moldt and M Paolucci (eds): Regulated Agent-Based Social Systems: Theories and Applications, LNAI 2934, Springer-Verlag, 2004, 240–258.

 

C Jonker, I A Letia, J Treur. Diagnosis of the dynamics within an organization by trace checking of behavioural requirements. In M Wooldridge, P Ciancarini and G Weiss (eds): Agent-Oriented Soft-ware Engineering, LNCS 2222, Springer-Verlag, 2002, 17–32.

 

I A Letia, F Craciun, Z Köpe. Norms for DLP agents working in a warehouse scenario. ”Industrial and Engineering Applications of Artificial Intelligence and Expert Systems” (IEA/AIE), Budapest, Hungary, June 2001, 728–733.

 

I A Letia, F Craciun, Z Köpe. Validating the behavior of self-interested agents in an information market scenario, In ”K S Leung, L W Chan, H Meng (eds). Intelligent Data Engineering and Automated Learning”, Lecture Notes in Computer Science 1983, Springer-Verlag, 2000, 392–397.

 

I A Letia, F Craciun, Z Kope, Al Lelutiu, „First experiments for mining sequential patterns on distributed sites with multi-agents”, In K S Leung, L W Chan, H Meng (eds). Intelligent Data Engineering and Automated Learning, Lecture Notes in Computer Science 1983, Springer-Verlag, 2000, 187-192.

 

I.A. Leţia, M. Joldos, C. Cenan, D. Zaiu, A. Andreica. Decision trees and rule induction in simulated soccer agents, In ”A. Drogoul, M. Tambe, T. Fukuda (eds). Collective Robotics”, LNAI 1456, Springer Verlag, 1998, pp. 110–122.

 

Carti:

I A Letia, L A Negrescu, L Negrescu. Programare Functionala. Editura Albastra, Cluj-Napoca, 2006, ISBN 973-650-196-5.

 

I A Letia, F Craciun, Z Köpe, R Slavescu. Multi-Agent Systems. Casa Cărţii de Ştiinţă, Cluj-Napoca, 1999, ISBN 973-9404-96-0.

 

I A Letia, E S Chifu, C Cenan. Programare Functionala. Casa Cărţii de Ştiinţă, Cluj-Napoca, 1999, ISBN 973-9404-92-8.

 

Cărți editate:

I A Letia (ed). Proceedings of IEEE International Conference on Intelligent Computer Communication and Processing, Cluj-Napoca, Romania, ISBN 978-1-4244-5007-7.

 

Activitatea didactica

 

Cursuri predate:

1.Semantic Web and Agents (master)

2.Intelligent Agent Systems (master)

3.Simularea Organizațiilor (la Vrije Universiteit, Amsterdam)

4.Sisteme Multi-Agent

5.Sisteme Inteligente

6.Inteligenta Artificiala

7.Limbaje Formale si Translatoare

8.Programare Funcționala

9.Structuri de Date si Tehnici de Programare

10.Limbaje de Programare si Compilatoare

11.Analiza si Sinteza Dispozitivelor Numerice

 

Activitatea de cercetare științifica:

 

Granturi interne:

1.ArgNet: Sistem Suport pentru Argumentare Structurala (2009-2011), CNCSIS, Romania.

2. Sistem Multi-Agent Colaborativ/Competitiv Orientat on E-Business, 2005-2007, CNCSIS, Romania.
3. Agenti Software pentru Web Semantic, 2002-2004, Ministerul Educatiei, Romania.
4. Agenti Software pentru Preucrarea Informatiei pe World-Wide-Web, 1999-2001, Ministerul Educatiei, Romania.
5. Sistem Multi-Agent pentru World-Wide-Web si Baze de Date Eterogene, 1998, Ministerul Educatiei, Romania.

Granturi externe:

1. Coordonator proiect Tempus SJEP-11248-96, 1996-1999