The following pages link to Ricardo Gonçalves (Q1005972):
Displayed 33 items.
- Item:Q1005972 (redirect page) (← links)
- Abstract valuation semantics (Q368484) (← links)
- Behavioral algebraization of logics (Q1005974) (← links)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- A note on the wallet game with discrete bid levels (Q1782422) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Towards provenance in heterogeneous knowledge bases (Q2694577) (← links)
- Inconsistency Management in Reactive Multi-context Systems (Q2835898) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Decidability and Implementation of Parametrized Logic Programs (Q2851266) (← links)
- Non-monotonic Temporal Goals (Q2851267) (← links)
- Time Is Up! – Norms with Deadlines in Action Languages (Q2851972) (← links)
- Evolving Bridge Rules in Evolving Multi-Context Systems (Q2921958) (← links)
- Parametrized Equilibrium Logic (Q3003262) (← links)
- Normative Systems Represented as Hybrid Knowledge Bases (Q3092311) (← links)
- EXPERIMENTAL EVIDENCE ON ENGLISH AUCTIONS: ORAL OUTCRY VERSUS CLOCK (Q3096859) (← links)
- Towards a Behavioral Algebraic Theory of Logical Valuations (Q3100162) (← links)
- An Embedding of Input-Output Logic in Deontic Logic Programs (Q3167596) (← links)
- (Q3520840) (← links)
- On the Algebraization of Many-Sorted Logics (Q3591067) (← links)
- Algebraic Valuations as Behavioral Logical Matrices (Q3638271) (← links)
- Behavioral algebraization of da Costa's <i>C</i>-systems (Q3647293) (← links)
- You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming (Q4576228) (← links)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- Reference Pricing with Elastic Demand for Pharmaceuticals (Q4684758) (← links)
- Parametrized Logic Programming (Q4930764) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- (Q5282995) (← links)
- (Q5311058) (← links)
- Brief announcement (Q5891993) (← links)