Ricardo Gonçalves

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

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

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

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

[BibT_eX]

[DOI]

CoRR, 2015

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

[BibT_eX]

[DOI]

CoRR, 2015

Combining Rules and Ontologies via Parametrized Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Minimal Change in Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2015

2014

On Efficient Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Evolving Bridge Rules in Evolving Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

2013

Abstract Valuation Semantics.

[BibT_eX]

[DOI]

Stud Logica, 2013

Equivalence of defeasible normative systems.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Non-monotonic Temporal Goals.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Decidability and Implementation of Parametrized Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Time Is Up! - Norms with Deadlines in Action Languages.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Deontic logic programs.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

An Embedding of Input-Output Logic in Deontic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Specifying and reasoning about normative systems in deontic logic programming.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Normative systems require hybrid knowledge bases.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Towards a Behavioral Algebraic Theory of Logical Valuations.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Parametrized Equilibrium Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Normative Systems Represented as Hybrid Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Parametrized Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Behavioral Algebraization of Logics.

[BibT_eX]

[DOI]

Manuel A. Martins

Stud Logica, 2009

Behavioral algebraization of da Costa's C-systems.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2009

Algebraic Valuations as Behavioral Logical Matrices.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

2006

On the Algebraization of Many-Sorted Logics.

[BibT_eX]

[DOI]