Conferences in DBLP
Gerhard Brewka , Ilkka Niemelä , Torsten Schaub , Miroslaw Truszczynski 05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Brewka , Ilkka Niemelä , Torsten Schaub , Miroslaw Truszczynski , Joost Vennekens 05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Rafal Grabos Answer Set Programming and Combinatorial Voting. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriele Kern-Isberner , Christoph Beierle , Oliver Dusso Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV. [Citation Graph (0, 0)][DBLP ] Conf ] Victor W. Marek , Jeffrey B. Remmel Normal Form Theorem for Logic Programs with Cardinality Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Nicolas , Laurent Garcia , Igor Stéphan Possibilistic Stable Models. [Citation Graph (0, 0)][DBLP ] Conf ] Axel Polleres Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey B. Remmel , Victor W. Marek Set Based Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] 