A probabilistic version of the Event Calculus logic programming engine, developed during my time at NCSR "Demokritos", Athens, Greece.
-
Updated
Oct 14, 2013 - Prolog
A probabilistic version of the Event Calculus logic programming engine, developed during my time at NCSR "Demokritos", Athens, Greece.
Knowledge Representation Assignments (SAT solver, CSP solver, Qualitative Reasoning)
Assignments for the Knowledge Representation course at UvA
Real-time data stream classification and knowledge generation engine with no dependencies
A metaphysical theory of knowledge based on patterns of change.
An expert course advisor system written using Prolog
Knowledge Representation and Reasoning Class 2017.1
Knowledge-Based Systems IA-FIB-UPC
This is a tool for different sentence representations like json, xml, etc.
Knowledge representation, Sentences, Language modeling, MultiLingual,
Sudoku SAT-solver experiment for UvA MasterAI Knowledge Representation course.
Ranking Clues for SuDoKu SAT Solvers
A Preferential Reasoner for Ontologies
Automated qualitative reasoner practical for UvA Master AI Knowledge Representation course.
Conditional Associative Logic Memory
Distributed constraint satisfaction with recursive message-passing agents
Visual Question Answering System
An (unofficial) extension of schema.org to model conceptual models
The Database for AI
Add a description, image, and links to the knowledge-representation topic page so that developers can more easily learn about it.
To associate your repository with the knowledge-representation topic, visit your repo's landing page and select "manage topics."