If you made any changes in Pure these will be visible here soon.

Personal profile

Personal information

Since 2010, I'm a Professor in the Department of Computer Science, at the Faculdade de Ciências e Tecnologia/Universidade NOVA de Lisboa, after being an Associate Professor since 2000. 
Since 2015, I'm a researcher at the NOVA Laboratory for Computer Science and informatics (NOVA LINCS), where I also coordinate the Knowledge-Based Systems group. NOVA LINCS resulted from joining the core researcher of two previously existing centre in the department, one of them being the Artificial Intelligence Centre of Universidade Nova de Lisboa (CENTRIA), in which I was the director. From 2001 until the beginning of 2005 I was a member of the Executive Committee of the Department of Computer Science. From February 2005 to September 2007, I was the co-ordinator of the degree in Informatics Engineering at FCT-NOVA. From September 2009 to September 2011 I was Head of the Computer Science Department, and from September 2011 to June 2018 I was Vice-Dean of FCT NOVA. 

In 2012 I was nominated EurAI Fellow (formerly known as ECCAI Fellow). 

After doing my Ph.D. in Computer Science, back in October 1993, and until becoming Associate Professor at Universidade Nova de Lisboa, I was Assistant Professor in the Department of Mathematics at the University of Évora. There, besides teaching and research, I helped on the setting up of a new Computer Science degree, first, and of a Department of Computer Science, afterwards. I was also Head of the Mathematics Department, Director of the Departamental Area of Exact Sciences (between 1995 and 1997), and responsible in Évora for the M.Sc. in Applied Artificial Intelligence (joint organized by Universidade de Évora and Universidade Nova de Lisboa). 

My main research interests are within the area of Artificial Intelligence. More specifically, my interests have been focused on Logic Programming, Non-Monotonic Reasoning, Knowledge Representation, Model Based Diagnosis. Recently, a great part of my research work is directed towards the problem of Knowledge Base Updates  and on Evolution and Reactivity in the Web. I wrote a number of papers, and had some projects, on these subjects. I've also organized a couple of conferences and served in editorial boards of journals and programme committees of conferences in these areas (cf. my C.V.). 

Education/Academic qualification

Agregação in Computer Science

PhD in Computer Science, Doctorate, Universidade NOVA de Lisboa

Informatics Engineering, Bachelor

Fingerprint Dive into the research topics where José Júlio Alves Alferes is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 8 Similar Profiles
Logic programming Engineering & Materials Science
Semantics Engineering & Materials Science
Semantic Web Engineering & Materials Science
Logic Programs Mathematics
Ontology Engineering & Materials Science
Logic Programming Mathematics
Knowledge representation Engineering & Materials Science
Knowledge Base Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output at NOVA 1991 2019

Preface to PADL

Alferes, J. J. & Johansson, M., 1 Jan 2019, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11372 LNCS, p. V-VI

Research output: Contribution to journalEditorial

Telco Network Inventory Validation with NoHR

Kasalica, V., Gerochristos, I., Alferes, J. J., Gomes, A. S., Knorr, M. & Leite, J., 1 Jan 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Balduccini, M., Woltran, S. & Lierler, Y. (eds.). Cham: Springer Verlag, p. 18-31 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11481 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Telecommunication
Telecommunications
Data storage equipment
Reasoning
Change Management

Combining transactions and automatic repairs

Gomes, A. S. & Alferes, J. J., 20 Apr 2018, In : Journal Of Logic And Computation. 28, 3, p. 525-550 26 p.

Research output: Contribution to journalArticle

Repair
Transactions
Logic
Logic programming
Internal
2 Downloads (Pure)

A procedure for an event-condition-transaction language

Gomes, A. S. & Alferes, J. J., 2015, Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Proceedings. Springer-Verlag, Vol. 9209. p. 113-129 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9209).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Transactions
Semantic Web
Multi agent systems
Logic
Semantics

Activities 2007 2007

  • 1 Editorial activity

Journal Of Applied Logic (Journal)

José Júlio Alves Alferes (Editor)
1 Jan 2007

Activity: Publication peer-review and editorial workEditorial activity