MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The nomore System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

The nomore++ system
by Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub — 2005 — 8 th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), 3662 : 422-426. LNAI
…The nomore++ System Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub…
Cited by 2 (1 self) – Add To MetaCart

nomore<: A System for Computing Preferred Answer Sets
by Susanne Grell, Kathrin Konczak, Torsten Schaub — 2005 — Proceedings 8th International. Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR
…nomore < : A System for Computing Preferred Answer Sets Susanne Grell, Kathrin Konczak…
Cited by 1 (0 self) – Add To MetaCart

unknown title
by Kathrin Konczak
… on a recently proposed rule-based method (implemented in the noMoRe system) for computing answer sets…
Add To MetaCart

T.: Profiling answer set programming: The visualization component of thenoMoRe system
by Andreas Bösel, Thomas Linke, Torsten Schaub — 2004 — In Proc. JELIA’04
…-oriented computational model underlying the noMoRe system. Although this is no generic solution, it offers a way to make…
Cited by 2 (1 self) – Add To MetaCart

More on noMoRe
by Thomas Linke, Christian Anger, Kathrin Konczak — 2002 — Proceedings of the Eighth European Conference on Logics in Artificial Intelligence (JELIA’02), Lecture Notes in Artificial Intelligence
… (implemented in thenoMoRe system) for computing answer sets. We show how noMoRe and its underlying method can…
Cited by 6 (4 self) – Add To MetaCart

noMoRe A Graph-Based System for Non-Monotonic Reasoning with Logic Programs under Answer Set
by Thomas Linke, Andreas Bösel, Christian Anger
…noMoRe A Graph-Based System for Non-Monotonic Reasoning with Logic Programs under Answer Set…
Cited by 2 (0 self) – Add To MetaCart

Graphs and Colorings for Answer Set Programming: Abridged Report
by Kathrin Konczak, Thomas Linke, Torsten Schaub — 2003 — Answer Set Programming: Advances in Theory and Implementation (ASP03
… employed by the noMoRe system and justify its algorithmic approach. Also, we distinguish Fitting’s and well…
Cited by 7 (5 self) – Add To MetaCart

Approaching the core of unfounded sets
by Christian Anger, Martin Gebser, Torsten Schaub — 2006 — Proceedings of the International Workshop on Nonmonotonic Reasoning
… the computation of unfounded sets employed in the nomore++ system. Beyond that, we provide an algorithm…
Cited by 8 (6 self) – Add To MetaCart

Using Nested Logic Programs for Answer Set Programming
by Thomas Linke — 2003 — Proceedings of the Workshop on Answer Set Programming: Advances in Theory and Implementation (ASP03). 181–194, CEUR
… usefulness, we have implemented our approach in the noMoRe system. 1 Introduction Answer set programming (ASP…
Cited by 6 (3 self) – Add To MetaCart

Suitable Graphs for Answer Set Programming
by Thomas Linke — 2003 — ASP 03 Answer Set Programming: Advances in Theory and Implementation, volume 78, 15–28. CEUR Workshop Proceedings
…, this is done in the noMoRe system [1] and its underlying theory (see [16, 11, 15] for details). In this paper…
Cited by 5 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB