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
IN MY: ORCID
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
IN MY: ORCID
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
IN MY: ORCID
15
TITLE: Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
AUTHORS: João Leite ; Tran Cao Son; Paolo Torroni; Leon van der Torre; Stefan Woltran;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in CLIMA, VOLUME: 8143
INDEXED IN: Scopus DBLP
IN MY: ORCID
16
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
17
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
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
IN MY: ORCID
20
TITLE: Time Is Up! - Norms with Deadlines in Action Languages
AUTHORS: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXED IN: WOS
Page 2 of 9. Total results: 81.

footer slogan

Useful Links

Get Help

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