João Leite

José Júlio Alferes, Alfredo Gabaldon, João Leite, 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

Logics in Artificial Intelligence (JELIA 2004)

José Júlio Alferes, João Leite, 2004 .

Prescriptive Cost Management for Lean Supply Chains: - Extending Inter-Organizational Cost Management Through Ratio Project Planning

João Leite, Paulo Afonso, João Leite, 2016, APMS.

Preface

João Leite, Jürgen Dix, Ken Satoh, 2002, Electron. Notes Theor. Comput. Sci..

On Efficient Evolving Multi-Context Systems

Matthias Knorr, Ricardo Gonçalves, João Leite, 2014, PRICAI.

Adding Evolving Abilities to a Multi-Agent System

João Leite, Luís Soares, João Leite, 2006, CLIMA.

Introductory Essay of LADS'009

Paolo Torroni, João Leite, Mehdi Dastani, 2009, MALLOW.

A survey on languages and platforms for MAS implementation

João Leite, Rafael H. Bordini, Mehdi Dastani, 2006 .

Modeling of 3D Environments for Collaborative Immersive Applications Scenarios

João Leite, Anselmo Cardoso de Paiva, Ivana Marcia Oliveira Maia, 2018 .

On the Efficient Implementation of Social Abstract Argumentation

João Leite, Jorge Cruz, Marco Correia, 2014, ECAI.

Towards closed world reasoning in dynamic open worlds pdf

João Leite, Martin Slota, João Leite, 2010, Theory and Practice of Logic Programming.

Non-Markovian Agent Evolution with EVOLP

José Júlio Alferes, Alfredo Gabaldon, João Leite, 2008, Programming Multi-Agent Systems.

Evolving Characters in Role Playing Games

João Leite, Luı́s Soares, 2006 .

Extending NoHR for OWL 2 QL

Matthias Knorr, João Leite, Nuno Costa, 2015, JOWO@IJCAI.

Evolving Logic Programs with Temporal Operators

José Júlio Alferes, Alfredo Gabaldon, João Leite, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

The rise and fall of semantic rule updates based on SE-models pdf

João Leite, Martin Slota, 2014, Theory Pract. Log. Program..

Multi-dimensional Dynamic Logic Programming

José Júlio Alferes, Luís Moniz Pereira, João Leite, 2000, CL-2000 Workshop on Computational Logic in Multi-Agent Systems.

Dynamic Logic Programming

José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, 1998, APPIA-GULP-PRODE.

MINERVA - A Dynamic Logic Programming Agent Architecture

José Júlio Alferes, Luís Moniz Pereira, João Leite, 2001, ATAL.

The Refined Extension Principle for Semantics of Dynamic Logic Programming

José Júlio Alferes, Antonio Brogi, João Leite, 2005, Stud Logica.

Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies

Matthias Knorr, João Leite, Tobias Kaminski, 2015, JOWO@IJCAI.

On Some Differences Between Semantics of Logic Program Updates

João Leite, 2004, IBERAMIA.

Playing with Rules

João Leite, João Leite, 2009, DALT.

On Supporting Strong and Default Negation in Answer-Set Program Updates

João Leite, Martin Slota, Martin Baláz, 2014, IBERAMIA.

A note on the uniqueness of models in social abstract argumentation pdf

João Leite, Nicolas Maudet, Sébastien Konieczny, 2017, ArXiv.

The Ultimate Guide to Forgetting in Answer Set Programming

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, KR.

Efficient Reasoning with Rules and Ontologies

João Leite, 2017, ICAART.

Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004

José Júlio Alferes, João Leite, 2007, J. Appl. Log..

Forgetting in ASP: The Forgotten Properties

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, JELIA.

Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers

João Leite, 2004 .

Towards Efficient Evolving Multi-Context Systems (Preliminary Report) pdf

Matthias Knorr, Ricardo Gonçalves, João Leite, 2015, ArXiv.

On Condensing a Sequence of Updates in Answer-Set Programming

João Leite, Martin Slota, 2013, IJCAI.

Inconsistency Management in Reactive Multi-context Systems

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, JELIA.

You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, ECAI.

On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints

José Júlio Alferes, Luís Moniz Pereira, João Leite, 2001, EPIA.

Next Step for NoHR: OWL 2 QL

Matthias Knorr, João Leite, Nuno Costa, 2015, International Semantic Web Conference.

Variable Elimination for DLP-Functions

Stefan Woltran, Matthias Knorr, Ricardo Gonçalves, 2018, KR.

Languages, Methodologies, and Development Tools for Multi-Agent Systems

João Leite, Mehdi Dastani, Amal El Fallah Seghrouchni, 2010, Lecture Notes in Computer Science.

Metaphorical mapping consistency via Dynamic Logic Programming

Luís Moniz Pereira, João Leite, Amílcar Cardoso, 2014 .

An Evolving Agent with EVOLP

José Júlio Alferes, Luís Moniz Pereira, Antonio Brogi, 2003, APPIA-GULP-PRODE.

Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments pdf

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, Artif. Intell..

Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems - Volume 8143

Stefan Woltran, Paolo Torroni, João Leite, 2013 .

Iterative Variable Elimination in ASP

Matthias Knorr, Ricardo Gonçalves, João Leite, 2017, EPIA.

Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications

João Leite, André Platzer, João G. Martins, 2011, ICFEM.

Scalable Dynamic User Preferences for Recommender Systems through the Use of the Well-Founded Semantics

João Leite, Martin Slota, Manoela Ilic, 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

Back and Forth between Rules and SE-Models

João Leite, Martin Slota, 2011, LPNMR.

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Serena Villata, João Leite, Ana L. C. Bazzan, 2017, Lecture Notes in Computer Science.

Extending Social Abstract Argumentation with Votes on Attacks

João Leite, João G. Martins, Sinan Egilmez, 2013, TAFA.

On Minimal Change in Evolving Multi-Context Systems (Preliminary Report) pdf

Matthias Knorr, Ricardo Gonçalves, João Leite, 2015, ArXiv.

ERASP - a system for enhancing recommendations using answer-set programming

João Leite, Martin Slota, Manoela Ilic, 2009, Int. J. Reason. based Intell. Syst..

Robust Equivalence Models for Semantic Updates of Answer-Set Programs

João Leite, Martin Slota, 2012, KR.

EVOLP: An Implementation

João Leite, Martin Slota, 2007, CLIMA.

Exception-Based Knowledge Updates pdf

João Leite, Martin Slota, 2017, ArXiv.

Proceedings of the 10th international conference on Computational logic in multi-agent systems

Paolo Torroni, Guido Boella, João Leite, 2004 .

Social Abstract Argumentation

João Leite, João G. Martins, João Leite, 2011, IJCAI.

A Modified Semantics for LUPS

João Leite, João Leite, 2001, EPIA.

Querying LUBM with Non-monotonic Features in Protege using NoHR

Matthias Knorr, João Leite, Nuno Costa, 2015, International Semantic Web Conference.

Dynamic updates of non-monotonic knowledge bases

José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski, 2000, J. Log. Program..

Proceedings of the 14th European Conference on Logics in Artificial Intelligence - Volume 8761

João Leite, Eduardo Fermé, 2014 .

On Some Properties of Forgetting in ASP

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, DARe@ECAI.

Evolving Bridge Rules in Evolving Multi-Context Systems

Matthias Knorr, Ricardo Gonçalves, João Leite, 2014, CLIMA.

A Survey of Programming Languages and Platforms for Multi-Agent Systems

João Leite, Rafael H. Bordini, Mehdi Dastani, 2006, Informatica.

Minimal Change in Evolving Multi-Context Systems

Matthias Knorr, Ricardo Gonçalves, João Leite, 2015, EPIA.

Languages, Methodologies and Development Tools for Multi-Agent Systems, First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers

Paolo Torroni, João Leite, Mehdi Dastani, 2008, LADS.

NoHR: An Overview

Matthias Knorr, João Leite, Vedran Kasalica, 2020, KI - Künstliche Intelligenz.

The Added Value of Argumentation

Guillermo Ricardo Simari, Floris Bex, Ivan Bratko, 2013 .

Towards Inconsistency Management in Reactive Multi-Context Systems

Matthias Knorr, Ricardo Gonçalves, João Leite, 2016, DARe@ECAI.

Non-monotonic Temporal Goals

Matthias Knorr, Ricardo Gonçalves, João Leite, 2013, LPNMR.

Splitting and updating hybrid knowledge bases

João Leite, Martin Slota, Theresa Swift, 2011, Theory Pract. Log. Program..

A Bird's-Eye View of Forgetting in Answer-Set Programming

João Leite, João Leite, 2017, LPNMR.

Preface to the special issue on computational logics in multi-agent systems

Jürgen Dix, João Leite, 2011, Annals of Mathematics and Artificial Intelligence.

Evolving Logic Programs

José Júlio Alferes, Luís Moniz Pereira, Antonio Brogi, 2002, JELIA.

Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System

João Leite, Martin Slota, Manoela Ilic, 2008, IBERAMIA.

Computational Logic in Multi-Agent Systems. CLIMA 2011. Lecture Notes in Computer Science, vol 6814

Paolo Torroni, Guido Boella, João Leite, 2011 .

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XII)

Paolo Torroni, Guido Boella, João Leite, 2014, J. Log. Comput..

Equivalence of defeasible normative systems

José Júlio Alferes, Ricardo Gonçalves, João Leite, 2013, J. Appl. Non Class. Logics.

Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems

João Leite, Mehdi Dastani, Amal El Fallah Seghrouchni, 2009 .

Early Recovery in Logic Program Updates

João Leite, Martin Slota, Martin Baláz, 2013, LPNMR.

Proposal of a Carsharing System to Improve Urban Mobility pdf

João Leite, Pedro Silva, Fernando Almeida, 2017, ArXiv.

Generalizing Updates: From Models to Programs

Luís Moniz Pereira, João Leite, L. Pereira, 1997, LPKR.

A Logic Programming System for Evolving Programs with Temporal Operators

José Júlio Alferes, Alfredo Gabaldon, João Leite, 2009, EPIA.

A Query Tool for EL with Non-monotonic Rules

Matthias Knorr, João Leite, Vadim Ivanov, 2013, International Semantic Web Conference.

Improving Optical Music Recognition by Means of Abductive Constraint Logic Programming

João Leite, Amílcar Cardoso, Miguel Ferrand, 1999, EPIA.

When you must forget: Beyond strong persistence when forgetting in answer set programming

Stefan Woltran, Matthias Knorr, Ricardo Gonçalves, 2017, Theory Pract. Log. Program..

On updates of hybrid knowledge bases composed of ontologies and rules

João Leite, Martin Slota, Theresa Swift, 2015, Artif. Intell..

Mobile Application for Crowdmapping Accessibility Places and Generation of Accessible Routes

João Leite, Cláudio de Souza Baptista, Anselmo Cardoso de Paiva, 2018 .

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems

João Leite, André Platzer, João G. Martins, 2019, TABLEAUX.

An Evolvable Rule-Based E-mail Agent

José Júlio Alferes, Luís Moniz Pereira, Antonio Brogi, 2003, EPIA.

Tractable Reasoning Using Logic Programs with Intensional Concepts

Matthias Knorr, Ricardo Gonçalves, João Leite, 2021, JELIA.

Aligning Artificial Neural Networks and Ontologies towards Explainable AI

João Leite, Manuel de Sousa Ribeiro, João Leite, 2021, AAAI.

In-car Damage Dirt and Stain Estimation with RGB Images

João Leite, Jaime C. Fonseca, João Borges, 2021, ICAART.

On Syntactic Forgetting Under Uniform Equivalence

Matthias Knorr, Ricardo Gonçalves, João Leite, 2021, JELIA.

Dynamic Knowledge Based User Modeling for Recommender Systems

João Leite, João Leite, Martina Babini, 2006 .

Enhancing a Multi-Agent System with Evolving Logic Programs

João Leite, Luı́s Soares CENTRIA, 2006 .