Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Ferreira, Francicleber Martins"'
Publikováno v:
EPTCS 277, 2018, pp. 220-234
We investigate the following problem: given a sample of classified strings, find a first-order sentence of minimal quantifier rank that is consistent with the sample. We represent strings as successor string structures, that is, finite structures wit
Externí odkaz:
http://arxiv.org/abs/1809.03106
Publikováno v:
Repositório Institucional da UFCUniversidade Federal do CearáUFC.
FERREIRA, Francicleber Martins. Expressividade e complexidade em lógicas preferenciais, híbridas e de grau limitado. 2012. 130 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012.
Submitted by El
Submitted by El
Externí odkaz:
http://www.repositorio.ufc.br/handle/riufc/18677
Publikováno v:
Repositório Institucional da UFCUniversidade Federal do CearáUFC.
FERREIRA, Francicleber Martins. Modelos minimais e hierarquia de expressividade. 2007. 122 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2007.
Submitted by Elineudson Ribeiro (elineudsonr@
Submitted by Elineudson Ribeiro (elineudsonr@
Externí odkaz:
http://www.repositorio.ufc.br/handle/riufc/18411
Publikováno v:
In Theoretical Computer Science 2 December 2020 843:115-135
Publikováno v:
In Theoretical Computer Science 18 January 2020 805:109-126
Publikováno v:
In Theoretical Computer Science 2011 412(37):4893-4904
Autor:
Ferreira, Francicleber Martins 1, Martins, Ana Teresa 2
Publikováno v:
In Electronic Notes in Theoretical Computer Science 4 August 2009 247:19-37
Autor:
Ferreira, Francicleber Martins1 fran@lia.ufc.br, Martins, Ana Teresa1 ana@lia.ufc.br
Publikováno v:
Logic Journal of the IGPL. Oct2007, Vol. 15 Issue 5/6, p503-526. 24p.
Publikováno v:
Repositório Institucional da Universidade Federal do Ceará (UFC)
Universidade Federal do Ceará (UFC)
instacron:UFC
Universidade Federal do Ceará (UFC)
instacron:UFC
We investigate the model theory of Preferential Logics, Hybrid Logic and fragments of Second-Order Logic with respect to finite models. The semantics of these logics differ from the semantics of classical logics either by using relations between mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::3822555449711e10ce791f3348908076
http://www.repositorio.ufc.br/handle/riufc/18677
http://www.repositorio.ufc.br/handle/riufc/18677
Publikováno v:
Repositório Institucional da Universidade Federal do Ceará (UFC)
Universidade Federal do Ceará (UFC)
instacron:UFC
Universidade Federal do Ceará (UFC)
instacron:UFC
FERREIRA, Francicleber Martins. Modelos minimais e hierarquia de expressividade. 2007. 122 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2007. Neste trabalho, o conceito de Modelo Minimal e seu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0d6eec7f39af4136a0ee497f1f22e52f
http://www.repositorio.ufc.br/handle/riufc/18059
http://www.repositorio.ufc.br/handle/riufc/18059