Temat: constraint logic programming - Prolib Integro

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

Wyszukujesz frazę "constraint logic programming" wg kryterium: Temat

Wyświetlanie 1-6 z 6

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Improving Reachability Analysis of Infinite State Systems by Specialization
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2012
Słowa kluczowe:: reachability analysis
automatic verification
program transformation
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs
Autorzy:: Senni, V.
Pettorossi, A.
Proietti, M.
Data publikacji:: 2009
Słowa kluczowe:: program transformation
folding rule
variable elimination
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: An Investigation of Multi-Agent Planning in CLP
Autorzy:: Dovier, A.
Formisano, A.
Pontelli, E.
Data publikacji:: 2011
Słowa kluczowe:: Action Description Languages
multi-agent planning
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Executing suspended logic programs
Autorzy:: Kowalski, R. A.
Toni, F.
Wetzel, G.
Data publikacji:: 1998
Słowa kluczowe:: Logic Programming (LP)
constraint logic programming (CLP)
Abductive Logic Programming (ALP)
Semantic Query Optimisation (SQO)
deductive databases; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Implementation of a decision support model of the supply chain management in the environment of constraint logic programming
Autorzy:: Wikarek, J.
Data publikacji:: 2013
Słowa kluczowe:: zarządzanie łańcuchem dostaw
wspomaganie decyzji
programowanie w logice z ograniczeniami
supply chain management
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Zastosowanie programowania w logice z ograniczeniami do wspomagania decyzji zarządzania łańcuchem dostaw
Autorzy:: Sitek, P.
Data publikacji:: 2013
Słowa kluczowe:: zarządzanie łańcuchem dostaw
wspomaganie decyzji
programowanie w logice z ograniczeniami
modelowanie hybrydowe
supply chain management
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP)
hybrid modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-6 z 6

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