João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Confirmed Publications: 81



11
TITLE: Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII)
AUTHORS: Joao Leite ; Paolo Torroni; Thomas Agotnes; Guido Boella; Leendert van der Torre;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 6
INDEXED IN: WOS CrossRef
12
TITLE: The rise and fall of semantic rule updates based on SE-models
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2014, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
13
TITLE: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
AUTHORS: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef
14
TITLE: A Query Tool for EL with Non-monotonic Rules
AUTHORS: Vadim Ivanov; Matthias Knorr; Joao Leite ;
PUBLISHED: 2013, SOURCE: 12th International Semantic Web Conference (ISWC) in SEMANTIC WEB - ISWC 2013, PART I, VOLUME: 8218, ISSUE: PART 1
INDEXED IN: Scopus WOS CrossRef
15
TITLE: Early Recovery in Logic Program Updates
AUTHORS: Martin Slota; Martin Balaz; Joao Leite ;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
16
TITLE: Equivalence of defeasible normative systems
AUTHORS: Alferes, JJ ; Goncalves, R; Leite, J ;
PUBLISHED: 2013, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 23, ISSUE: 1-2
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
17
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Leite, J ; Son, TC; Torroni, P; Van Der Torre, L; Woltran, S;
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 DBLP
IN MY: ORCID
18
TITLE: Non-monotonic Temporal Goals
AUTHORS: Ricardo Goncalves; Matthias Knorr ; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
19
TITLE: On condensing a sequence of updates in Answer-Set Programming
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2013, SOURCE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI International Joint Conference on Artificial Intelligence
INDEXED IN: Scopus
20
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
Page 2 of 9. Total results: 81.

A place for researchers and their institutions

Useful Links

Get Help

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