Efficient paraconsistent reasoning with rules and ontologies for the semantic web / Tobias Kaminski
Language: eng.Country: Portugal.Publication: Monte de Caparica : T. K., 2014Description: XIV, 119 p. : il. ; 31 cm + 1 CD-ROMThesis: Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Lógica Computacional.Subject - Topical Name: Lógica computacional , Teses Online Resources:Click here to access onlineItem type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Teses e dissertações | Biblioteca NOVA FCT Sala laranja/Piso 1 | Não Ficção | QA76.63.KAM FCT 83886 (Browse shelf(Opens below)) | 1 | Available | 84031 |
Browsing Biblioteca NOVA FCT shelves, Shelving location: Sala laranja/Piso 1, Collection: Não Ficção Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
QA76.VEN FCT 85021 Automatic extraction of concepts from texts and applications | QA76.575.ROS FCT 87211 Minimal computation structures for visual information applications based on printed electronics | QA76.63.BEY FCT 76588 Constraint-based verification of imperative programs | QA76.63.KAM FCT 83886 Efficient paraconsistent reasoning with rules and ontologies for the semantic web | QA76.63.PUG FCT 80157 A clustering approach for vehicle routing problems with hard time windows | QA76.63.SAL FCT 80485 Constraint reasoning with local search for continuous optimization | QA276.INA FCT 87754 Não centralidade, estimabilidade e relevância |
Dissertação apresentada à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Lógica Computacional
There are no comments on this title.
Log in to your account to post a comment.