Category: LP Systems

RTEC: Run-Time Event Calculus

by  •  • Comments Off on 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…

Read more →

System Announcement: PROJECTOR

by  •  • Comments Off on 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…

Read more →

ICCMA’17 Call for Solvers

by  •  • Comments Off on 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…

Read more →