Adriano Melo

158 Followers

14 SlideShares 158 Followers 5 Folgens

14 SlideShares 158 Followers 5 Folgens

description logic logic swrl semantic web dl protege lógica de descrições linux ufpe cinufpe git owl theorem prover ontology web semantic ontologias axioma da escolha axiom of choice física fisl motor de física verlet physics ubuntu debian rule language simpsons reasoning fact++ lógica método das conexões inteligencia artificial tg uni wsl cinlug open source revision control gatekeeper software livre ensol desenvolvimento aberto

Präsentationen
Dokumente
Infografiken

Aktuellste Beliebteste SlideShares

leanCoR: lean Connection-based DL Reasoner

Vor 9 Jahren • 639 Aufrufe

Aula sobre SWRL

Vor 10 Jahren • 794 Aufrufe

O axioma da escolha (the axiom of choice) - incomplete

Vor 10 Jahren • 582 Aufrufe

Mini-curso de Linux na CPRecife2

Vor 10 Jahren • 489 Aufrufe

FISL14 - Desmontando uma engine de física

Vor 10 Jahren • 1609 Aufrufe

Apresentação FLOSS

Vor 11 Jahren • 218 Aufrufe

Linux Desktop (Campus Party Recife)

Vor 11 Jahren • 607 Aufrufe

Aula SWRL

Vor 12 Jahren • 1024 Aufrufe

Protégé: Lógica de descrições na pratica!

Vor 12 Jahren • 1121 Aufrufe

Mini-curso de linux básico

Vor 12 Jahren • 1962 Aufrufe

git 101

Vor 12 Jahren • 495 Aufrufe

Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP

Vor 12 Jahren • 319 Aufrufe

git: o primeiro passo do seu projeto de código aberto

Vor 12 Jahren • 533 Aufrufe