Logic (25)

video-img
50:22

Implementing the "Wisdom of the Crowd"

Yishay Mansour

2014-07-15

 · 

3700 Views

Invited Talk
video-img
22:35

Exploiting Information Extraction, Reasoning and Machine Learning for Relation P...

Xueyan Jiang

2012-07-04

 · 

6024 Views

Lecture
video-img
21:33

Learning the Parameters of Probabilistic Logic Programs from Interpretations

Ingo Thon

2011-11-30

 · 

2802 Views

Lecture
video-img
26:22

Abductive Plan Recognition by Extending Bayesian Logic Programs

Sindhu Raghavan

2011-11-30

 · 

2834 Views

Lecture
video-img
24:31

LogMap: Logic-based and Scalable Ontology Matching

Ernesto Jimenez-Ruiz

2011-11-25

 · 

2877 Views

Lecture
video-img
19:09

Extending logic programs with description logic expressions for the semantic wec

Yi Dong Shen

2011-11-25

 · 

2848 Views

Lecture
video-img
50:03

A Research Program for the Semantic Web

Enrico Motta

2011-11-09

 · 

2617 Views

Lecture
video-img
01:18:32

Emerging Sciences of the Internet: Some New Opportunities

Ronald J. Brachman

2011-11-09

 · 

2855 Views

Lecture
video-img
03:06:26

Logic in Action

Jan van Eijck

2011-09-12

 · 

4383 Views

Lecture
video-img
02:41:56

Logic in Action

Jan Jaspars

2011-09-12

 · 

8034 Views

Lecture
video-img
01:22:48

Logic in Games

Johan van Benthem

2011-09-12

 · 

6760 Views

Lecture
video-img
58:13

Quantity implicatures: a tendentious survey

Bart Geurts

2011-09-12

 · 

4395 Views

Lecture
video-img
23:19

Logic-based ad-hoc business process management: Concepts and challenges

Nenad Stojanovic

2010-06-30

 · 

3127 Views

Lecture
video-img
02:57:02

Computer Verified Exact Analysis

Bas Spitters,

Russell O'Connor

2009-08-24

 · 

8389 Views

Tutorial
video-img
29:27

Hybrid Reasoning with Simple Forest Logic Programs

Cristina Feier

2009-07-28

 · 

3587 Views

Lecture
video-img
05:42:14

Fundamentals Of Metalogic

John K. Slaney

2009-04-16

 · 

17049 Views

Tutorial
video-img
04:53:03

Dynamical Logic

Peter H. Schmitt

2009-04-16

 · 

7351 Views

Tutorial
video-img
05:24:16

Logic, Automata & Games

Sophie Pinchinat

2009-04-01

 · 

17173 Views

Tutorial
video-img
04:23:14

Non-classical Logic

Edwin Mares

2009-04-01

 · 

11422 Views

Tutorial
video-img
03:42:49

Computability And Incompleteness

Errol Martin

2009-04-01

 · 

19959 Views

Tutorial