Skip to content

Rulewerk asp #191

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
phil-hanisch wants to merge 35 commits into
base: master
Choose a base branch
from
Open

Rulewerk asp #191

phil-hanisch wants to merge 35 commits into from

Conversation

@phil-hanisch
Copy link

@phil-hanisch phil-hanisch commented Oct 27, 2020

Draft pull request to check coverage on continuous integration

@phil-hanisch
[asp] add new module
d2a816d
@phil-hanisch
[asp] add asp reasoner interface
d859a89
@phil-hanisch
[asp] add asp reasoner implementation
2f04f3d
@phil-hanisch
[asp] create over-approximated knowledge base
002596b
@phil-hanisch
[asp] use logging of underlying Datalog reasoner
8997065
@phil-hanisch
[asp] add answer sets
d0c2f60
@phil-hanisch
[asp] cautious reasoning for facts
d565ca6
@phil-hanisch
[asp] ground (conjunctive) rules
1e8c04d
@phil-hanisch
[asp] ground disjunctive rule via template
29b3055
@phil-hanisch
[asp-bugfix] cautious reasoning reads last answer set
e04c2fb
@phil-hanisch
[asp] get answer sets via iterator
69afba1
@phil-hanisch
[asp] ground data source declarations
bff8b7f
@phil-hanisch
[example] add example for non-stratified negation
c896ea1
@phil-hanisch
[asp] handle add/remove asp statements in asp reasoner
54dfd5d
@phil-hanisch
[asp] get over-approximated predicates
fad836f
@phil-hanisch
[example] add example asp solver
a32ba8f
@phil-hanisch
[asp] remove unnecessary call of datalog reasoner
20ded96
@phil-hanisch
[asp,core] move getIndex of rules to rulewerk-asp
2c8dfa9
@phil-hanisch
[asp] add tests
f506b4f
@phil-hanisch
[asp] remove non-appr. predicates from grounding
eaeba71
@phil-hanisch
[asp] test IO exception while writing the grounding
b246d29
@phil-hanisch
[asp] encapsulate solver and grounder
d9436d0
@phil-hanisch phil-hanisch force-pushed the rulewerk-asp branch 4 times, most recently from 2c9bf7b to 32a6548 Compare November 3, 2020 12:10
@mkroetzsch mkroetzsch self-assigned this Feb 9, 2021
@phil-hanisch phil-hanisch marked this pull request as ready for review February 9, 2021 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@mkroetzsch mkroetzsch

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@phil-hanisch @mkroetzsch