BrentKnight + semantics   38

related tags

Abstract  academic  Actors  Adenine  ai  algorithms  analysis  applescript  aspect-oriented-programming  AspectC++  AspectJ  AST  Austin  Bayesian-inference  blog  book  Brazilian-logic  c  C#  c++  career  category-theory  cil  cilly  clojure  ClojureCLR  ClojureScript  code  cognition  Common  commonsense  compiler  CompSci  computer-club  conceptual  concurrency  const  constructive-logic  constructor  continuation-passing  continuation-passing-style  continuations  course  CPS  cs  curated  Curry-Howard  Cyc  data  declarations  deep  Dempster-Shafer  Dempster-Shafer-theory  deontic-logic  Design  Designs  dialect:  digital-electronics  distributed-systems  DMS  documentation  double-negation-elimination  dual  dual-intuitionistic-logic  EDA  education  electronics  ELF  episodic-logic  Eugene-Charniak  excellent  excluded-middle  FDE  features  first-class  first-degree-entailment  formal-semantics  formalism  foundational  four-valued-logic  function  functional  functions  functonal  fuzzy-logic  gcc  gem  generation  GitHub  gradualistic-logic  grammar  graph  ground-breaking  handlers  Haskell  hometown  homoiconic  hygienic  if  IL  immutable  inconsistency  inferential  inferentialism  inspiration  interactive-fiction  Intermediate  INTERNIST  intrusive  intuitionistic-logic  IN_CODE  IOKE  java  javascript  jobs  Join-Calculus  journal-article  JOVIAL  jvm  JVM-language  knowledge  Lambda-Calculus  language  language:  las3r  law-of-the-excluded-middle  library  linguistics  links  lisp  logic  logic-of-paradox  macros  Maintenance  many-valued-logic  math  mcvc  meaning  meta-ethics  metaprogramming  mind  Mobile-Ambients  modeling  montague-grammar  motivation  Mozilla  MYCIN  natural-language  natural-language-processing  networks  NLP  NLTK  NLU  objects  official  ontology  open  paraconsistency  paraconsistent-logic  parser  Pattern  pdf  philosophical-logic  philosophy  philosophy-of-language  philosophy-of-mind  Pi-Calculus  PL  PL-theory  pointers  possible-translations-semantics  predicate-calculus  preso  primitives  programming  programming-language  programming-language-pragmatics  programming-language-semantics  programming-languages  programming-languages-theory  Prolog  proof-by-contradiction  proposal  prototypes  psychology  python  quantifiers  quotation  rdf  readable  reading  reference  references  reflection  reification  relevance-logic  representation  required  rewriting  scope  scopechain  scripting  scripts  semantic  semantics  semanticweb  sentiment  SentiWordNet  slides  snippets  source  source-to-source  sourceforge  stars:5  state  statements  story  story-understanding  strong  structures  syntax  system  SystemC  Systems  Tarski  taxonomy  Template  TextBlob  theorem-prover  theorem-proving  time-based  to-grok  to-read  to-share  to-try  to-watch  toolkit  transformation  transitive-logic  Trees  truth  truth-conditional-semantics  tutorial  tutorials  Twelf  type  type-checking  type-theory  typed-assembly-language  types  typing  UML  understanding  UofA  variables  verification  versu  video  visual  volatile  Walter-Carnielli  web  wikipedia  WordNet  YAGO 

Copy this bookmark:



description:


tags: