Ricardo João Rodrigues Gonçalves
AuthID: R-000-FBQ
41
TITLE: Normative Systems Represented as Hybrid Knowledge Bases Full Text
AUTHORS: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2011, SOURCE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
AUTHORS: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2011, SOURCE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
42
TITLE: Parametrized Equilibrium Logic Full Text
AUTHORS: Ricardo Goncalves; Jose Julio Alferes ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
AUTHORS: Ricardo Goncalves; Jose Julio Alferes ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: 
ORCID
ORCID43
TITLE: Parametrized Equilibrium Logic
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2011, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2011, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
44
TITLE: Towards a Behavioral Algebraic Theory of Logical Valuations
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2011, SOURCE: Fundam. Inform., VOLUME: 106, ISSUE: 2-4
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2011, SOURCE: Fundam. Inform., VOLUME: 106, ISSUE: 2-4
INDEXED IN: DBLP
DBLP45
TITLE: Mosquito Surveys and West Nile Virus Screening in Two Different Areas of Southern Portugal, 2004-2007
AUTHORS: Antonio Paulo G Almeida ; Ferdinando B Freitas; Maria Teresa Novo ; Carla A Sousa ; Joao C Rodrigues; Ricardo Alves; Aida Esteves ;
PUBLISHED: 2010, SOURCE: 1st Annual Arbo-Zoonet Annual Meeting in VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 10, ISSUE: 7
AUTHORS: Antonio Paulo G Almeida ; Ferdinando B Freitas; Maria Teresa Novo ; Carla A Sousa ; Joao C Rodrigues; Ricardo Alves; Aida Esteves ;
PUBLISHED: 2010, SOURCE: 1st Annual Arbo-Zoonet Annual Meeting in VECTOR-BORNE AND ZOONOTIC DISEASES, VOLUME: 10, ISSUE: 7
46
TITLE: Parametrized Logic Programming
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2010, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2010, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
47
TITLE: Behavioral algebraization of da Costa's C-systems
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
AUTHORS: Caleiro, C ; Goncalves, R;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
48
TITLE: Algebraic Valuations as Behavioral Logical Matrices
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, VOLUME: 5514
INDEXED IN: DBLP
DBLP49
TITLE: Behavioral algebraization of da Costa's C-systems
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2009, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 19, ISSUE: 2
INDEXED IN: DBLP
DBLP50
TITLE: On the Algebraization of Many-Sorted Logics
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2006, SOURCE: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, VOLUME: 4409
AUTHORS: Carlos Caleiro; Ricardo Gonçalves;
PUBLISHED: 2006, SOURCE: Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers, VOLUME: 4409
INDEXED IN: DBLP
DBLP