This project was developed as part of the Logic for Programming course (2023–2024). The goal is to implement a solver for the well-known logic puzzle “Tents and Trees” using Prolog. In this puzzle, ...

Predicate pushdown is a widely adopted query optimization. Existing systems and prior work mostly use pattern-matching rules to decide when a predicate can be pushed through certain operators like ...

This repository contains code for the paper "Fine-Grained Predicates Learning for Scene Graph Generation (CVPR 2022)". This code is based on Scene-Graph-Benchmark.pytorch. News: An extented verison of ...

In classical planning, we aren't constrained to symbols that only take on true or false values, as we were in propositional logic. Instead, we introduce objects that can represent things in our ...