Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Dec 26, 2018

• Grammar and typo fixes in logic notebook (#1002)

  

  dsaw

  authored and

  antmarakis

  committed
  6c7920e

  Copy full SHA for 6c7920e

Commits on Aug 30, 2018

• Logic notebook update (#932)

  Show description for e168461
  

  ad71

  authored and

  norvig

  committed
  e168461

  Copy full SHA for e168461

Commits on Mar 20, 2018

• Added SATPlan to logic.ipynb (#857)

  Show description for 954f50c
  

  nouman-10

  authored and

  norvig

  committed
  954f50c

  Copy full SHA for 954f50c

Commits on Mar 14, 2018

• Added pl-fc-entails section (#818)

  Show description for e245a64
  

  ad71

  authored and

  norvig

  committed
  e245a64

  Copy full SHA for e245a64

Commits on Mar 10, 2018

• Added DPLL and WalkSAT sections (#823)

  Show description for c908058
  

  ad71

  authored and

  norvig

  committed
  c908058

  Copy full SHA for c908058

Commits on Mar 5, 2018

• Added to-cnf (#802)

  

  ad71

  authored and

  norvig

  committed
  007e2d7

  Copy full SHA for 007e2d7

Commits on Mar 4, 2018

• Added tt-entails explanation (#793)

  Show description for a6c7b57
  

  ad71

  authored and

  norvig

  committed
  a6c7b57

  Copy full SHA for a6c7b57

Commits on Feb 23, 2018

• Fix various typos. (#750)

  

  roberthoenig

  authored and

  norvig

  committed
  06af67e

  Copy full SHA for 06af67e

Commits on Dec 4, 2017

• fix typos & grammar (#656)

  

  jonathanGB

  authored and

  norvig

  committed
  0fd2e54

  Copy full SHA for 0fd2e54

Commits on Jul 4, 2017

• Added KBs to logic notebook (#575)

  Show description for 453a992
  

  Chipe1

  authored and

  norvig

  committed
  453a992

  Copy full SHA for 453a992

Commits on Jun 28, 2017

• Rename canvas to notebook (#564)

  Show description for b40ecc0
  

  antmarakis

  authored and

  norvig

  committed
  b40ecc0

  Copy full SHA for b40ecc0

Commits on Jun 24, 2017

• PropKB notebook (#559)

  Show description for f6f8ea2
  

  Chipe1

  authored and

  norvig

  committed
  f6f8ea2

  Copy full SHA for f6f8ea2

Commits on Jun 22, 2017

• Added canvas_fol_bc_ask() (#558)

  

  Chipe1

  authored and

  norvig

  committed
  24679f3

  Copy full SHA for 24679f3

Commits on Mar 18, 2017

• corrected equivalence operator to <=> from ==> (#361)

  

  kaivalyar

  authored and

  norvig

  committed
  facee1f

  Copy full SHA for facee1f

Commits on Apr 12, 2016

• Update logic.ipynb for |'==>'|

  norvig

  committed
  997113b

  Copy full SHA for 997113b

Commits on Apr 9, 2016

• Update logic.ipynb (#204)

  Show description for b9149df
  norvig

  committed
  b9149df

  Copy full SHA for b9149df

Commits on Mar 25, 2016

• Complete explanation of the Expr class

  chiragvartak

  committed
  c114cc7

  Copy full SHA for c114cc7

Commits on Mar 24, 2016

• The notebook at an itermediate stage

  chiragvartak

  committed
  f367a16

  Copy full SHA for f367a16

• Improve markdown formatting; correct minor mistakes

  chiragvartak

  committed
  4ed9716

  Copy full SHA for 4ed9716

• Add more content about knowledge bases

  chiragvartak

  committed
  ad78b80

  Copy full SHA for ad78b80

Commits on Mar 23, 2016

• Add some content explaining knowledge bases

  chiragvartak

  committed
  16c9658

  Copy full SHA for 16c9658

• Add the introduction section to logic.ipynb

  chiragvartak

  committed
  3e8b857

  Copy full SHA for 3e8b857

Commits on Mar 19, 2016

• cleared the outputs in all notebooks

  SnShine

  committed
  78051e0

  Copy full SHA for 78051e0

Commits on Mar 10, 2016

• Rollback to one folder organization

  MircoT

  committed
  8ea6301

  Copy full SHA for 8ea6301

Loading