Ricardo

Publications



Journals

  1. On the limits of forgetting in Answer Set Programming. Artificial Intelligence Journal (AIJ), volume 286, Elsevier, 2020 (with M. Knorr, J. Leite, and S. Woltran)

  2. A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Theory and Practice of Logic Programming (TPLP), volume 19 (5-6), pages 1038-1055, Cambridge University Press, 2019 (with M. Berthold, M. Knorr, and J. Leite)

  3. Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artificial Intelligence, volume 256, pages 68-104, Elsevier, 2018. (with G. Brewka, S. Ellmauthaler, M. Knorr, J. Leite and J. PŸhrer)

  4. When You Must Forget: beyond strong persistence when forgetting in answer set programming. Theory and Practice of Logic Programming (TPLP), volume 17 (5-6), pages 837-854, Cambridge University Press, 2017 (with M. Knorr, J. Leite, and S. Woltran)

  5. Abstract valuation semantics. Studia Logica, volume 101, number 4, pages 677-712, Springer, 2013. (with C. Caleiro)

  6. Equivalence of defeasible normative systems. Journal of Applied Non-Classical Logics, volume 23, issue 1-2, pages 25-48, 2013. (with J. J. Alferes and J. Leite)

  7. Towards a behavioral algebraic theory of logical valuations. Fundamenta Informaticae, volume 106 (2-4), pages 191-209, 2011. (with C. Caleiro)

  8. An algebraic perspective on valuation semantics (abstract). Bulletin of Symbolic Logic, volume 16 (1) page 151, 2010. (with C. Caleiro)

  9. Behavioral algebraization of da Costa's C- systems. Journal of Applied Non-Classical Logics, volume 19 (2), pages 127-148, 2009. (with C. Caleiro)

  10. Behavioral algebraization of logics. Studia Logica, volume 91 (1), pages 63-111, 2009. (with C. Caleiro and M. Martins)

  11. Equipollent logical systems. Logica Universalis, pages 99-112. Birkhäuser, 2005. (with C. Caleiro)



Conference Proceedings

  1. Forgetting in Modular Answer Set Programming. AAAI Conference on Artificial Intelligence, (AAAI), pages 2843-2850, AAAI Press, 2019. (with T. Janhunen, M. Knorr, J. Leite, and S. Woltran)

  2. Forgetting in Answer Set Programming with Anonymous Cycles. EPIA Conference on Artificial Intelligence, Progress in Artificial Intelligence, (EPIA), LNCS, vol.11805, pages 552-565, Springer, 2019. (with M. Berthold, M. Knorr, J. Leite)

  3. Variable Elimination for DLP-Functions. International Conference on Principles of Knowledge Representation and Reasoning, (KR), pages 643-644, AAAI Press, 2018. (with T. Janhunen, M. Knorr, J. Leite, and S. Woltran)

  4. Iterative Variable Elimination in ASP. EPIA Conference on Artificial Intelligence, Progress in Artificial Intelligence, (EPIA), LNCS, vol.10423, pages 643-656, Springer, 2017. (with M. Knorr, and J. Leite)

  5. You Can't Always Forget What You Want: on the limits of forgetting in answer set programming. European Conference on Artificial Intelligence, (ECAI), Frontiers in Artificial Intelligence and Applications, pages 957-965, IOS Press, 2016. (with M. Knorr and J. Leite)

  6. The Ultimate Guide to Forgetting in Answer Set Programming. In C. Baral, J. P. Delgrande, F. Wolter (eds.), International Conference on Principles of Knowledge Representation and Reasoning, (KR), 643--656, pages 135-144, AAAI Press, 2016. (with M. Knorr and J. Leite)

  7. Forgetting in ASP: The Forgotten Properties. European Conference on Logics in Artificial Intelligence (JELIA), Springer-Verlag, LNAI, 2016. (with M. Knorr and J. Leite)

  8. Inconsistency Management in Reactive Multi-Context Systems. European Conference on Logics in Artificial Intelligence (JELIA), Springer-Verlag, LNAI, 2016. (with G. Brewka, S. Ellmauthaler, M. Knorr, J. Leite, and J. Pührer)

  9. On Some Properties of Forgetting in ASP. International Workshop on Defeasible and Ampliative Reasoning (DARe), vol. 1626 of CEUR Workshop Proceedings, 2016. (with M. Knorr and J. Leite)

  10. Towards Inconsistency Management in Reactive Multi-Context Systems. International Workshop on Defeasible and Ampliative Reasoning (DARe), vol. 1626 of CEUR Workshop Proceedings, 2016. (with G. Brewka, S. Ellmauthaler, M. Knorr, J. Leite, and J. Pührer)

  11. Minimal Change in Evolving Multi-Context Systems. (EPIA) Conference on Artificial Intelligence, Progress in Artificial Intelligence, Springer, pages 611-623, LNCS 9273, 2015. (with M. Knorr and J. Leite)

  12. Combining rules and ontologies via parametrized logic programs. Workshop on Ontologies and Logic Programming for Query Answering, (ONTOLP), Buenos Aires, Argentina, 2015.

  13. Evolving Multi-Context Systems. European Conference on Artificial Intelligence (ECAI). Frontiers in Artificial Intelligence and Applications, pages 375-380, IOS Press 2014. (with M. Knorr and J. Leite)

  14. On Efficient Evolving Multi-Context Systems. Pacific Rim International Conference on Artificial Intelligence (PRICAI), Queensland, Australia, 2014. (with M. Knorr and J. Leite)

  15. Evolving Bridge Rules in Evolving Multi-Context Systems. International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XV), Springer-Verlag, LNAI 8624, 2014. (with M. Knorr and J. Leite)

  16. Towards Efficient Evolving Multi-Context Systems (Preliminary Report). International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow), Prague, Czech Republic, 2014. (with M. Knorr and J. Leite)

  17. On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow), Prague, Czech Republic, 2014. (with M. Knorr and J. Leite)

  18. Non-monotonic temporal goals. International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pages 374-386, Springer, LNAI 8148, 2013. (with M. Knorr, J. Leite and M. Slota)

  19. Decidability and implementation of parametrized logic programs. International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), pages 361-373, Springer, LNAI 8148, 2013. (with J. J. Alferes)

  20. Time is up! - Norms with Deadlines in Action Languages. International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), pages 223-238, Springer-Verlag, LNAI 8143, 2013. (with A. Gabaldon, M. Knorr, J. Leite and M. Slota)

  21. Deontic logic programs. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1333-1334. IFAAMAS, 2013. (with J. J. Alferes)

  22. Towards action languages with norms and deadlines. International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), Beijing, China, August 2013.

  23. Normative systems require Hybrid Knowledge Bases. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1425-1426. IFAAMAS, 2012. (with M. Alberti, S. Gomes, M. Knorr, J. Leite and M.Slota)

  24. Specifying and reasoning about normative systems in deontic logic programming. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1423-1424. IFAAMAS, 2012. (with J. J. Alferes)

  25. An embedding of input-output logic in deontic logic programs. International Conference on Deontic Logic in Computer Science (DEON), volume 7393 of LNCS, pages 61-75. Springer, 2012. (with J. J. Alferes)

  26. Parametrized equilibrium logic. International Conference on Logic Programming and Nonmonotonic Reasoning, (LPNMR), LNCS, volume 6645, pages 236-241, Springer, 2011. (with J. J. Alferes)

  27. Normative systems represented as hybrid knowledge bases. International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), LNCS, volume 6814, pages 330-346, Springer, 2011. (with M. Alberti, S. Gomes, M. Knorr, J. Leite and M.Slota)

  28. Parametrized logic programming. European Conference on Logics in Artificial Intelligence Logics, (JELIA), LNCS, volume 6341, pages 182-194, Springer, 2010. (with J. J. Alferes)

  29. Algebraic valuations as behavioral logical matrices. Workshop on Logic, Language, Information and Computation (WoLLIC), Selected Papers, LNAI, volume 5514, pages 13-25. Springer, 2009. (with C. Caleiro)

  30. On the algebraization of many-sorted logics. Recent Trends in Algebraic Development Techniques (WADT), Selected Papers, LNCS, volume 4409, pages 21-36. Springer, 2007. (with C. Caleiro)



Theses

Behavioral algebraization of logics. PhD Thesis, 2008. (Supervised by C. Caleiro)

Algebraization of logics and beyond. Diploma Thesis, 2004. (Supervised by C. Caleiro)



Other Refereed Publication

Teorema de Gõdel. In A. Cannas da Silva, L. Cruz-Filipe, R. Gonçalves, J. Pimentel Nunes, T. Reis, P. Resende and J. Silva editors, Seminário Diagonal -- Proceedings IST 2004-05, pages 1-9, Lisboa, Portugal, October 2004.