Logic (25)

video-img
50:22

Implementing the "Wisdom of the Crowd"

Yishay Mansour

2014-07-15

 · 

3705 Views

Invited Talk
video-img
22:35

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

Xueyan Jiang

2012-07-04

 · 

6032 Views

Lecture
video-img
21:33

Learning the Parameters of Probabilistic Logic Programs from Interpretations

Ingo Thon

2011-11-30

 · 

2815 Views

Lecture
video-img
26:22

Abductive Plan Recognition by Extending Bayesian Logic Programs

Sindhu Raghavan

2011-11-30

 · 

2837 Views

Lecture
video-img
24:31

LogMap: Logic-based and Scalable Ontology Matching

Ernesto Jimenez-Ruiz

2011-11-25

 · 

2886 Views

Lecture
video-img
19:09

Extending logic programs with description logic expressions for the semantic wec

Yi Dong Shen

2011-11-25

 · 

2852 Views

Lecture
video-img
50:03

A Research Program for the Semantic Web

Enrico Motta

2011-11-09

 · 

2622 Views

Lecture
video-img
01:18:32

Emerging Sciences of the Internet: Some New Opportunities

Ronald J. Brachman

2011-11-09

 · 

2859 Views

Lecture
video-img
03:06:26

Logic in Action

Jan van Eijck

2011-09-12

 · 

4394 Views

Lecture
video-img
02:41:56

Logic in Action

Jan Jaspars

2011-09-12

 · 

8049 Views

Lecture
video-img
01:22:48

Logic in Games

Johan van Benthem

2011-09-12

 · 

6766 Views

Lecture
video-img
58:13

Quantity implicatures: a tendentious survey

Bart Geurts

2011-09-12

 · 

4399 Views

Lecture
video-img
23:19

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

Nenad Stojanovic

2010-06-30

 · 

3132 Views

Lecture
video-img
02:57:02

Computer Verified Exact Analysis

Bas Spitters,

Russell O'Connor

2009-08-24

 · 

8408 Views

Tutorial
video-img
29:27

Hybrid Reasoning with Simple Forest Logic Programs

Cristina Feier

2009-07-28

 · 

3591 Views

Lecture
video-img
05:42:14

Fundamentals Of Metalogic

John K. Slaney

2009-04-16

 · 

17065 Views

Tutorial
video-img
04:53:03

Dynamical Logic

Peter H. Schmitt

2009-04-16

 · 

7359 Views

Tutorial
video-img
05:24:16

Logic, Automata & Games

Sophie Pinchinat

2009-04-01

 · 

17184 Views

Tutorial
video-img
04:23:14

Non-classical Logic

Edwin Mares

2009-04-01

 · 

11437 Views

Tutorial
video-img
03:42:49

Computability And Incompleteness

Errol Martin

2009-04-01

 · 

19968 Views

Tutorial