Ricardo Gonçalves

Available identifiers

zbMath Open goncalves.ricardoWikidataQ85649759 ScholiaQ85649759MaRDI QIDQ1005972

List of research outcomes

Publication	Date of Publication	Type
Towards provenance in heterogeneous knowledge bases	2023-04-04	Paper
On syntactic forgetting under uniform equivalence	2021-12-01	Paper
Tractable reasoning using logic programs with intensional concepts	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ricardo Gonçalves