João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Confirmed Publications: 81



21
TITLE: Time is up! - Norms with deadlines in action languages
AUTHORS: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8143 LNAI
INDEXED IN: Scopus CrossRef
IN MY: ORCID
22
TITLE: A unifying perspective on knowledge updates
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2012, SOURCE: 13th European Conference on Logics in Artificial Intelligence, JELIA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7519 LNAI
INDEXED IN: Scopus CrossRef
IN MY: ORCID
23
TITLE: MKNF knowledge bases in multi-context systems
AUTHORS: Homola, M; Knorr, M ; Leite, J ; Slota, M;
PUBLISHED: 2012, SOURCE: 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7486 LNAI
INDEXED IN: Scopus CrossRef
IN MY: ORCID
24
TITLE: Back and Forth between Rules and SE-Models  Full Text
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
25
TITLE: Evolving logic programs with temporal operators
AUTHORS: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLISHED: 2011, SOURCE: Symposium on Constructive Mathematics in Computer Science in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6565 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
26
TITLE: Normative Systems Represented as Hybrid Knowledge Bases  Full Text
AUTHORS: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2011, SOURCE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
27
TITLE: Preface
AUTHORS: Dastani, M; Seghrouchni, AEF; Hubner, J; Leite, J ;
PUBLISHED: 2011, SOURCE: 3rd International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems, LADS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6822 LNAI
INDEXED IN: Scopus
IN MY: ORCID
28
TITLE: Preface
AUTHORS: Leite, J ; Torroni, P; Agotnes, T; Boella, G; Van Der Torre, L;
PUBLISHED: 2011, SOURCE: 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, Co-located with the 22nd International Joint Conference on Artificial Intelligence in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6814 LNAI
INDEXED IN: Scopus
IN MY: ORCID
29
TITLE: Preface to the special issue on computational logics in multi-agent systems  Full Text
AUTHORS: Juergen Dix; Joao Leite ;
PUBLISHED: 2011, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 62, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
30
TITLE: Social abstract argumentation
AUTHORS: Leite, J ; Martins, J;
PUBLISHED: 2011, SOURCE: 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 in IJCAI International Joint Conference on Artificial Intelligence
INDEXED IN: Scopus
IN MY: ORCID
Page 3 of 9. Total results: 81.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service