SlideShare una empresa de Scribd logo
1 de 2
Professor Ilkka Niemelä
Docent Tomi Janhunen
Computational Logic
Computational Logic in a Nutshell
We develop automated reasoning techniques for solving challenging computational
problems in engineering and science.

Más contenido relacionado

La actualidad más candente

Soft computing from net
Soft computing from netSoft computing from net
Soft computing from netEasyMedico.com
 
Introduction to soft computing V 1.0
Introduction to soft computing  V 1.0Introduction to soft computing  V 1.0
Introduction to soft computing V 1.0Dr. C.V. Suresh Babu
 
Neural networks and deep learning
Neural networks and deep learningNeural networks and deep learning
Neural networks and deep learningRADO7900
 
Emotion detection using cnn.pptx
Emotion detection using cnn.pptxEmotion detection using cnn.pptx
Emotion detection using cnn.pptxRADO7900
 

La actualidad más candente (6)

Soft computing01
Soft computing01Soft computing01
Soft computing01
 
Soft computing from net
Soft computing from netSoft computing from net
Soft computing from net
 
Introduction to soft computing V 1.0
Introduction to soft computing  V 1.0Introduction to soft computing  V 1.0
Introduction to soft computing V 1.0
 
SoftComputing1
SoftComputing1SoftComputing1
SoftComputing1
 
Neural networks and deep learning
Neural networks and deep learningNeural networks and deep learning
Neural networks and deep learning
 
Emotion detection using cnn.pptx
Emotion detection using cnn.pptxEmotion detection using cnn.pptx
Emotion detection using cnn.pptx
 

Destacado

04.啟程.德國杜塞道夫(日本週)嘉年華.搭船遊萊茵河.購物(2016.05.20 05.21)
04.啟程.德國杜塞道夫(日本週)嘉年華.搭船遊萊茵河.購物(2016.05.20 05.21)04.啟程.德國杜塞道夫(日本週)嘉年華.搭船遊萊茵河.購物(2016.05.20 05.21)
04.啟程.德國杜塞道夫(日本週)嘉年華.搭船遊萊茵河.購物(2016.05.20 05.21)溫秀嬌
 
Differentiated Instructional Techniques and How to Engage Students and Provid...
Differentiated Instructional Techniques and How to Engage Students and Provid...Differentiated Instructional Techniques and How to Engage Students and Provid...
Differentiated Instructional Techniques and How to Engage Students and Provid...Kevin Bryant
 
"Katalog lengkap produk buku PAUD 2017 ~ penerbit Asaka Prima
"Katalog lengkap produk buku PAUD 2017 ~ penerbit Asaka Prima"Katalog lengkap produk buku PAUD 2017 ~ penerbit Asaka Prima
"Katalog lengkap produk buku PAUD 2017 ~ penerbit Asaka Primahara hotel
 
Каталог KAN-therm PP в Гомеле (www.rbu-osnova-by)
Каталог KAN-therm PP в Гомеле (www.rbu-osnova-by)Каталог KAN-therm PP в Гомеле (www.rbu-osnova-by)
Каталог KAN-therm PP в Гомеле (www.rbu-osnova-by)vitlenko
 
Netwerken werkt presentatieversie
Netwerken werkt presentatieversieNetwerken werkt presentatieversie
Netwerken werkt presentatieversieniek van mourik
 
Pe cursus-data-analytics-xadat-nl RA en AA accountants
Pe cursus-data-analytics-xadat-nl RA en AA accountantsPe cursus-data-analytics-xadat-nl RA en AA accountants
Pe cursus-data-analytics-xadat-nl RA en AA accountantsMondy Holten
 
USE OF ICT IN IIT AND IIM LIBRARIES OF INDIA
USE OF ICT IN IIT AND IIM LIBRARIES OF INDIA USE OF ICT IN IIT AND IIM LIBRARIES OF INDIA
USE OF ICT IN IIT AND IIM LIBRARIES OF INDIA IAEME Publication
 
практические эксперименты по визуальной заметности пешеходов
практические эксперименты по визуальной заметности пешеходовпрактические эксперименты по визуальной заметности пешеходов
практические эксперименты по визуальной заметности пешеходовAnastasia Simonova
 
презентация интеллектуальная игра знает правила семья значит знаю их и я
презентация интеллектуальная игра знает правила семья значит знаю их и япрезентация интеллектуальная игра знает правила семья значит знаю их и я
презентация интеллектуальная игра знает правила семья значит знаю их и яAnastasia Simonova
 
Каталог KAN-therm Push в Гомеле (www.rbu-osnova-by)
Каталог KAN-therm Push в Гомеле (www.rbu-osnova-by)Каталог KAN-therm Push в Гомеле (www.rbu-osnova-by)
Каталог KAN-therm Push в Гомеле (www.rbu-osnova-by)vitlenko
 
深層リカレントニューラルネットワークを用いた日本語述語項構造解析
深層リカレントニューラルネットワークを用いた日本語述語項構造解析深層リカレントニューラルネットワークを用いた日本語述語項構造解析
深層リカレントニューラルネットワークを用いた日本語述語項構造解析Hiroki Ouchi
 
#Jual Mainan Edukasi Anak APE Termurah ~ Katalog ape 2017
#Jual Mainan Edukasi Anak APE Termurah ~ Katalog ape 2017#Jual Mainan Edukasi Anak APE Termurah ~ Katalog ape 2017
#Jual Mainan Edukasi Anak APE Termurah ~ Katalog ape 2017hara hotel
 
Informatico Final 2.
Informatico Final 2.Informatico Final 2.
Informatico Final 2.2757
 

Destacado (20)

Digital Data-Driven Healthcare and Wellbeing
Digital Data-Driven  Healthcare and WellbeingDigital Data-Driven  Healthcare and Wellbeing
Digital Data-Driven Healthcare and Wellbeing
 
Complex Networks
Complex NetworksComplex Networks
Complex Networks
 
Probabilistic Machine Learning
Probabilistic Machine LearningProbabilistic Machine Learning
Probabilistic Machine Learning
 
Rtai
RtaiRtai
Rtai
 
04.啟程.德國杜塞道夫(日本週)嘉年華.搭船遊萊茵河.購物(2016.05.20 05.21)
04.啟程.德國杜塞道夫(日本週)嘉年華.搭船遊萊茵河.購物(2016.05.20 05.21)04.啟程.德國杜塞道夫(日本週)嘉年華.搭船遊萊茵河.購物(2016.05.20 05.21)
04.啟程.德國杜塞道夫(日本週)嘉年華.搭船遊萊茵河.購物(2016.05.20 05.21)
 
Differentiated Instructional Techniques and How to Engage Students and Provid...
Differentiated Instructional Techniques and How to Engage Students and Provid...Differentiated Instructional Techniques and How to Engage Students and Provid...
Differentiated Instructional Techniques and How to Engage Students and Provid...
 
Ch12 Tree
Ch12 TreeCh12 Tree
Ch12 Tree
 
Symbolic logic
Symbolic logicSymbolic logic
Symbolic logic
 
"Katalog lengkap produk buku PAUD 2017 ~ penerbit Asaka Prima
"Katalog lengkap produk buku PAUD 2017 ~ penerbit Asaka Prima"Katalog lengkap produk buku PAUD 2017 ~ penerbit Asaka Prima
"Katalog lengkap produk buku PAUD 2017 ~ penerbit Asaka Prima
 
Каталог KAN-therm PP в Гомеле (www.rbu-osnova-by)
Каталог KAN-therm PP в Гомеле (www.rbu-osnova-by)Каталог KAN-therm PP в Гомеле (www.rbu-osnova-by)
Каталог KAN-therm PP в Гомеле (www.rbu-osnova-by)
 
Netwerken werkt presentatieversie
Netwerken werkt presentatieversieNetwerken werkt presentatieversie
Netwerken werkt presentatieversie
 
Pe cursus-data-analytics-xadat-nl RA en AA accountants
Pe cursus-data-analytics-xadat-nl RA en AA accountantsPe cursus-data-analytics-xadat-nl RA en AA accountants
Pe cursus-data-analytics-xadat-nl RA en AA accountants
 
USE OF ICT IN IIT AND IIM LIBRARIES OF INDIA
USE OF ICT IN IIT AND IIM LIBRARIES OF INDIA USE OF ICT IN IIT AND IIM LIBRARIES OF INDIA
USE OF ICT IN IIT AND IIM LIBRARIES OF INDIA
 
практические эксперименты по визуальной заметности пешеходов
практические эксперименты по визуальной заметности пешеходовпрактические эксперименты по визуальной заметности пешеходов
практические эксперименты по визуальной заметности пешеходов
 
MSc_thesis
MSc_thesisMSc_thesis
MSc_thesis
 
презентация интеллектуальная игра знает правила семья значит знаю их и я
презентация интеллектуальная игра знает правила семья значит знаю их и япрезентация интеллектуальная игра знает правила семья значит знаю их и я
презентация интеллектуальная игра знает правила семья значит знаю их и я
 
Каталог KAN-therm Push в Гомеле (www.rbu-osnova-by)
Каталог KAN-therm Push в Гомеле (www.rbu-osnova-by)Каталог KAN-therm Push в Гомеле (www.rbu-osnova-by)
Каталог KAN-therm Push в Гомеле (www.rbu-osnova-by)
 
深層リカレントニューラルネットワークを用いた日本語述語項構造解析
深層リカレントニューラルネットワークを用いた日本語述語項構造解析深層リカレントニューラルネットワークを用いた日本語述語項構造解析
深層リカレントニューラルネットワークを用いた日本語述語項構造解析
 
#Jual Mainan Edukasi Anak APE Termurah ~ Katalog ape 2017
#Jual Mainan Edukasi Anak APE Termurah ~ Katalog ape 2017#Jual Mainan Edukasi Anak APE Termurah ~ Katalog ape 2017
#Jual Mainan Edukasi Anak APE Termurah ~ Katalog ape 2017
 
Informatico Final 2.
Informatico Final 2.Informatico Final 2.
Informatico Final 2.
 

Más de Department of Computer Science, Aalto University (11)

Data strategy aija leiponen_01112016
Data strategy aija leiponen_01112016Data strategy aija leiponen_01112016
Data strategy aija leiponen_01112016
 
Tiedon jakaminen: Case Mobility as a Service MaaS
Tiedon jakaminen: Case Mobility as a Service MaaSTiedon jakaminen: Case Mobility as a Service MaaS
Tiedon jakaminen: Case Mobility as a Service MaaS
 
MaaS Global to revolutionize the global transportation market with Whim
MaaS Global to revolutionize the global transportation market with WhimMaaS Global to revolutionize the global transportation market with Whim
MaaS Global to revolutionize the global transportation market with Whim
 
KIRA-digi
KIRA-digiKIRA-digi
KIRA-digi
 
Jakamo - Supply chain collaboration platform
Jakamo - Supply chain collaboration platformJakamo - Supply chain collaboration platform
Jakamo - Supply chain collaboration platform
 
Fingrid ja yhteiskäyttöinen tieto
Fingrid ja yhteiskäyttöinen tieto Fingrid ja yhteiskäyttöinen tieto
Fingrid ja yhteiskäyttöinen tieto
 
Data mining group
Data mining groupData mining group
Data mining group
 
Secure Systems
Secure SystemsSecure Systems
Secure Systems
 
Distributed Systems, Mobile Computing and Security
Distributed Systems, Mobile Computing and SecurityDistributed Systems, Mobile Computing and Security
Distributed Systems, Mobile Computing and Security
 
Applications of Machine Learning
Applications of Machine LearningApplications of Machine Learning
Applications of Machine Learning
 
Kernel-based machine learning methods
Kernel-based machine learning methodsKernel-based machine learning methods
Kernel-based machine learning methods
 

Último

Molecular markers- RFLP, RAPD, AFLP, SNP etc.
Molecular markers- RFLP, RAPD, AFLP, SNP etc.Molecular markers- RFLP, RAPD, AFLP, SNP etc.
Molecular markers- RFLP, RAPD, AFLP, SNP etc.Silpa
 
Chemistry 5th semester paper 1st Notes.pdf
Chemistry 5th semester paper 1st Notes.pdfChemistry 5th semester paper 1st Notes.pdf
Chemistry 5th semester paper 1st Notes.pdfSumit Kumar yadav
 
Thyroid Physiology_Dr.E. Muralinath_ Associate Professor
Thyroid Physiology_Dr.E. Muralinath_ Associate ProfessorThyroid Physiology_Dr.E. Muralinath_ Associate Professor
Thyroid Physiology_Dr.E. Muralinath_ Associate Professormuralinath2
 
Genetics and epigenetics of ADHD and comorbid conditions
Genetics and epigenetics of ADHD and comorbid conditionsGenetics and epigenetics of ADHD and comorbid conditions
Genetics and epigenetics of ADHD and comorbid conditionsbassianu17
 
PSYCHOSOCIAL NEEDS. in nursing II sem pptx
PSYCHOSOCIAL NEEDS. in nursing II sem pptxPSYCHOSOCIAL NEEDS. in nursing II sem pptx
PSYCHOSOCIAL NEEDS. in nursing II sem pptxSuji236384
 
Reboulia: features, anatomy, morphology etc.
Reboulia: features, anatomy, morphology etc.Reboulia: features, anatomy, morphology etc.
Reboulia: features, anatomy, morphology etc.Silpa
 
THE ROLE OF BIOTECHNOLOGY IN THE ECONOMIC UPLIFT.pptx
THE ROLE OF BIOTECHNOLOGY IN THE ECONOMIC UPLIFT.pptxTHE ROLE OF BIOTECHNOLOGY IN THE ECONOMIC UPLIFT.pptx
THE ROLE OF BIOTECHNOLOGY IN THE ECONOMIC UPLIFT.pptxANSARKHAN96
 
Grade 7 - Lesson 1 - Microscope and Its Functions
Grade 7 - Lesson 1 - Microscope and Its FunctionsGrade 7 - Lesson 1 - Microscope and Its Functions
Grade 7 - Lesson 1 - Microscope and Its FunctionsOrtegaSyrineMay
 
The Mariana Trench remarkable geological features on Earth.pptx
The Mariana Trench remarkable geological features on Earth.pptxThe Mariana Trench remarkable geological features on Earth.pptx
The Mariana Trench remarkable geological features on Earth.pptxseri bangash
 
Zoology 5th semester notes( Sumit_yadav).pdf
Zoology 5th semester notes( Sumit_yadav).pdfZoology 5th semester notes( Sumit_yadav).pdf
Zoology 5th semester notes( Sumit_yadav).pdfSumit Kumar yadav
 
Biogenic Sulfur Gases as Biosignatures on Temperate Sub-Neptune Waterworlds
Biogenic Sulfur Gases as Biosignatures on Temperate Sub-Neptune WaterworldsBiogenic Sulfur Gases as Biosignatures on Temperate Sub-Neptune Waterworlds
Biogenic Sulfur Gases as Biosignatures on Temperate Sub-Neptune WaterworldsSérgio Sacani
 
module for grade 9 for distance learning
module for grade 9 for distance learningmodule for grade 9 for distance learning
module for grade 9 for distance learninglevieagacer
 
Dr. E. Muralinath_ Blood indices_clinical aspects
Dr. E. Muralinath_ Blood indices_clinical  aspectsDr. E. Muralinath_ Blood indices_clinical  aspects
Dr. E. Muralinath_ Blood indices_clinical aspectsmuralinath2
 
TransientOffsetin14CAftertheCarringtonEventRecordedbyPolarTreeRings
TransientOffsetin14CAftertheCarringtonEventRecordedbyPolarTreeRingsTransientOffsetin14CAftertheCarringtonEventRecordedbyPolarTreeRings
TransientOffsetin14CAftertheCarringtonEventRecordedbyPolarTreeRingsSérgio Sacani
 
FAIRSpectra - Enabling the FAIRification of Spectroscopy and Spectrometry
FAIRSpectra - Enabling the FAIRification of Spectroscopy and SpectrometryFAIRSpectra - Enabling the FAIRification of Spectroscopy and Spectrometry
FAIRSpectra - Enabling the FAIRification of Spectroscopy and SpectrometryAlex Henderson
 
Role of AI in seed science Predictive modelling and Beyond.pptx
Role of AI in seed science  Predictive modelling and  Beyond.pptxRole of AI in seed science  Predictive modelling and  Beyond.pptx
Role of AI in seed science Predictive modelling and Beyond.pptxArvind Kumar
 
CYTOGENETIC MAP................ ppt.pptx
CYTOGENETIC MAP................ ppt.pptxCYTOGENETIC MAP................ ppt.pptx
CYTOGENETIC MAP................ ppt.pptxSilpa
 
Module for Grade 9 for Asynchronous/Distance learning
Module for Grade 9 for Asynchronous/Distance learningModule for Grade 9 for Asynchronous/Distance learning
Module for Grade 9 for Asynchronous/Distance learninglevieagacer
 

Último (20)

Molecular markers- RFLP, RAPD, AFLP, SNP etc.
Molecular markers- RFLP, RAPD, AFLP, SNP etc.Molecular markers- RFLP, RAPD, AFLP, SNP etc.
Molecular markers- RFLP, RAPD, AFLP, SNP etc.
 
Chemistry 5th semester paper 1st Notes.pdf
Chemistry 5th semester paper 1st Notes.pdfChemistry 5th semester paper 1st Notes.pdf
Chemistry 5th semester paper 1st Notes.pdf
 
Thyroid Physiology_Dr.E. Muralinath_ Associate Professor
Thyroid Physiology_Dr.E. Muralinath_ Associate ProfessorThyroid Physiology_Dr.E. Muralinath_ Associate Professor
Thyroid Physiology_Dr.E. Muralinath_ Associate Professor
 
Genetics and epigenetics of ADHD and comorbid conditions
Genetics and epigenetics of ADHD and comorbid conditionsGenetics and epigenetics of ADHD and comorbid conditions
Genetics and epigenetics of ADHD and comorbid conditions
 
PSYCHOSOCIAL NEEDS. in nursing II sem pptx
PSYCHOSOCIAL NEEDS. in nursing II sem pptxPSYCHOSOCIAL NEEDS. in nursing II sem pptx
PSYCHOSOCIAL NEEDS. in nursing II sem pptx
 
Reboulia: features, anatomy, morphology etc.
Reboulia: features, anatomy, morphology etc.Reboulia: features, anatomy, morphology etc.
Reboulia: features, anatomy, morphology etc.
 
THE ROLE OF BIOTECHNOLOGY IN THE ECONOMIC UPLIFT.pptx
THE ROLE OF BIOTECHNOLOGY IN THE ECONOMIC UPLIFT.pptxTHE ROLE OF BIOTECHNOLOGY IN THE ECONOMIC UPLIFT.pptx
THE ROLE OF BIOTECHNOLOGY IN THE ECONOMIC UPLIFT.pptx
 
Grade 7 - Lesson 1 - Microscope and Its Functions
Grade 7 - Lesson 1 - Microscope and Its FunctionsGrade 7 - Lesson 1 - Microscope and Its Functions
Grade 7 - Lesson 1 - Microscope and Its Functions
 
The Mariana Trench remarkable geological features on Earth.pptx
The Mariana Trench remarkable geological features on Earth.pptxThe Mariana Trench remarkable geological features on Earth.pptx
The Mariana Trench remarkable geological features on Earth.pptx
 
Zoology 5th semester notes( Sumit_yadav).pdf
Zoology 5th semester notes( Sumit_yadav).pdfZoology 5th semester notes( Sumit_yadav).pdf
Zoology 5th semester notes( Sumit_yadav).pdf
 
Biogenic Sulfur Gases as Biosignatures on Temperate Sub-Neptune Waterworlds
Biogenic Sulfur Gases as Biosignatures on Temperate Sub-Neptune WaterworldsBiogenic Sulfur Gases as Biosignatures on Temperate Sub-Neptune Waterworlds
Biogenic Sulfur Gases as Biosignatures on Temperate Sub-Neptune Waterworlds
 
module for grade 9 for distance learning
module for grade 9 for distance learningmodule for grade 9 for distance learning
module for grade 9 for distance learning
 
Dr. E. Muralinath_ Blood indices_clinical aspects
Dr. E. Muralinath_ Blood indices_clinical  aspectsDr. E. Muralinath_ Blood indices_clinical  aspects
Dr. E. Muralinath_ Blood indices_clinical aspects
 
TransientOffsetin14CAftertheCarringtonEventRecordedbyPolarTreeRings
TransientOffsetin14CAftertheCarringtonEventRecordedbyPolarTreeRingsTransientOffsetin14CAftertheCarringtonEventRecordedbyPolarTreeRings
TransientOffsetin14CAftertheCarringtonEventRecordedbyPolarTreeRings
 
FAIRSpectra - Enabling the FAIRification of Spectroscopy and Spectrometry
FAIRSpectra - Enabling the FAIRification of Spectroscopy and SpectrometryFAIRSpectra - Enabling the FAIRification of Spectroscopy and Spectrometry
FAIRSpectra - Enabling the FAIRification of Spectroscopy and Spectrometry
 
Site Acceptance Test .
Site Acceptance Test                    .Site Acceptance Test                    .
Site Acceptance Test .
 
Role of AI in seed science Predictive modelling and Beyond.pptx
Role of AI in seed science  Predictive modelling and  Beyond.pptxRole of AI in seed science  Predictive modelling and  Beyond.pptx
Role of AI in seed science Predictive modelling and Beyond.pptx
 
CYTOGENETIC MAP................ ppt.pptx
CYTOGENETIC MAP................ ppt.pptxCYTOGENETIC MAP................ ppt.pptx
CYTOGENETIC MAP................ ppt.pptx
 
Module for Grade 9 for Asynchronous/Distance learning
Module for Grade 9 for Asynchronous/Distance learningModule for Grade 9 for Asynchronous/Distance learning
Module for Grade 9 for Asynchronous/Distance learning
 
PATNA CALL GIRLS 8617370543 LOW PRICE ESCORT SERVICE
PATNA CALL GIRLS 8617370543 LOW PRICE ESCORT SERVICEPATNA CALL GIRLS 8617370543 LOW PRICE ESCORT SERVICE
PATNA CALL GIRLS 8617370543 LOW PRICE ESCORT SERVICE
 

Computational Logic