Category: LP Systems

RTEC: Run-Time Event Calculus

By Alexander Artikis RTEC is an open-source Event Calculus dialect optimised for data stream reasoning. It is written in Prolog and has been tested under YAP and SWI Prolog. GitHub repository: https://github.com/aartikis/RTEC Features Interval-based. Sliding window reasoning. Interval manipulation constructs…

System Announcement: PROJECTOR

PROJECTOR is an automated rewriting system for non-ground logic programs under answer set semantics. It is designed to improve the performance of answer set programing solutions. Its ideas stem from relational database query optimization techniques. PROJECTOR version 1.0.0 is available…

ICCMA’17 Call for Solvers

 Second International Competition on Computational Models of Argumentation (ICCMA’17) Call for Solvers http://www.dbai.tuwien.ac.at/iccma17 Argumentation is a major topic in the study of artificial intelligence. In particular, the problem of solving certain reasoning tasks on Dung’s abstract argumentation frameworks is central…