Jakub Błaszczyk

icon indicating a website link https://www.linkedin.com/in/jakubblaszczyk/ icon indicating an email [email protected]

icon company Midnight Coding icon location Wrocław, Polska icon location Answer Set Programming, Automated Planning, Description Logic, Deontic Logic, Automated Verification, Agents, Blockchain

Results 4 issues of Jakub Błaszczyk

Do Not Disturb Mode

4 comment

Windows, Mac and Linux (Gnome Shell) all provide "Do Not Disturb" mode (aka "Focus Assist") that hides system notifications. It would be useful to have it automatically switched on/off by...

enhancement
question

Introduce a way to tag Rules, Predicates, Atoms and Terms

2 comment

Elements of core language often represent concepts from application domain or another languages, yet there's no easy way to map them back. For example, after translation from Argumentation Frameworks to...

Consider Query Subquery Nets for lazy grounding

Potassco/Gringo and DLV use magic sets technique for grounding. Query-Subquery Nets [1][2] can also be used to find lower & upper bounds and even grounding program more efficiently. I was...

Deploy compiled artifacts to Maven Central and JCenter

1 comment

Currently the only way to use the solver is to clone it and build it. It would be far easier to use in projects by importing it from central repositories...

enhancement
blocked