Ricardo Gonçalves

Available identifiers

zbMath Open goncalves.ricardoWikidataQ85649759 ScholiaQ85649759MaRDI QIDQ1005972

List of research outcomes

Publication	Date of Publication	Type
Revenue implications of choosing discrete bid levels in a Japanese-English auction	2024-05-21	Paper
Towards provenance in heterogeneous knowledge bases	2023-04-04	Paper
Tractable reasoning using logic programs with intensional concepts	2021-12-01	Paper
On syntactic forgetting under uniform equivalence	2021-12-01	Paper
On the limits of forgetting in answer set programming	2020-11-16	Paper
A Syntactic Operator for Forgetting that Satisfies Strong Persistence	2020-05-04	Paper
Reference Pricing with Elastic Demand for Pharmaceuticals	2018-09-25	Paper
A note on the wallet game with discrete bid levels	2018-09-20	Paper
Equivalence of defeasible normative systems	2018-08-28	Paper
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming	2018-07-12	Paper
Reactive multi-context systems: heterogeneous reasoning in dynamic environments	2018-05-11	Paper
When you must forget: Beyond strong persistence when forgetting in answer set programming	2017-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q5282995	2017-07-18	Paper
Inconsistency Management in Reactive Multi-context Systems	2016-11-30	Paper
Forgetting in ASP: The Forgotten Properties	2016-11-30	Paper
Brief announcement	2014-12-05	Paper
Evolving Bridge Rules in Evolving Multi-Context Systems	2014-10-14	Paper
Decidability and Implementation of Parametrized Logic Programs	2013-10-10	Paper
Non-monotonic Temporal Goals	2013-10-10	Paper
Time Is Up! – Norms with Deadlines in Action Languages	2013-10-04	Paper
Abstract valuation semantics	2013-09-23	Paper
An Embedding of Input-Output Logic in Deontic Logic Programs	2012-11-02	Paper
Towards a Behavioral Algebraic Theory of Logical Valuations	2011-11-22	Paper
EXPERIMENTAL EVIDENCE ON ENGLISH AUCTIONS: ORAL OUTCRY VERSUS CLOCK	2011-11-15	Paper
Normative Systems Represented as Hybrid Knowledge Bases	2011-09-16	Paper
Parametrized Equilibrium Logic	2011-05-26	Paper
Parametrized Logic Programming	2010-10-01	Paper
Behavioral algebraization of da Costa's C-systems	2009-11-30	Paper
Algebraic Valuations as Behavioral Logical Matrices	2009-07-02	Paper
Behavioral algebraization of logics	2009-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q3520840	2008-08-26	Paper
On the Algebraization of Many-Sorted Logics	2007-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q5311058	2005-08-22	Paper

Research outcomes over time

This page was built for person: Ricardo Gonçalves