Symbolic computer vision tool
☆21Jan 8, 2019Updated 7 years ago
Alternatives and similar repositories for LogicalVision2
Users that are interested in LogicalVision2 are comparing it to the libraries listed below
Sorting:
- General Inductive Logic Programming System☆18Sep 22, 2022Updated 3 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- Incremental Learning Event Definitions☆15Jul 21, 2015Updated 10 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Oct 17, 2020Updated 5 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 4 years ago
- YAP Development release☆18Jan 16, 2021Updated 5 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Nov 15, 2017Updated 8 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆83Jan 20, 2026Updated last month
- A ruby ffi interface to SWI-Prolog that goes both ways.☆10Jul 21, 2023Updated 2 years ago
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago
- Illustrations of codeql's AST☆12Sep 10, 2021Updated 4 years ago
- Edutainment game teaching players concepts around machine learning☆15Feb 18, 2020Updated 6 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- GraphQL nested mutations☆12Dec 30, 2017Updated 8 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 7 years ago
- RODI Relational-to-Ontology Mapping Quality Benchmark☆11Feb 24, 2026Updated last week
- ☆12Dec 9, 2022Updated 3 years ago
- ☆12Jul 6, 2023Updated 2 years ago
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆10Dec 12, 2023Updated 2 years ago
- A python library for generating macro-economic scenarios☆10Dec 17, 2024Updated last year
- Demo for Plan Recognition as Planning over Classical Action Theories☆12Dec 29, 2016Updated 9 years ago
- Cyberex Secure is planned to be a security solution with a wide range of features such as phishing detection, advanced AI- face recognit…☆12Apr 5, 2023Updated 2 years ago
- Set monad☆19Jun 11, 2023Updated 2 years ago
- Analysis code for knowledge discovery project☆12Sep 25, 2018Updated 7 years ago
- Absinthe is an optimization framework to fuse and tile stencil codes in one shot☆14Jul 17, 2019Updated 6 years ago
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- A Clojure Library for the Facebook Messenger Bot API. Wiki: https://github.com/prometheus-ai/fb-messenger-clj/wiki☆13Dec 13, 2017Updated 8 years ago
- Generate mutated sequence files from a reference genome.☆11Dec 26, 2022Updated 3 years ago
- Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the origi…☆13Sep 2, 2024Updated last year
- ☆14Mar 4, 2024Updated last year
- NL2Flow: A PDDL Interface to Flow Construction☆14Dec 4, 2025Updated 2 months ago
- Provenance collection and visualization tool based on W3C PROV standard☆14Jan 21, 2025Updated last year
- An accordion style layout for Sencha Touch☆25Mar 24, 2011Updated 14 years ago
- Time-varying values with start and end times.☆16Jun 19, 2025Updated 8 months ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- Shazam music identification algorithm http://squobble.blogspot.com/2005/04/shazamhome.html☆12May 27, 2018Updated 7 years ago
- Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order strea…☆13Nov 26, 2021Updated 4 years ago