Etiqueta de registo: 00230nam 2200025 450
001 1703016
003 http://id.bnportugal.gov.pt/bib/catbnp/1703016
100 ## $a20090218d2006 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a A fuzzy description logic with modifiers$bTexto policopiado]$fNguyen Hoang Nga$gorient. Carlos Viegas Damásio, Steffen Hölldobler
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXIV, 100 f.$cil.$d31 cm
215 ## $a1 disco óptico (CD-ROM)$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, f. 99-100
328 #0 $bTese mestr.$cLógica Computacional$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2006
675 ## $a004.82(043)$vBN$zpor$90$31209577
675 ## $a004.77(043)$vBN$zpor$31229690
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aNguyen,$bHoang Nga$31404649
702 #1 $aDamásio,$bCarlos Viegas$4727$3239486
702 #1 $aHölldobler,$bSteffen$4727$31362888
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. 16424 P.$x1
966 ## $lBN$mFGMON$sP. 3888 A.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1737548
003 http://id.bnportugal.gov.pt/bib/catbnp/1737548
100 ## $a20100215d2008 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aParaconsistency, disjunction and uncertainty in logic programming$bTexto policopiado]$e a unifying approach based on well-founded semantics$fJoão Fernando Lima Alcântara$gorient. Luís Moniz Pereira, Carlos Viegas Damásio
210 #9 $aLisboa$c[s.n.],$d2008
215 ## $a1disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1cm
215 ## $aXIX, 429 p.$cil.$d30 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aBibliografia, p. 393-410
328 #0 $bTese dout.$cEngenharia Informática (Informática)$eFac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2008
675 ## $a004.42(043)$vBN$zpor$90$3793077
675 ## $a510(043)$vBN$zpor$31225910
700 #1 $aAlcântara,$bJoão Fernando Lima$31410565
702 #1 $aPereira,$bLuís Moniz,$f1947-$4727$373262
702 #1 $aDamásio,$bCarlos Viegas$4727$3239486
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia$4295$320143
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16617 P.$x1
966 ## $lBN$mFGMON$sP. 27952 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1650587
003 http://id.bnportugal.gov.pt/bib/catbnp/1650587
100 ## $a20070629d2005 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aDiagnóstico de sistemas de protecção de redes de energia eléctrica$bTexto policopiado]$fRui Miguel Martinho Dias Jorge$gorient. Carlos Viegas Damásio
210 #9 $aLisboa$c[s.n.],$d2005
215 ## $a196 f.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, f. 101-106
328 #0 $bTese mestr.$cInteligência Artificial Aplicada$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2005
675 ## $a004.8(043)$vBN$zpor$31234122
675 ## $a621.3.05(469)(043)$vBN$zpor$31237622
700 #1 $aJorge,$bRui Miguel Martinho Dias$31290900
702 #1 $aDamásio,$bCarlos Viegas$4727$3239486
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. 14904 P.$x1
966 ## $lBN$mFGMON$sP. 23707 V.$x1

Etiqueta de registo: 00793cam 22002413 450
001 639734
003 http://id.bnportugal.gov.pt/bib/catbnp/639734
005 19990105000000.0
095 ## $aPTBN00851373
100 ## $a19970127d1996 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aParaconsistent extended logic programming with constraints$bTexto policopiado]$fCarlos Augusto Isaac Piló Viegas Damásio
210 #9 $aLisboa$c[s.n.],$d1996
215 ## $a[3], XXXII, 375 p.$cil.$d30 cm
320 ## $aBibliografia, p. 355-371
328 ## $aTese dout. Informática, Univ. Nova de Lisboa, 1996
675 ## $a681.3(043.2)$vBN$zpor$3300199
700 #1 $aDamásio,$bCarlos Viegas$3239486
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 83220 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1987089
003 http://id.bnportugal.gov.pt/bib/catbnp/1987089
100 ## $a20180404d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aModular logic programming$efull compositionality and conflict handling for practical reasoning$fJoão Manuel Gomes Moura$gorient. Carlos Augusto Isaac Piló Viegas Damásio
210 #9 $aLisboa$c[s.n.],$d2016
215 ## $aXIV, 194 p.$cil.$d30 cm
328 #1 $aTese dout. Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2016
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aMoura,$bJoão Manuel Gomes$31709749
702 #1 $aDamásio,$bCarlos Viegas$4727$3239486
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 50267 V.$x1