Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Nested Weight Constraints in ASP

Szczegóły
Abstrakt

Tytuł:: Nested Weight Constraints in ASP
Autorzy:: Costantini, S.
Formisano, A.
Data publikacji:: 2013
Słowa kluczowe:: knowledge representation
non-monotonic reasoning
weight constraints in ASP
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

Weight constraints are a powerful programming construct that has proved very useful within the Answer Set Programming paradigm. In this paper, we argue that practical Answer Set Programming might take profit from introducing some forms of nested weight constraints. We define such empowered constraints (that we call 'Nested Weight Constraints') and discuss their semantics and their complexity.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Nested Weight Constraints in ASP