Francisco Manuel Gonçalves Coelho
AuthID: R-000-5D6
1
TITLE: Elements for Weighted Answer-Set Programming
AUTHORS: Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu;
PUBLISHED: 2025, SOURCE: 14th Symposium on Languages, Applications and Technologies, SLATE 2025 in 14th Symposium on Languages, Applications and Technologies, SLATE 2025, June 26-27, 2025, Faro, Portugal, VOLUME: 135
AUTHORS: Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu;
PUBLISHED: 2025, SOURCE: 14th Symposium on Languages, Applications and Technologies, SLATE 2025 in 14th Symposium on Languages, Applications and Technologies, SLATE 2025, June 26-27, 2025, Faro, Portugal, VOLUME: 135
INDEXED IN:
Scopus
DBLP


2
TITLE: On lattices from combinatorial game theory: infinite case Full Text
AUTHORS: Carvalho, A ; Santos, CP ; Dias, C; Coelho, F; Neto, JP ; Nowakowski, RJ; Vinagre, S;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF GAME THEORY, VOLUME: 50, ISSUE: 3
AUTHORS: Carvalho, A ; Santos, CP ; Dias, C; Coelho, F; Neto, JP ; Nowakowski, RJ; Vinagre, S;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF GAME THEORY, VOLUME: 50, ISSUE: 3
3
TITLE: Atas das Oitavas Jornadas de Informática da Universidade de Évora
AUTHORS: Carlos P Caldeira; Francisco Coelho;
PUBLISHED: 2018
AUTHORS: Carlos P Caldeira; Francisco Coelho;
PUBLISHED: 2018
5
TITLE: Introdução à Matemática - Álgebra, Análise e Otimização
AUTHORS: Luís Bandeira; Francisco Coelho; Nuno Franco;
PUBLISHED: 2016
AUTHORS: Luís Bandeira; Francisco Coelho; Nuno Franco;
PUBLISHED: 2016
6
TITLE: Probabilistic Perception Revision in AGENTSPEAK(L)
AUTHORS: Coelho, F; Nogueira, V ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) in PRIMA 2015: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, VOLUME: 9387
AUTHORS: Coelho, F; Nogueira, V ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) in PRIMA 2015: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, VOLUME: 9387
7
TITLE: On lattices from combinatorial game theory modularity and a representation theorem: Finite case Full Text
AUTHORS: Carvalho, A; dos Santos, CP ; Dias, C; Coelho, F; Neto, JP; Nowakowski, R; Vinagre, S;
PUBLISHED: 2014, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 527
AUTHORS: Carvalho, A; dos Santos, CP ; Dias, C; Coelho, F; Neto, JP; Nowakowski, R; Vinagre, S;
PUBLISHED: 2014, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 527
8
TITLE: A Recursive Process Related to a Partizan Variation of Wythoff Full Text
AUTHORS: Alda Carvalho ; Carlos P Santos ; Cátia Lente Dias; Francisco Coelho; João Pedro Neto ; Sandra Vinagre;
PUBLISHED: 2012, SOURCE: Integers, VOLUME: 12, ISSUE: 5
AUTHORS: Alda Carvalho ; Carlos P Santos ; Cátia Lente Dias; Francisco Coelho; João Pedro Neto ; Sandra Vinagre;
PUBLISHED: 2012, SOURCE: Integers, VOLUME: 12, ISSUE: 5
9
TITLE: Teoria da computação, computabilidade e complexidade
AUTHORS: Francisco Coelho; João P Neto;
PUBLISHED: 2010
AUTHORS: Francisco Coelho; João P Neto;
PUBLISHED: 2010
10
TITLE: The euclid abstract machine: Trisection of the angle and the halting problem
AUTHORS: Francisco Coelho; José F Costa; Jerzy Mycka;
PUBLISHED: 2006
AUTHORS: Francisco Coelho; José F Costa; Jerzy Mycka;
PUBLISHED: 2006