No. Title Author Year
1 05171 Abstracts Collection -- Nonmonotonic Reasoning, Answer Set Programming and Constraints Brewka, Gerhard et al. 2005
2 05171 Executive Summary -- Nonmonotonic Reasoning, Answer Set Programming and Constraints Brewka, Gerhard et al. 2005
3 Answer Set Programming and Combinatorial Voting Grabos, Rafal 2005
4 Modelling and Implementing a Knowledge Base for Checking Medical Invoices with DLV Kern-Isberner, Gabriele et al. 2005
5 Normal Form Theorem for Logic Programs with Cardinality Constraints Marek, Victor W. et al. 2005
6 Possibilistic Stable Models Nicolas, Pascal et al. 2005
7 Semantic Web Languages and Semantic Web Services as Application Areas for Answer Set Programming Polleres, Axel 2005
8 Set Based Logic Programming Remmel, Jeffrey B. et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 8


DROPS-Home | Fulltext Search | Imprint Published by LZI