Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
892 results
This video lays the foundations to algorithmic framework introducing assignments, solutions, nogoods, and unit propagation.
488 views
3 years ago
https://togotv.dbcls.jp/20190218.html #togotv#DBCLS#bioinformatics #togotv#DBCLS#bioinformatics.
369 views
5 years ago
Testing is fundamental in software development. Testing business logic and rules should also be fundamental. OptaPlanner has ...
467 views
2 years ago
This video elaborates upon the meaning of integrity constraints by a (quite simple) translation into a normal rules.
985 views
This video introduces basic concepts like assignments, solutions, interpretations and models, and sketches various ...
2,342 views
Knowledge Graphs - Foundations and Applications Basic Knowledge Graph Infrastructure Speakers: Prof. Dr. Harald Sack ...
433 views
8 months ago
An overview over the main language constructs provided by ASP systems (This version fixes an issue of the previous video.)
2,194 views
I show how to prove a basic result in logic using the Lean prover, first in tactic mode and then in term mode. Try Lean online with ...
24,731 views
4 years ago
This video outlines the ideas underlying ASP solving algorithms treated in the solving part.
805 views
This video introduces some naming conventions and presents a first very simple example of a logic program and its answer sets.
7,887 views
Hosts: Sebastian Peitz - https://en.cs.uni-paderborn.de/dse Oliver Wallscheid - https://www.linkedin.com/in/wallscheid/ ...
147 views
6 months ago
This video gives a bird's eye view on the ASP solver clasp This is the FHD version!
827 views
189 views
"Constraint-Procedural Logic Generated Environments for Deep Q-learning Agent training and benchmarking" Presented at the ...
33 views
1 year ago
... prefer you can express the constraints as a local as a logical formula here's an example the first part encodes the row constraint ...
988 views
In today's Advanced SQL lesson we walk through how to use Stored Procedures. Link to SQL Code: ...
401,966 views
This video gives a bird's eye view on the ASP solver clasp This is the HD version; check out the FHD version!
78 views
Welcome back to my game development video series! I'm developing a football (soccer) game using my own game engine.
4,219 views
8 days ago
This is a quick tour through the optimization statements in ASP for computing optimal solutions.
1,004 views
For a system with multiple possible states, what distribution of probabilities will maximize the entropy, while requiring that the ...
7,555 views