Etiqueta de registo: 00230nam 2200025 450
001 1811145
003 http://id.bnportugal.gov.pt/bib/catbnp/1811145
100 ## $a20120508d2011 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aCombining open and closed world reasoning for the semantic web$fMathias Knorr$gorient. José Júlio Alves Alferes, Pascal Hitzler
210 #9 $aLisboa$c[s.n.],$d2011
215 ## $aXIV, 229 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 15 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia p. 211-229
328 #1 $aTese dout. Informática, Fac. Ciências e Tecnologia, Univ. Nova de Lisboa, 2011
675 ## $a004.73(043)$vBN$zpor$3813506
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aKnorr,$bMatthias$31362887
702 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$4727$3112556
702 #1 $aHitzler,$bPascal$4727$31498182
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 19390 P.$x1
966 ## $lBN$mFGMON$sP. 34411 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1737913
003 http://id.bnportugal.gov.pt/bib/catbnp/1737913
100 ## $a20100219d2008 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSumário pormenorizado da lição logic programming updates$bTexto policopiado]$fJosé Júlio Alves Alferes
210 #9 $a[Lisboa$cs.n.],$d2008
215 ## $a34 p.$cil.$d30 cm$ecurriculum vitae (33 p.)
300 ## $aProvas de agregação, Univ. Nova de Lisboa, 2008
320 ## $aBibliografia, p. 30- 34
675 ## $a004.42(079)$vBN$zpor$31170732
675 ## $a378.2(469.411)$vBN$zpor$31430838
700 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$3112556
712 02 $aUniversidade Nova de Lisboa$4295$320134
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 27958 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1737912
003 http://id.bnportugal.gov.pt/bib/catbnp/1737912
100 ## $a20100219d2008 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aRelatório da disciplina de knowledge representation and reasoning$bTexto policopiado]$fJosé Júlio Alves Alferes
210 #9 $a[Lisboa$cs.n.],$d2008
215 ## $a65, [68] p., folhas soltas$cil.$d30 cm
300 ## $aProvas de agregação, Univ. Nova de Lisboa, 2008
320 ## $aContém bibliografia
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a378.2(469)$vBN$zpor$3512703
700 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$3112556
712 02 $aUniversidade Nova de Lisboa$4295$320134
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 27957 V.$x1

Etiqueta de registo: 00230nlm 2200025 450
001 1737910
003 http://id.bnportugal.gov.pt/bib/catbnp/1737910
100 ## $a20100219d2008 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
106 ## $as
200 1# $aRelatório da disciplina de knowledge representation and reasoning$bRecurso electrónico] ;$aSumário pormenorizado da lição logic programming updates$fJosé Júlio Alves Alferes
210 #9 $a[Lisboa$cs.n.],$d2008
215 ## $a1 disco óptico (CD-ROM) em bolsa de resguardo$cil.$d13 x 15 cm
230 ## $aDados
300 ## $aProvas de candidatura ao título de Agregado no ramo de informática, Univ. Nova de Lisboa, 2008
304 ## $aTít. retirado do primeiro ecrâ informativo
320 ## $aContém bibliografia
510 1# $aSumário pormenorizado da lição logic programming updates
675 ## $a004.42(079)(0.034)$vBN$zpor$90$31430910
675 ## $a378.2(469.411)(0.034)$vBN$zpor$31430911
700 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$3112556
712 02 $aUniversidade Nova de Lisboa$4295$320134
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16592 P.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1726428
003 http://id.bnportugal.gov.pt/bib/catbnp/1726428
100 ## $a20091009d2007 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aEvolving reactive logic programs$fFederico Banti$gorient. José Júlio Alferes
210 #9 $aLisboa$c[s.n.],$d2007
215 ## $aXIV, 256 p.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$d13 x 15 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese dout.$cInformática$eFac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2007
675 ## $a004.81(043)$vBN$zpor$90$31241076
675 ## $a159.955(043)$vBN$zpor$3650377
675 ## $a519.85(043)$vBN$zpor$31221125
700 #1 $aBanti,$bFederico$31395825
702 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$4727$3112556
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia.$bDepartamento de Informática$4295$31213513
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16150 P.$x1
966 ## $lBN$mFGMON$sP. 26981 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702609
003 http://id.bnportugal.gov.pt/bib/catbnp/1702609
100 ## $a20090213d2007 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a An approach to complex event detection in web$bTexto policopiado]$fGastón E. Tagni$gorient. José Júlio Alferes
210 #9 $aLisboa$c[s.n.],$d2007
215 ## $aXII, 116 p.$cil.$d31 cm
215 ## $a1 disco óptico (CD-ROM)$cil.$d13 x 14 x 1 cm
315 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cLógica Computacional$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2007
675 ## $a004.73(043)$vBN$zpor$3813506
675 ## $a004.82(043)$vBN$zpor$31209577
700 #1 $aTagni,$bGastón E.$31362865
702 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$4727$3112556
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia.$bDepartamento de Informática$4295$31213513
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15745 P.$x1
966 ## $lBN$mFGMON$sP. 25655 V.$x1

Etiqueta de registo: 00998cam 2200313 450
001 726070
003 http://id.bnportugal.gov.pt/bib/catbnp/726070
005 19990108000000.0
095 ## $aPTBN00513254
100 ## $a19931118d1993 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aSemantics of logic programs with explicit negation$bTexto policopiado]$fJosé Júlio Alves Alferes
210 #9 $aLisboa$c[s.n.],$d1993
215 ## $aXIV, 222 p.$d30 cm
320 ## $aBibliografia, p. 185-194
328 ## $aTese dout. Engenharia Informática, Univ. Nova Lisboa, 1993
675 ## $a681.3.06(043)$vBN$zpor$3301665
675 ## $a510.6(043)$vBN$zpor$31303923
675 ## $a519.68(043)$vBN$zpor$3302159
675 ## $a007(043)$vBN$zpor$3480725
700 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$3112556
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 75699 V.$x1

Etiqueta de registo: 00998cam 2200313 450
001 1922942
003 http://id.bnportugal.gov.pt/bib/catbnp/1922942
100 ## $a20160217d2015 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aTransactions in dynamic reactive environments$fAna Sofia Gomes$gorient. José Júlio Alferes
210 #9 $aLisboa$c[s.n.],$d2015
215 ## $aXVI, 271 p.$d30 cm
320 ## $aContém bibliografia
328 #1 $aTese dout. Informática, Fac. Ciências e Tecnologia, Univ. Nova Lisboa, 2015
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $93$aGomes,$bAna Sofia$31636187
702 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$4727$3112556
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 43901 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1942086
003 http://id.bnportugal.gov.pt/bib/catbnp/1942086
100 ## $a20160919d2011 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aDistributed knowlegde bases$e a proposal for argumentation-based semantics with cooporation$fIara Carnavale de Almeida$gorient. José Júlio Alferes, Luís Arriaga da Cunha
210 #9 $aÉvora$c[s.n.],$d2011
215 ## $a[2] f., XIV, 178 p.$d30 cm
328 #1 $aTese dout. Informática, Inst. de Investigação e Formação Avançada, Universidade de Évora, 2011
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aAlmeida,$bIara Carnavale de$31657075
702 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$4727$3112556
702 #1 $aCunha,$bLuís Arriaga da$4727$375262
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 45394 V.$x1