The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ricardo Gonçalves 0001" ( http://dblp.L3S.de/Authors/Ricardo_Gonçalves_0001 )

URL (Homepage):  http://centria.di.fct.unl.pt/~rgon/  Author page on DBLP  Author page in RDF  Community of Ricardo Gonçalves 0001 in ASPL-2

Publication years (Num. hits)
2006-2013 (17) 2014-2017 (17) 2018-2019 (4)
Publication types (Num. hits)
article(12) inproceedings(26)
Venues (Conferences, Journals, ...)
CoRR(5) AAMAS(3) CLIMA(3) JELIA(3) LPNMR(3) DARe@ECAI(2) ECAI(2) EPIA(2) Journal of Applied Non-Classic...(2) KR(2) Studia Logica(2) AAAI(1) Artif. Intell.(1) DEON(1) Fundam. Inform.(1) JOWO@IJCAI(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

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