|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 41 publication records. Showing 40 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matti Berthold, Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
A Syntactic Operator for Forgetting that Satisfies Strong Persistence.  |
CoRR  |
2019 |
DBLP BibTeX RDF |
|
| 1 | Matti Berthold, Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran |
Forgetting in Modular Answer Set Programming. |
AAAI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Berthold, Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
Forgetting in Answer Set Programming with Anonymous Cycles. |
EPIA (2) |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer |
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. |
Artif. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran |
Variable Elimination for DLP-Functions. |
KR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Stefan Woltran |
When You Must Forget: beyond strong persistence when forgetting in answer set programming. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Stefan Woltran |
When you must forget: Beyond strong persistence when forgetting in answer set programming. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
Iterative Variable Elimination in ASP. |
EPIA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer |
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer |
Towards Inconsistency Management in Reactive Multi-Context Systems. |
DARe@ECAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. |
ECAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
On Some Properties of Forgetting in ASP. |
DARe@ECAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer |
Inconsistency Management in Reactive Multi-context Systems. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
Forgetting in ASP: The Forgotten Properties. |
JELIA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
The Ultimate Guide to Forgetting in Answer Set Programming. |
KR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
Towards Efficient Evolving Multi-Context Systems (Preliminary Report). |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
Minimal Change in Evolving Multi-Context Systems. |
EPIA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001 |
Combining Rules and Ontologies via Parametrized Logic Programs. |
JOWO@IJCAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Matthias Knorr, Ricardo Gonçalves 0001, João Leite |
On Efficient Evolving Multi-Context Systems. |
PRICAI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
Evolving Multi-Context Systems. |
ECAI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite |
Evolving Bridge Rules in Evolving Multi-Context Systems. |
CLIMA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves 0001 |
Abstract Valuation Semantics. |
Studia Logica |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | José Júlio Alferes, Ricardo Gonçalves 0001, João Leite |
Equivalence of defeasible normative systems. |
Journal of Applied Non-Classical Logics |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Martin Slota |
Non-monotonic Temporal Goals. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, José Júlio Alferes |
Decidability and Implementation of Parametrized Logic Programs. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves 0001, João Leite, Martin Slota |
Time Is Up! - Norms with Deadlines in Action Languages. |
CLIMA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, José Júlio Alferes |
Deontic logic programs. |
AAMAS |
2013 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, José Júlio Alferes |
Specifying and reasoning about normative systems in deontic logic programming. |
AAMAS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Marco Alberti 0001, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves 0001, Martin Slota |
Normative systems require hybrid knowledge bases. |
AAMAS |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, José Júlio Alferes |
An Embedding of Input-Output Logic in Deontic Logic Programs. |
DEON |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves 0001 |
Towards a Behavioral Algebraic Theory of Logical Valuations. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, José Júlio Alferes |
Parametrized Equilibrium Logic. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti 0001, Ana Sofia Gomes, Ricardo Gonçalves 0001, João Leite, Martin Slota |
Normative Systems Represented as Hybrid Knowledge Bases. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Gonçalves 0001, José Júlio Alferes |
Parametrized Logic Programming. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves 0001, Manuel A. Martins |
Behavioral Algebraization of Logics. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
many-sorted behavioral logic, non-truth-functionality, Abstract algebraic logic |
| 1 | Carlos Caleiro, Ricardo Gonçalves 0001 |
Behavioral algebraization of da Costa's C-systems. |
Journal of Applied Non-Classical Logics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Ricardo Gonçalves 0001 |
Algebraic Valuations as Behavioral Logical Matrices. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
behavioral algebraization, logical matrix, valuation semantics, algebraic logic |
| 1 | Carlos Caleiro, Ricardo Gonçalves 0001 |
On the Algebraization of Many-Sorted Logics. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license