Category: Uncategorized

The Alpha Solver for Lazy-Grounding Answer-Set Programming

Antonius Weinzierl1, Bart Bogaerts2, Jori Bomanson3, Thomas Eiter1,Gerhard Friedrich4, Tomi Janhunen3;5, Tobias Kaminski1, Michael Langowski1, Lorenz Leutgeb1, Gottfried Schenner6, Richard Taupe4;61 Institute of Logic and Computation, Vienna University of Technology, Austria2 Department of Computer Science, Vrije Universiteit Brussel (VUB), Belgium3…

Promotional access to ICLP 2018 proceedings

Cambridge University press have just launched a promotional access offer to the Volume 18 – Special Issue 3-4 – July 2018 of Theory and Practice of Logic Programming. Have a nice reading! Thanks to CUP for the fundamental role for…

NoHR: A Protégé Plugin for Polynomial Querying of Ontologies and Non-Monotonic Rules

By Matthias Knorr and João Leite NOVA LINCS, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa   Abstract. Ontology languages and non-monotonic rule languages are both well-known formalisms for knowledge representation, each with its own distinct…