J. Leite, M. Slota. A Brief History of Updates of Answer-Set Programs. Theory and Practice of Logic Programming, 23(1):57-110, 2023. [PDF]

R. Gonçalves, M. Knorr, J. Leite. Forgetting in Answer Set Programming - A Survey. Theory and Practice of Logic Programming, 23(1):111-156, 2023. [PDF]

J. Ferreira, M. de Sousa Ribeiro, R. Gonçalves, J. Leite. Looking Inside the Black-Box: Logic-based Explanations for Neural Networks. In G. Kern-Isberner, G. Lakemeyer, and T. Meyer (eds.), Procs. of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR'22), 2022. [PDF]

M. Knorr, C. V. Damásio, R. Gonçalves and J. Leite. Towards Provenance in Heterogeneous Knowledge Bases. In G. Gottlob, D. Inclezan and M. Maratea (eds.), Procs of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR'22), LNAI 13416, 2022. [PDF]

M. Knorr, C. V. Damásio, R. Gonçalves and J. Leite. Modular Provenance in Multi-Context Systems (Extended Abstract). In F. Baader et al. (eds.), Proceedings of the Third Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'22), 2022. [PDF] [PDF]

M. de Sousa Ribeiro and J. Leite. Aligning Artificial Neural Networks and Ontologies towards Explainable AI. In Procs. of the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI'21), pp. 4932-4940, AAAI Press, 2021. [PDF]

R. Gonçalves, T. Janhunen, M. Knorr, J. Leite. On Syntactic Forgetting Under Uniform Equivalence. In W. Faber, G. Friedrich, M. Gebser, and M. Morak (eds.), Procs. of the 17th European Conference on Logics in Artificial Intelligence (JELIA'21), pp. 297-312, LNCS 12678, Springer 2021. [PDF]

J. Heyninck, R. Gonçalves, M. Knorr, J. Leite. Tractable Reasoning Using Logic Programs with Intensional Concepts. In W. Faber, G. Friedrich, M. Gebser, and M. Morak (eds.), Procs. of the 17th European Conference on Logics in Artificial Intelligence (JELIA'21), pp. 329-345, LNCS 12678, Springer 2021. [PDF]

R. Ferreira, Ca. Lopes, R. Gonçalves, M. Knorr, L. Krippahl, J. Leite. Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. In G. Marreiros, F. S. Melo, N. Lau, H. L. Cardoso and L. P. Reis (eds.), Procs of the 20th EPIA Conference on Artificial Intelligence (EPIA'21), pp. 338-350, LNCS 12981, Springer 2021. [PDF]

J. Ferreira, D. Lavado, R. Gonçalves, M. Knorr, L. Krippahl, J. Leite. Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. In G. Marreiros, F. S. Melo, N. Lau, H. L. Cardoso and L. P. Reis (eds.), Procs of the 20th EPIA Conference on Artificial Intelligence (EPIA'21), pp. 363-375, LNCS 12981, Springer 2021. [PDF]

M. de Sousa Ribeiro and J. Leite. On Generating Symbolic Explanations for Recurrent Neural Networks (Extended Abstract). In F. Baader et al. (eds.), Proceedings of the Second Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'21), 2021. [PDF]

M. de Sousa Ribeiro and J. Leite. Towards Generating Symbolic Explanations for Recurrent Neural Networks - a position paper. In E. Della Valle, T. Eiter, D. Le Phuoc and K. Schekotihin, Procs of the Fifth Stream Reasoning Workshop (SRW'21), 2021. [PDF]

R. Gonçalves, M. Knorr, J. Leite, S. Woltran. On the limits of forgetting in Answer Set Programming. Artificial Intelligence 286:103307, 2020. [PDF]

Vedran Kasalica, M. Knorr, J. Leite, C. Lopes. NoHR: An Overview. Künstliche Intelligenz 34(4): 509-515, 2020. [PDF]

M. de Sousa Ribeiro, L. Krippahl, J. Leite. Explainable Abstract Trains Dataset. CoRR abs/2012.12115, 2020. [PDF]

R. Gonçalves, T. Janhunen, M. Knorr, J. Leite, and S. Woltran. Obfuscating Knowledge in Modular Answer Set Programming. In M. V. Martínez and I. Varzinczak (eds.), Procs of the 18th International Workshop on Non-Monotonic Reasoning (NMR'20), 2020. [PDF]

J. Heyninck, R. Gonçalves, M. Knorr, and J. Leite. Towards Efficient Reasoning with Intensional Concepts. In M. V. Martínez and I. Varzinczak (eds.), Procs of the 18th International Workshop on Non-Monotonic Reasoning (NMR'20), 2020. [PDF]

R. Gonçalves, T. Janhunen, M. Knorr, J. Leite, S. Woltran. Forgetting in Modular Answer Set Programming. In Procs. of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI'19), pp. 2843-2850, AAAI Press, 2019. [PDF]

M. Berthold, R. Gonçalves, M. Knorr, J. Leite. A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Theory and Practice of Logic Programming 19(5-6):1038-1055, 2019. [PDF]

V. Kasalica, I. Gerochristos, J. J. Alferes, A. S. Gomes, M. Knorr, J. Leite. Telco Network Inventory Validation with NoHR. In M. Balduccini, Y. Lierler, and S. Woltran (eds.), Procs of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'19), pp. 18-31, LNCS 11481, Springer, 2019. [PDF]

J. G. Martins, A. Platzer, J. Leite. Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems. S. Cerrito and A. Popescu (eds.), Procs of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'19), pp. 428-445, LNCS 11714, Springer, 2019. [PDF]

M. Berthold, R. Gonçalves, M. Knorr, J. Leite. Forgetting in Answer Set Programming with Anonymous Cycles. In. P. M. Oliveira, P. Novais, and L. P. Reis (eds.). In Procs of the 19th EPIA Conference on Artificial Intelligence (EPIA'19), pp. 552-564, LNCS 11805, Springer, 2019. [PDF]

J. Leite, T. C. Son, P. Torroni, S. Woltran. Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). Journal of Logic and Computation 28(3): 475-476 (2018). [PDF]

G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite, J. Pührer. Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artificial Intelligence 256:68-104, 2018. [PDF]

R. Gonçalves, T. Janhunen, M. Knorr, J. Leite, S. Woltran. Variable Elimination for DLP-Functions. In M. Thielscher, F. Toni and F. Wolter (eds.), Procs of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'18), pp. 643-644, AAAI Press, 2018. [PDF]

R. Gonçalves, M. Knorr, J. Leite and S. Woltran. When you must forget: Beyond strong persistence when forgetting in answer set programming. Theory and Practice of Logic Programming 17(5-6):837-854, 2017. [PDF]

J. Leite. A Bird's-Eye View of Forgetting in Answer-Set Programming. Invited Talk. In M. Balduccini and T. Janhunen (eds.), Procs. of the Fourteen International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’17), pp.10-22 , Springer-Verlag, LNAI 10377, 2017. [PDF]

C. Lopes, M. Knorr and J. Leite. NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. In M. Balduccini and T. Janhunen (eds.), Procs. of the Fourteen International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’17), pp.236-249 , Springer-Verlag, LNAI 10377, 2017. [PDF]

O. Sabuncu and J. Leite. moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming. In M. Balduccini and T. Janhunen (eds.), Procs. of the Fourteen International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’17), pp.336-342 , Springer-Verlag, LNAI 10377, 2017. [PDF]

R. Gonçalves, M. Knorr and J. Leite. Iterative Variable Elimination in ASP. In E. Oliveira, J. Gama, Z. Vale and H. Cardoso (eds.), Progress in Artificial Intelligence - Procs. of the 18th EPIA Conference on Artificial Intelligence (EPIA'17), pp.643-656, Springer-Verlag, LNAI 10423, 2017. [PDF]

J. Leite. Efficient Reasoning with Rules and Ontologies. Invited Talk. In H. J. van den Herik, A. P. Rocha and J. Filipe (eds.), Proceedings of the 9th International Conference on Agents and Artificial Intelligence (ICAART'17), Volume 1, pp.7, SciTePress, 2017. [PDF]

R. Gonçalves, M. Knorr, and J. Leite. You Can't Always Forget What You Want: on the limits of forgetting in answer set programming. In M. Fox and G. Kaminka (eds.), Proceedings of the 22nd European Conference on Artificial Intelligence, ECAI 2016, The Hague, Holland, 2016, Proceedings. Frontiers in Artificial Intelligence and Applications, IOS Press 2016. [PDF]

R. Gonçalves, M. Knorr, and J. Leite. The Ultimate Guide to Forgetting in Answer Set Programming. In C. Baral, J. P. Delgrande, F. Wolter (eds.), Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR’16), pp.135-144, AAAI Press, 2016. [PDF]

G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite, and J. Pührer. Inconsistency Management in Reactive Multi-Context Systems. In M. Loizos (ed.), Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Springer-Verlag, LNAI, 2016. [PDF]

R. Gonçalves, M. Knorr, and J. Leite. Forgetting in ASP: The Forgotten Properties. In M. Loizos (ed.), Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Springer-Verlag, LNAI, 2016. [PDF]

G. Brewka, S. Ellmauthaler, R. Gonçalves, M. Knorr, J. Leite, and J. Pührer. Towards Inconsistency Management in Reactive Multi-Context Systems. In R. Booth, G. Casini, S. Klarman, G. Richard and I. Varzinczak (eds.), Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16), The Hague, Holland, August 29, vol 1626 of CEUR Workshop Proceedings, 2016. [PDF]

R. Gonçalves, M. Knorr, and J. Leite. On Some Properties of Forgetting in ASP. In R. Booth, G. Casini, S. Klarman, G. Richard and I. Varzinczak (eds.), Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16), The Hague, Holland, August 29, vol 1626 of CEUR Workshop Proceedings, 2016. [PDF]

M. Slota, J. Leite and T. Swift. On updates of hybrid knowledge bases composed of ontologies and rules. Artificial Intelligence, 229 pp. 33–104, 2015. [PDF]

T. Kaminski, M. Knorr and J. Leite. Efficient Paraconsistent Reasoning with Ontologies and Rules. In Q. Yang and M. Wooldridge (eds.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI'15), pp.3098--3105, AAAI Press, 2015. [PDF]

N. Costa, M. Knorr and J. Leite. Next Step for NoHR: OWL 2 QL. In M. Arenas and O. Corcho (Eds.) Proceedings of the 14th International Semantic Web Conference (ISWC'15), Springer-Verlag, LNCS 9366, 2015. [PDF]

N. Costa, M. Knorr and J. Leite. Querying LUBM with Non-monotonic Features in Protégé using NoHR. In S. Villata and J. Heflin (editors), Proceedings of the P&D Track at the 14th International Semantic Web Conference (ISWC'15), CEUR Workshop Proceedings, 2015. [PDF]

R. Gonçalves, M. Knorr and J. Leite. Minimal Change in Evolving Multi-Context Systems. In F. Pereira, P. Machado, E. Costa and A. Cardoso, Proceedings of the 17th Portuguese Conference on Artificial Intelligence EPIA 2015, Springer-Verlag, LNAI, 2015. [PDF]

V. Ivanov, M. Knorr and J. Leite. Reasoning over Ontologies and Non-monotonic Rules. In F. Pereira, P. Machado, E. Costa and A. Cardoso, Proceedings of the 17th Portuguese Conference on Artificial Intelligence EPIA 2015, Springer-Verlag, LNAI, 2015. [PDF]

T. Kaminski, M. Knorr and J. Leite. Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). In D. Calvanese and B. Konev (eds.) Proceedings of the 28th International Workshop on Description Logics, vol 1350 of CEUR Workshop Proceedings, 2015. [PDF]

N. Costa, M. Knorr and J. Leite. Extending NoHR for OWL 2 QL. In O. Papini (ed.), First workshop on Ontologies and logic programming for query answering, Buenos Aires, July 2015. [PDF]

T. Kaminski, M. Knorr and J. Leite. Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. In T. Hahmann et al. (eds.), First Joint Ontologies Workshop, Buenos Aires, July 2015. [PDF]

M. Correia, J. Cruz and J. Leite. On the Efficient Implementation of Social Abstract Argumentation. In T. Schaub, G. Friedrich, B. O'Sullivan (eds.) 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, 2014, Proceedings. Frontiers in Artificial Intelligence and Applications, IOS Press 2014. [PDF]

R. Gonçalves, M. Knorr and J. Leite. Evolving Multi-Context Systems. In T. Schaub, G. Friedrich, B. O'Sullivan (eds.) 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, 2014, Proceedings. Frontiers in Artificial Intelligence and Applications, IOS Press 2014. [PDF]

M. Slota and J. Leite. The Rise and Fall of Semantic Rule Updates based on SE Models. Theory and Practice of Logic Programming. 14(6):869-907, 2014. [PDF]

M. Knorr, M. Slota, M. Homola and J. Leite. What if no hybrid reasoner is available? - Hybrid MKNF in Multi-Context Systems. Journal of Logic and Computation. 24(6):1279-1311, 2014. [PDF]

M. Knorr, R. Gonçalves and J. Leite. On Efficient Evolving Multi-Context Systems. In D.-N. Pham and S.-B. Park (eds), Trends in Artificial Intelligence - Proceedings of the 13th Pacific Rim International Conference on Artificial Intelligence (PRICAI’14), Springer-Verlag, LNAI 8862, pp.284-296, 2014. [PDF]

M. Slota, M. Balaz and J. Leite. On Supporting Strong and Default Negation in Answer-Set Program Updates. In A. Bazzan and K. Pichara (eds), Advances in Artificial Intelligence - Proceedings of the 14th Ibero-American Conference on AI (IBERAMIA’14), Springer-Verlag, LNAI 8864, 2014. [PDF]

M. Slota, M. Balaz and J. Leite. On Strong and Default Negation in Logic Program Updates. In S. Konieczny and H. Tompits (eds.), Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR'14), Vienna, Austria, July 17-19, INFSYS Research Report 1843-14-01, July 2014. [PDF]

R. Gonçalves, M. Knorr and J. Leite. Evolving Bridge Rules in Evolving Multi-Context Systems. In N. Bulling, L. van der Torre, S. Villata, W. Jamroga and W. Vasconcelos (Eds.), Proceedings of the 15th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XV), Springer-Verlag, LNAI 8624, 2014. [PDF]

R. Gonçalves, M. Knorr and J. Leite. Towards Efficient Evolving Multi-Context Systems (Preliminary Report). In S. Ellmauthaler and J. Pühre (eds.) First International Workshop on Reactive Concepts in Knowledge Representation, ReactKnow’14, Prague, Czech Republic, 2014. [PDF]

R. Gonçalves, M. Knorr and J. Leite. On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). In S. Ellmauthaler and J. Pühre (eds.) First International Workshop on Reactive Concepts in Knowledge Representation, ReactKnow’14, Prague, Czech Republic, 2014. [PDF]

M. Slota, M. Balaz and J. Leite. On Strong and Default Negation in Answer-Set Program Updates. Theory and Practice of Logic Programming 13(4-5-Online supplement), 2014. [PDF]

M. Slota and J. Leite. On Condensing a Sequence of Updates in Answer-Set Programming. In F. Rossi (Ed.) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI’13), pp.1097-1103, AAAI Press, 2013. [PDF]

V. Ivanov, M. Knorr and J. Leite. A Query Tool for EL with Non-monotonic Rules. In H. Alani and L. Kagal (Eds.) Proceedings of the 12th International Semantic Web Conference (ISWC’13), pp216-231, Springer-Verlag, LNCS 8218, 2013. [PDF]

V. Ivanov, M. Knorr and J. Leite. NoHR: Querying EL with Non-monotonic rules. In E. Blomqvist and T. Groza (Eds.) Proceedings of the ISWC 2013 Posters & Demos Track, CEUR, 2013. [PDF]

R. Gonçalves, J. Leite, M. Knorr, and M. Slota. Non-monotonic Temporal Goals. In P. Cabalar and T. C. Son (Eds.), Procs. of the Twelveth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’13), pp.374-386 , Springer-Verlag, LNAI 8148, 2013. [PDF]

M. Slota, M. Balaz and J. Leite. Early Recovery in Logic Program Updates. In P. Cabalar and T. C. Son (Eds.), Procs. of the Twelveth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’13), pp.512-517, Springer-Verlag, LNAI 8148, 2013. [PDF]

M. Knorr, A. Gabaldon, R. Gonçalves, J. Leite and M. Slota. Time is up! - Norms with Deadlines in Action Languages. In J. Leite, T. C. Son, P. Torroni, L. Van der Torre and S. Woltran (Eds.), Proceedings of the 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), pp.223-238, Springer-Verlag, LNAI 8143, 2013. [PDF]

S. Egilmez, J. Martins and J. Leite. Extending Social Abstract Argumentation with votes on attacks. In E. Black, S. Modgil and N. Oren (Eds.) Procs of 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13), 2013. [PDF]

J. Alferes, R. Gonçalves and J. Leite. Equivalence of defeasible normative systems. Journal of Applied Non-Classical Logics 23(1–2): 25–48, 2013. [PDF]

S. Modgil, F. Toni, F. Bex, I. Bratko, C. I. Chesñevar, W. Dvořák, M. A. Falappa, X. Fan, S. A Gaggl, A. J. García, M. P. González, T. F. Gordon, J. Leite, M. Možina, C. Reed, G. R. Simari, S. Szeider, P. Torroni, and S. Woltran. The added value of argumentation. Chapter 21 in Agreement Technologies, Law, Governance and Technology Series 8, pp. 357-404. Springer-Verlag, 2013. [PDF]

M. Knorr, A. Gabaldon, R. Gonçalves, J. Leite and M. Slota. Towards Action Languages with Norms and Deadlines. In J. Ji, H. Strass and X. Wang (Eds.), Proceedings of the The Tenth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC’13), Beijing, China, August 2013. [PDF]

M. Slota and J. Leite. Robust equivalence models for semantic updates of answer-set programs. In G. Brewka, T. Eiter and S. McIlraith (eds.), Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), pages 158–168, AAAI Press, 2012.[PDF] [PDF]

M. Slota and J. Leite. A Unifying Perspective on Knowledge Updates. In L. Fariñas del Cerro, A. Herzig and J. Mengin (eds.), Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), Springer-Verlag, LNAI 7519, pages 372-384, 2012. [PDF]

M. Homola, M. Knorr, J. Leite and M. Slota. MKNF Knowledge Bases in Multi-Context Systems. In M. Fisher, L. van der Torre, M. Dastani, and G. Governatori (eds.), Proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIII), Springer-Verlag, LNAI 7486, Montpellier, France, August 27-28, pages 146-162, 2012.[PDF] [PDF]

M. Alberti, A. S. Gomes, R. Gonçalves, M. Knorr, J. Leite, and M. Slota. Normative systems require hybrid knowledge bases (extended abstract). In V. Conitzer, M. Winikoff, L. Padgham, and W. van der Hoek Torre, editors, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), IFAAMAS, pages 1425-1426, 2012.[PDF] [PDF]

J. Leite and J. Martins. Social Abstract Argumentation. In T. Walsh (Ed.) Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI’11), AAAI Press, pages 2287-2292, 2011. [PDF]

M. Slota, J. Leite and T. Swift. Splitting and Updating Hybrid Knowledge Bases. Theory and Practice of Logic Programming 11(4–5): 801–819, 2011. [PDF]

J. Martins, A. Platzer and J. Leite. Statistical Model Checking for Distributed Probabilistic Control Hybrid Automata with Smart Grid Applications. In S. Qin and Z. Qiu (Eds.) Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM'11), Springer-Verlag, LNCS 6991, pages 131–146, 2011. [PDF]

M. Slota and J. Leite. Back and Forth Between Rules and SE-Models. In J. Delgrande and W. Faber (Eds.), Procs. of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’11), Springer-Verlag, LNAI 6645, pages 174–186, 2011. [PDF]

M. Alberti, A. S. Gomes, R. Gonçalves, J. Leite and M. Slota. Normative Systems Represented as Hybrid Knowledge Bases. In J. Leite, P. Torroni, T, Ågotnes, G. Boella and L. Van der Torre (Eds.), Computational Logic in Multi-Agent Systems, 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, Proceedings, Springer-Verlag, LNAI 6814, 2011. [PDF]

J. Alferes, A. Gabaldon and J. Leite. Evolving Logic Programs with Temporal Operators. In M. Balduccini and T.C. Son (Eds.), Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Springer-Verlag, LNAI 6565, pages 193–212, 2011.. [PDF]

P. Torroni, M. Prandini, M. Ramilli, J. Leite and J. Martins. Arguments against the Troll. In Proceedings of the Eleventh AI*IA Symposium on Artificial Intelligence, Brescia, December 1-3, 2010, pp. 232-235. Arti Grafiche Apollonio, Brescia, Italy, 2010. ISBN: 9-788890-492419. [PDF]

C. Damásio, J. Alferes and J. Leite. A Declarative Semantics for the Rule Interchange Format Production Rule Dialect. In P.F. Patel-Schneider, Yu.Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks and Birte Glimm (eds.), Proceedings of the 9th International Semantic Web Conference, ISWC’10, Shanghai, China, November 2010, Springer-Verlag, LNAI 6496, pages 798-813, 2010. [PDF]

M. Slota and J. Leite. On Semantic Update Operators for Answer-Set Programs. In H. Coelho, R. Studer and M. Wooldridge (ed.) 19th European Conference on Artificial Intelligence, ECAI 2010, Lisbon, Portugal, 2010, Proceedings. Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 957-962, IOS Press 2010. [PDF]

M. Slota and J. Leite. Towards Closed World Reasoning in Dynamic Open Worlds. Theory and Practice of Logic Programming 10(4–6):547–564, 2010. [PDF]

M. Slota and J. Leite. Marrying stable models with belief update. In T. Meyer and E. Ternovska (eds.), Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10), Toronto, Canada, May 14-16, 2010. [PDF]

J. Leite. Playing with Rules. Invited Paper, In M. Baldoni, J.Bentahar, J. Lloyd and B. Van Riemsdijk (eds.), Declarative Agent Languages and Technologies VII, Seventh International Workshop, DALT 2009, Budapest, Hungary, May 2009, Selected, Revised, and Invited Papers, Springer-Verlag, LNAI 5948, pages 1-19, 2010. [PDF]

J. Leite, J. Alferes, and B. Mito. Resource allocation with answer-set programming. In Keith S. Decker, Jaime Sichman, Carles Sierra, and Cristiano Castelfranchi, editors, Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, pages 649-656, 2009. [PDF]

M. Ilic, J. Leite and M. Slota. ERASP - A System for Enhancing Recommendations using Answer-Set Programming. International Journal of Reasoning-based Intelligent Systems 1(3/4):147–163, 2009. [PDF]

J. J. Alferes, A. Gabaldon and J. Leite. A Logic Programming System for Evolving Programs with Temporal Operators. In L. S. Lopes, N. Lau, P. Mariano and L. M. Rocha (eds.), Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, Springer-Verlag, LNAI 5816, pages 101-112, 2009. [PDF]

M. Slota and J. Leite. EVOLP: Transformation-based semantics. In F. Sadri and K. Satoh, editors, Computational Logic in Multi-Agent Systems, 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, September 10-11, 2007, Revised Selected and Invited Papers, volume LNAI 5056, pages 117-136. Springer-Verlag, 2008. [PDF]

M. Slota and J. Leite. EVOLP: an implementation. In F. Sadri and K. Satoh, editors, Computational Logic in Multi-Agent Systems, 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII, Porto, Portugal, September 10-11, 2007, Revised Selected and Invited Papers, volume LNAI 5056, pages 288-298. Springer-Verlag, 2008. [PDF]

J. Alferes, A. Gabaldon and J. Leite. Evolving Logic Programming based Agents with Temporal Operators. In L. Jain, M. Gini, B. B. Faltings, T. Terano, C. Zhang, N. Cercone and L. Cao editors, Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technologies, pages 238-244, IEEE Computer Society, 2008. [PDF]

M. Ilic, J. Leite, and M. Slota. Scalable dynamic user preferences for recommender systems through the use of the well-founded semantics. In L. Jain, P. Lingras, M. Klusch, J. Lu, C. Zhang, N. Cercone and L. Cao editors, Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence, pages 840-846, IEEE Computer Society, 2008. [PDF]

M. Ilic, J. Leite, and M. Slota. Explicit dynamic user profiles for a collaborative filtering recommender system. In H. Geffner et al., editor, Proceedings of the 11th Ibero-American Conference on Artificial Intelligence (IBERAMIA'08), volume LNAI 5290, pages 352-361. Springer-Verlag, 2008. [PDF]

J. Leite and M. Ilic. Answer-Set Programming Based Dynamic User Modeling for Recommender Systems. In J. Neves, M. Santos and J. Machado (eds), Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007 Proceedings, LNAI 4874, Springer, Pag. 29-42, December 2007. [PDF]

M. Slota and J. Leite. EVOLP - Transformation-based Implementation. In F. Sadri and K. Satoh (eds), Pre-Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Pag. 290-294, September 2007. [PDF]

M. Slota and J. Leite. Operational Semantics for EVOLP. In: F. Sadri and K. Satoh (eds), Pre-Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA VIII), Pag. 118-133, September 2007. [PDF]

J. Leite. The Knowledge Evolution Group at CENTRIA. In The Association for Logic Programming Newsletter, August 2007. [PDF]

J. J. Alferes and J. Leite. Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. Journal of Applied Logics, 5(3), 389-391, 2007. [PDF]

V. Nigam and J. Leite. Adding Knowledge Updates to 3APL. In R. Bordini, M. Dastani, J. Dix and A. El F. Seghrouchni (eds.), Programming Multi-Agent-Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers, pp 165-181, Springer-Verlag, LNAI 4411, 2007. [PDF]

J. Leite and L. Soares. Adding Evolving Abilities to a Multi-Agent System. In K. Inoue, K. Satoh and F. Toni (eds.), Computational Logic in Multi-Agent Systems, 7th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VII, Hakodate, Japan, May 2006, Revised Selected and Invited Papers, pp246-265, Springer-Verlag, LNAI 4371, 2007. [PDF]

V. Nigam and J. Leite. A Dynamic Logic Programming based System for Agents with Declarative Goals. In M. Baldoni and U. Endriss (eds.), Declarative Agent Languages and Technologies IV, Fourth International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised, and Invited Papers, pp.174-190, Springer-Verlag, LNAI 4327, 2006. [PDF]

J. Leite and M. Babini. Dynamic Knowledge Based User Modeling for Recommender Systems. In A. Felfernig and M. Zanker (eds.), Procs of the ECAI 2006 Workshop on Recommender Systems, pp134-138, Riva del Garda, Italy, 2006. [PDF]

J. Leite and L. Soares. Enhancing a Multi-Agent System with Evolving Logic Programs. In K. Inoue, K. Satoh and F. Toni (eds.), Pre-Procs. of the 7th International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA VII), pp. 207-222, Hakodate, Japan, 2006. [PDF]

R. H. Bordini, L. Braubach, M. Dastani, A. El F. Seghrouchni, J. J. Gomez-Sanz, J. Leite, G. O'Hare, A. Pokahr and A. Ricci. A Survey of Programming Languages and Platforms for Multi-Agent Systems. Informatica 30(1): 33-44, 2006. [PDF]

V. Nigam and J. Leite. Using Dynamic Logic Programming to Obtain Agents with Declarative Goals - preliminary report. In M. Baldoni and U. Endriss (eds.), Pre-Procs. of the 4th International Workshop on Declarative Agent Languages and Technologies, (DALT’06), pp.114-129, Hakodate, Japan, 2006. [PDF]

V. Nigam and J. Leite. Incorporating Knowledge Updates in 3APL - preliminary report. In R. Bordini, M. Dastani, J. Dix and A. El F. Seghrouchni (eds.), Pre-Procs. of the 4th International Workshop on Programming Multi-Agent Systems, (PROMAS’06), pp.69-84, Hakodate, Japan, 2006. [PDF]

J. Leite and L. Soares. Evolving Characters in Role-Playing Games. In R. Trappl (ed.), Cybernetics and Systems 2006, 18th European Meeting on Cybernetics and Systems Research (EMCSR 2006), vol 2, pp. 515-520, Vienna, Austria, Austrian Society for Cybernetic Studies, 2006. [PDF]

J. J. Alferes, F. Banti, A. Brogi and J. A. Leite. The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79(1): 7-32, 2005. [PDF]

J. A. Leite. On Some Differences Between Semantics of Logic Program Updates. In C. Lemaître, C.A. Reyes, and J. A. Gonzalez (eds.), Procs. of the IX Ibero-American Conference on Artificial Intelligence (IBERAMIA'04), pp. 375–385, Springer-Verlag, LNAI 3315, 2004. [PDF]

J. Leite and P. Torroni. Fifth International Workshop on Computational Logic in Multi-Agent Systems - CLIMA V. In AgentLink News 16: 39, December 2004. [PDF]

J. J. Alferes, F. Banti, A. Brogi and J. A. Leite. Semantics for Dynamic Logic Programming: a principle-based approach. In V. Lifschitz and I. Niemelä, (eds.), Procs. of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), pages 8-20, Springer-Verlag, LNAI 2923, 2004. [PDF]

J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. Logic Programming for Evolving Agents. In M. Klusch, S. Ossowski, A. Omicini, H. Laamanen, (eds.), Procs. of the 7th International Workshop on Cooperative Information Agents (CIA'03), pages 281-297, Springer-Verlag, LNAI 2782, 2003. [PDF]

J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. An Evolving Agent with EVOLP. In N. Leone, P. Rullo (eds.), Procs. of APPIA-GULP-PRODE'02 Joint Conf. on Declarative Programming (AGP'03), Reggio Calabria, Italy, September 2003. [PDF]

J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. An Evolvable Rule-Based E-mail Agent. In F. Moura Pires and S. Abreu (eds.), Progress in Artificial Intelligence, 11th Portuguese International Conference on Artificial Intelligence (EPIA'03), Springer, LNAI, December 2003. [PDF]

J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. Evolving Logic Programs. In S. Flesca, S. Greco, N. Leone, G. Ianni (eds.), Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), pages 50-61, Springer-Verlag, LNCS 2424, 2002. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira, H. Przymusinska and T. C. Przymusinski. A Language for Multi-dimensional Updates. In J. Dix, J. A. Leite and K. Satoh (eds.), Proceedings of the 3rd International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA'02), pages 19-34, no. 93 of Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, 2002. Also in Electronic Notes in Theoretical Computer Science 70(5), 2002. [PDF]

J. Dix, J. A. Leite and K. Satoh. Preface. In J. Dix, J. A. Leite and K. Satoh (eds.), Proceedings of the 3rd International Workshop on Computational Logic in Multi-Agent Systems, (CLIMA'02), pages iii-v, no. 93 of Datalogiske Skrifter (Writings on Computer Science), Roskilde University, Denmark, 2002. Also in Electronic Notes in Theoretical Computer Science 70(5), 2002. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira, H. Przymusinska and T. C. Przymusinski. A Language for Updates with Multiple Dimensions. In J. J. Moreno-Navarro and J. M. Carballo (eds.), Procs. of the APPIA-GULP-PRODE'02 Joint Conference on Declarative Programming (AGP'02), pages 325-341, Faculdad de Informática de Madrid, Madrid, Spain, 2002. [PDF]

J. Dix, J. A. Leite and K. Satoh. A Report on the 2002 Workshop on Computational Logic in Multi-agent Systems (CLIMA'02). In The Association for Logic Programming Newsletter, 15(3): 5 pages, August 2002. [PDF]

J. A. Leite. Evolving Knowledge Bases - Specification and Semantics. PhD thesis, Universidade Nova de Lisboa, pp xx + 271, July 2002. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira. MINERVA - A Dynamic Logic Programming Agent Architecture. In J. J. Meyer and M. Tambe (eds.), Intelligent Agents VIII, pages 141-157, Springer-Verlag, LNAI 2333, 2002. [PDF]

J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. Computing Environment-Aware Agent Behaviours with Logic Program Updates. In A. Pettorossi (ed), Logic Based Program Synthesis and Transformation, 11th International Workshop, (LOPSTR'01), Selected Papers, pages 216-232, Springer-Verlag, LNCS 2372, 2002. [PDF]

J. J. Alferes, P. Dell'Acqua, E. Lamma, J. A. Leite, L. M. Pereira and F. Riguzzi. A Logic Based Approach to Multi-Agent Systems. Invited paper in The Association for Logic Programming Newsletter, 14(3): 13 pages, August 2001. [PDF]

J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira. Environment-aware Computations via Program Updates. In A. Pettorossi (ed), Pre-Proceedings of the Eleventh International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'01), pages 112-123, Paphos, Cyprus, November 2001. [PDF]

J. A. Leite. A Modified Semantics for LUPS. In P. Brazdil and A. Jorge (eds.), Progress in Artificial Intelligence, 10th Portuguese International Conference on Artificial Intelligence (EPIA'01), pages 261-275, Springer-Verlag, LNAI 2258, December 2001. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira. On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. In P. Brazdil and A. Jorge (eds.), Progress in Artificial Intelligence, 10th Portuguese International Conference on Artificial Intelligence (EPIA'01), pages 276-289, Springer-Verlag, LNAI 2258, December 2001. [PDF]

P. Dell'Acqua, J. A. Leite and L. M. Pereira. Evolving Multi-Agent Viewpoints - an architecture. In P. Brazdil and A. Jorge (eds.), Progress in Artificial Intelligence, 10th Portuguese International Conference on Artificial Intelligence (EPIA'01), pages 169-182, Springer-Verlag, LNAI 2258, December 2001. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira. Combining Societal Agents' Knowledge. In L. M. Pereira and P. Quaresma (eds.), Procs. of the APPIA-GULP-PRODE'01 Joint Conference on Declarative Programming (AGP'01), pages 313-327, Évora, Portugal, September 2001. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira. Multi-dimensional Dynamic Knowledge Representation. In T. Eiter, W. Faber and M. Truszczynski, Procs. of the Sixth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), pages 365-378, Springer-Verlag, LNAI 2173, 2001. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira. MINERVA - A Dynamic Logic Programming Agent Architecture. In J. J. Meyer and M. Tambe (eds.), Pre-Procs. of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL'01), pages 133-145, Seattle, USA, August 2001. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira. Multi-dimensional Logic Programming. Technical Report, Dept. de Informatica, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2001. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira. MINERVA - Combining Societal Agents Knowledge. Technical Report, Dept. de Informatica, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2001. [PDF]

J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Dynamic Updates of Non-Monotonic Knowledge Bases. The Journal of Logic Programming 45(1-3): 43-70, September/October 2000. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira. Dynamic Logic Programming with Multiple Dimensions. In L. Garcia and M. Chiara Meo (eds.), Procs. of the APPIA-GULP-PRODE'00 Joint Conference on Declarative Programming (AGP'00), La Habana, Cuba, December 2000. [PDF]

J. A. Leite, J. J. Alferes and L. M. Pereira. Multi-dimensional Dynamic Logic Programming. In F. Sadri and K. Satoh (eds.), Procs. of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA'00), pages 17-26, London, England, July 2000. [PDF]

J. A. Leite, F. C. Pereira, A. Cardoso and L. M. Pereira. Metaphorical Mapping consistency via Dynamic Logic Programming. In G. Wiggins (ed.), Procs. of the AISB Symposium on Creative and Cultural Aspects and Applications of AI and Cognitive Science (AISB'00), pages 41-50, AISB, Birmingham, England, April 2000. [PDF]

J. J. Alferes, J. A. Leite, L. M. Pereira, P. Quaresma. Planning as Abductive Updating. In D. Kitchin (ed.), Procs. of the AISB Symposium on AI Planning and Intelligent Agents (AISB'00), pages 1-8, AISB, Birmingham, England, April 2000. [PDF]

P. Dell'Acqua, J. A. Leite and L. M. Pereira. Evolving Multi-Agent Viewpoints - an architecture. ITN Technical Report, LiTH-ITN-R-2000-3, Dept. of Science and Technology (ITN), Linköping University, Sweden, 2000. [PDF]

M. Ferrand, J. A. Leite and A. Cardoso. Improving Optical Music Recognition by means of Abductive Constraint Logic Programming. In P. Barahona and J. J. Alferes (eds.), Progress in Artificial Intelligence, 9th Portuguese International Conference on Artificial Intelligence (EPIA'99), pages 342-356, Springer-Verlag, LNAI 1695, September 1999. [PDF]

M. Ferrand, J. A. Leite and A. Cardoso. Hypothetical Reasoning: an application to Optical Music Recognition. In M. C. Meo and M. V. Ferro (eds.), Procs. of the APPIA-GULP-PRODE'99 Joint Conference on Declarative Programming (AGP'99), pages 367-381, L'Aquila, Italy, September 1999. [PDF]

J. A. Leite. ESSLLI’99 - The Eleventh Summer School in Logic, Language and Information: -a student view report. In The Compulog Magazine – The Newsletter of the European Network in Computational Logic, December 1999. [PDF]

J. A. Leite and L. M. Pereira. Iterated Logic Program Updates. In J. Jaffar (ed.), Procs. of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98), Manchester, England, pages 265-278, MIT Press, June 1998. [PDF]

J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Dynamic Logic Programming. In A. Cohn, L. Schubert and S. Shapiro (eds.), Procs. of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, pages 98-109, Morgan Kaufmann, June 1998. [PDF]

J. A. Leite and L. M. Pereira. Generalizing updates: from models to programs. In J.Dix, L.M. Pereira and T.C.Przymusinski (eds), Logic Programming and Knowledge Representation, Selected Extended Papers from LPKR'97, pages 224-246, Springer-Verlag, LNAI 1471, 1998. [PDF]

J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Updates of Logic Programs by Logic Programs. In M. Klopotek, M. Michalewicz, Z. Ras (eds), Procs. of Intelligent Information Systems VII (IIS'98), Malbork, Poland, pages 160-177, Wydawnictwo IPI PAN, June 1998. [PDF]

J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Dynamic Logic Programming. In J. L. Freire, M. Falaschi and M. Vialres-Ferro (eds.), Procs. of the 1998 Joint Conference on Declarative Programming (AGP'98), La Coruña, Spain, pages 393-408, July 1998. [PDF]

J. A. Leite and L. M. Pereira. Actualização de Programas em Lógica. Technical Report, Dept. de Informatica, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 1998. [PDF]

J. A. Leite, M. Ferrand and A. Cardoso. RIEM: a System for Recognition and Interpretation of Music Writing (in portuguese). Internal Report RI-DEI-001-98, Dept. Engenharia Informatica, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, 1998. [PDF]

J. A. Leite. Logic Program Updates. M.Sc. Dissertation, Dept. de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, November 1997. [PDF]

J. A. Leite and L. M. Pereira. Generalizing updates: from models to programs. In J.Dix, L.M. Pereira and T.C.Przymusinski (eds), Procs. of the ILPS'97 workshop on Logic Programming and Knowledge Representation (LPKR'97), Port Jefferson, Long Island, NY, USA, pages 1-24, October 1997. [PDF]

J. J. Alferes, J. A. Leite , L. M. Pereira, H. Przymusinska and T. C. Przymusinski. Dynamic Logic Programming. Linköping Electronic Articles in Computer and Information Science, Vol. 2(1997): nr 18. http://www.ep.liu.se/ea/cis/1997/018/. December 12, 1997. [PDF]

J. A. Leite and M. Ferrand. RIEM: Reconhecimento e Interpretação de Escrita Musical. B.Sc. Dissertation, Dept. de Engenharia Electrotécnica, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, July 1994. [PDF]