Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 1, 2017

• Merge pull request #5 from ghost/master

  Show description for 146c2de
  norvig

  authored
  146c2de

  Copy full SHA for 146c2de

Commits on Apr 13, 2017

• Merge pull request #3 from sfsharapov/patch-1

  Show description for 7fdcb74
  ShobhitLamba

  authored
  7fdcb74

  Copy full SHA for 7fdcb74

• Merge pull request #4 from sfsharapov/patch-2

  Show description for 5846664
  ShobhitLamba

  authored
  5846664

  Copy full SHA for 5846664

Commits on Mar 31, 2017

• Initial commit

  ktejas

  committed
  10727a0

  Copy full SHA for 10727a0

Commits on Mar 15, 2017

• Create CONTRIBUTING.md

  Show description for 099897f
  sfsharapov

  authored
  099897f

  Copy full SHA for 099897f

• Index of Implemented algorithms added

  Show description for d10a5bf
  sfsharapov

  authored
  d10a5bf

  Copy full SHA for d10a5bf

Commits on Feb 13, 2017

• Minute changes to propositional.ast in comments

  ShobhitLamba

  committed
  41cd426

  Copy full SHA for 41cd426

• Merge pull request #1 from manu4rhyme/temp_test

  Show description for 2d63fff
  ShobhitLamba

  authored
  2d63fff

  Copy full SHA for 2d63fff

Commits on Feb 2, 2017

• Added aima.core.logic.propositional.parsing.ast

  manu4rhyme

  committed
  0a70038

  Copy full SHA for 0a70038

Commits on Oct 28, 2016

• Minor additions to propositional parsing

  ShobhitLamba

  committed
  204b7e5

  Copy full SHA for 204b7e5

Commits on Oct 23, 2016

• KBAgent added to propositional logic

  ShobhitLamba

  committed
  633c15c

  Copy full SHA for 633c15c

Commits on Oct 21, 2016

• Inference complete

  ShobhitLamba

  committed
  9a4de81

  Copy full SHA for 9a4de81

Commits on Oct 16, 2016

• Modulation algorithms added to logic

  ShobhitLamba

  committed
  a110ece

  Copy full SHA for a110ece

Commits on Oct 15, 2016

• CNFConverter completed

  ShobhitLamba

  committed
  27cc38f

  Copy full SHA for 27cc38f

• All classes except CNFConverter done in fol

  ShobhitLamba

  committed
  14b1dfd

  Copy full SHA for 14b1dfd

Commits on Oct 14, 2016

• Added Trace to Inference plus a few classes

  ShobhitLamba

  committed
  d41e640

  Copy full SHA for d41e640

Commits on Oct 12, 2016

• Proof complete

  ShobhitLamba

  committed
  2ca0c0f

  Copy full SHA for 2ca0c0f

• ProofStepClause classes added

  ShobhitLamba

  committed
  af8cdee

  Copy full SHA for af8cdee

• Restructuring the inference directory alongwith further additions to proof

  ShobhitLamba

  committed
  ef0c705

  Copy full SHA for ef0c705

Commits on Oct 11, 2016

• Further additions to proof

  ShobhitLamba

  committed
  b1aa84e

  Copy full SHA for b1aa84e

• 3 more classes added to inference proof

  ShobhitLamba

  committed
  5b96b19

  Copy full SHA for 5b96b19

Commits on Oct 10, 2016

• Work started on inference.proof

  ShobhitLamba

  committed
  313dd5f

  Copy full SHA for 313dd5f

• Added Default Clause classes to inference

  ShobhitLamba

  committed
  4871490

  Copy full SHA for 4871490

• Added Clause interfaces to interface.otter

  ShobhitLamba

  committed
  6196192

  Copy full SHA for 6196192

Commits on Oct 9, 2016

• Knowledgebase completed

  ShobhitLamba

  committed
  d3c6d87

  Copy full SHA for d3c6d87

• Kb data completed

  ShobhitLamba

  committed
  996fbad

  Copy full SHA for 996fbad

• Added Literal and Clause to kb

  ShobhitLamba

  committed
  d7523be

  Copy full SHA for d7523be

• Made several additions to logic

  ShobhitLamba

  committed
  c0545a9

  Copy full SHA for c0545a9

Commits on Aug 27, 2016

• Added QuantifiedSentence and TermEquality to parsing.ast

  ShobhitLamba

  committed
  364bb11

  Copy full SHA for 364bb11

Commits on Aug 26, 2016

• Several class additions to fol.parsing.ast

  ShobhitLamba

  committed
  373c3fa

  Copy full SHA for 373c3fa

• Added FOLVisitor, FOLLexer, FOLParser and AbstractFOLVisitor to fol.parsing

  ShobhitLamba

  committed
  d9490c5

  Copy full SHA for d9490c5

Commits on Aug 25, 2016

• Debugged DisjointSets in core.util

  ShobhitLamba

  committed
  55ec546

  Copy full SHA for 55ec546

Commits on Aug 21, 2016

• Added DisjointSets to util

  ShobhitLamba

  committed
  373f763

  Copy full SHA for 373f763

Commits on Aug 7, 2016

• Started work on parser logic

  ShobhitLamba

  committed
  f790108

  Copy full SHA for f790108

• Added fol.domain

  ShobhitLamba

  committed
  eb77e27

  Copy full SHA for eb77e27

Pagination

Previous

Next