Wszystkie pola: Constraint Logic Programming

Skocz do pozycji: 1.

Tytuł:: Selective Unification in (Constraint) Logic Programming
Autorzy:: Mesnard, Fred
Payet, Étienne
Vidal, Germán
Data publikacji:: 2020
Słowa kluczowe:: logic programming
constraint logic programming
concolic testing
unification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Models and tools for improving efficiency in Constraint Logic Programming
Autorzy:: Ligęza, Antoni
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Models and tools for improving efficiency in Constraint Logic Programming
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: constraint satisfaction problem (CSP)
constraint programming
constraint logic programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Constraint Logic Programming with Polynomial Constraints over Finite Domains
Autorzy:: Bergenti, F.
Monica, S.
Rossi, G.
Data publikacji:: 2018
Słowa kluczowe:: constraint logic programming
modified Bernstein form
polynomial constraints over finite domains; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Modeling fuzzy intervals with constraint logic programming
Autorzy:: Kobylański, P.
Data publikacji:: 2008
Słowa kluczowe:: programowanie logiczne
obliczenia ewolucyjne
optymalizacja globalna
logic programming
modeling fuzzy intervals
evolutionary computation
global optimization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Models and tools for improving efficiency in Constraint Logic Programming
Autorzy:: Ligęza, A.
Data publikacji:: 2011
Słowa kluczowe:: constraint satisfaction problem (CSP)
constraint programming
constraint logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Automated generation of business process models using constraint logic programming in Python
Autorzy:: Paszun, Tymoteusz
Wiśniewski, Piotr
Kluza, Krzysztof
Ligęza, Antoni
Data publikacji:: 2019
Słowa kluczowe:: business process management
process composition
workflow log
constraint programming
BPMN
zarządzanie procesami biznesowymi
przepływ pracy
programowanie z ograniczeniami; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: CLP approach to optimal instruction scheduling for VLIW processors
Autorzy:: Domagała, Ł.
Data publikacji:: 2009
Słowa kluczowe:: VLIW
processor
modulo scheduling
constraint logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

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: 10.

Tytuł:: Knowledge based and CP-driven approach applied to multi product small-size production flow
Autorzy:: Bach, I.
Bocewicz, G.
Banaszak, Z. A.
Muszyński, W.
Data publikacji:: 2010
Słowa kluczowe:: knowledge engineering
modeling
constraint logic programming
scheduling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Knowledge based and CP-driven approach applied to multi product small-size production flow
Autorzy:: Bach, I.
Bocewicz, G.
Banaszak, Z. A.
Muszyński, W.
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: knowledge engineering
modeling
constraint logic programming
scheduling; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Towards dedicated decision support tools: CLP-based approach
Autorzy:: Banaszak, Z.
Józefczyk, J.
Data publikacji:: 2005
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: decision support
constraint logic programming
production planning
modeling
scheduling; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Towards CLP-based task-oriented DSS for SME
Autorzy:: Tomczuk, I.
Bzdyra, K.
Banaszak, Z.
Data publikacji:: 2005
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: decision support
constraint logic programming
production planning
modelling
scheduling; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: CP approach to design of steady-state flow of repetitive manufacturing processes in SME
Autorzy:: Wójcik, R.
Bocewicz, G.
Data publikacji:: 2005
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: production planning
waiting-free schedules design
constraint logic programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Paradygmat programowania w logice z ograniczeniami na przykładzie języka Oz pakietu MOZART
Autorzy:: Wikarek, J.
Sitek, P.
Data publikacji:: 2005
Słowa kluczowe:: planowanie produkcji
metodyka CLP
production planning
constraint logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Towards dedicated decision support tools: CLP-based approach
Autorzy:: Banaszak, Z.
Józefczyk, J.
Data publikacji:: 2005
Słowa kluczowe:: decision support
constraint logic programming
production planning
modeling
scheduling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Towards CLP-based task-oriented DSS for SME
Autorzy:: Tomczuk, I.
Bzdyra, K.
Banaszak, Z.
Data publikacji:: 2005
Słowa kluczowe:: decision support
constraint logic programming
production planning
modelling
scheduling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

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: 19.

Tytuł:: CP approach to design of steady-state flow of repetitive manufacturing processes in SME
Autorzy:: Wójcik, R.
Bocewicz, G.
Data publikacji:: 2005
Słowa kluczowe:: production planning
waiting-free schedules design
constraint logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

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: 21.

Tytuł:: CP-based decision support package for production flow planning - an SME perspective
Autorzy:: Bzdyra, K.
Tomczuk-Piróg, I.
Data publikacji:: 2006
Słowa kluczowe:: constraint logic programming
decision support
flow planning
constraint satisfaction problem (CSP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

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: 23.

Tytuł:: CP-based decision support package for production flow planning - an SME perspective
Autorzy:: Bzdyra, K.
Tomczuk-Piróg, I.
Data publikacji:: 2006
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: constraint logic programming
decision support
flow planning
constraint satisfaction problem (CSP); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: A Two-stage approach for an optimum solution of the car assembly scheduling problem. Part 2. CLP solution and real-world example
Autorzy:: Mazur, M.
Niederliński, A.
Data publikacji:: 2015
Słowa kluczowe:: car sequencing
car assembly scheduling
workstation capacity constraints
constraint logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Dischargeable Obligations in the SCIFF Framework
Autorzy:: Alberti, Marco
Gavanelli, Marco
Lamma, Evelina
Riguzzi, Fabrizio
Satoh, Ken
Zese, Riccardo
Data publikacji:: 2020
Słowa kluczowe:: normative reasoning
abductive logic programming
constraint logic programming
dischargement of expectations; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Application of constraint logic programming to decision support for the supply chain management
Zastosowanie programowania w logice z ograniczeniami do wspomagania decyzji zarządzania łańcuchem dostaw
Autorzy:: Sitek, P.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: zarządzanie łańcuchem dostaw
wspomaganie decyzji
programowanie w logice z ograniczeniami
modelowanie hybrydowe
Supply Chain Management (SCM)
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP)
hybrid modeling; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Program Verification using Constraint Handling Rules and Array Constraint Generalizations
Autorzy:: De Angelis, E.
Fioravanti, F.
Pettorossi, A.
Proietti, M.
Data publikacji:: 2017
Słowa kluczowe:: Constraint Handling Rules
CHR
constraint logic programming
CLP
program transformation
program verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: A Two-stage approach for an optimum solution of the car assembly scheduling problem. Part 2. CLP solution and real-world example
Autorzy:: Mazur, M.
Niederliński, A.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: car sequencing
car assembly scheduling
workstation capacity constraints
constraint logic programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Zastosowanie programowania ograniczeniowego w logice dla problemu aukcji kombinatorycznych
Autorzy:: Tatoń, T.
Data publikacji:: 2006
Słowa kluczowe:: programowanie ograniczeniowe
logika z ograniczeniami
CHIP
aukcja kombinatoryczna
constraint logic programming
combinatorial auction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Proving Theorems by Program Transformation
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2013
Słowa kluczowe:: automated theorem proving
constraint logic programming
program specialization
program transformation
quantifier elimination
temporal logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Modele dla potrzeb rozwiązywania zadań optymalizacji taryf
Autorzy:: Pytlak, R.
Stecz, W.
Data publikacji:: 2014
Słowa kluczowe:: optymalizacja taryf
programowanie z ograniczeniami
minimalizacja kosztu
tariff optimization
constraint logic programming
cost minimization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Zastosowanie programowania ograniczeniowego w logice dla problemu konfigurowania zespołów pracowników
Autorzy:: Tatoń, T.
Data publikacji:: 2006
Słowa kluczowe:: programowanie ograniczeniowe
logika z ograniczeniami
CHIP
konfigurowanie zespołu pracowników
constraint logic programming
team management problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Techniki programowania z ograniczeniami w zarządzaniu wiedzą MŚP
Autorzy:: Bach, I.
Bocewicz, G.
Banaszek, Z.
Data publikacji:: 2007
Słowa kluczowe:: przedsiębiorstwo
MŚP
programowanie z ograniczeniami
CLP
zarządzanie wiedzą
enterprise
SME
constraint logic programming
knowledge management; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Modele dla potrzeb rozwiązywania zadań optymalizacji taryf
Models for solving the tariff optimization problem
Autorzy:: Pytlak, R.
Stecz, W.
Data publikacji:: 2014
Wydawca:: Polskie Wydawnictwo Ekonomiczne
Tematy:: optymalizacja taryf
programowanie z ograniczeniami
minimalizacja kosztu
tariff optimization
constraint logic programming
cost minimization; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Modele dla potrzeb rozwiązywania zadań optymalizacji taryf
Models for solving the tariff optimization problem
Autorzy:: R. Pytlak
W. Stecz
Data publikacji:: 2014
Tematy:: optymalizacja taryf
programowanie z ograniczeniami
minimalizacja kosztu
tariff optimization
constraint logic programming
cost minimization; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

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: 37.

Tytuł:: Analiza systemowa i zarządzanie : książka jubileuszowa z okazji 50-lecia pracy naukowej Romana Kulikowskiego * Constraint logic programming - od PROLOGU do CHIPU
Książka = Book ; KS/1/1999/P12
Autorzy:: Niederliński, Antoni
Data publikacji:: 1999
Wydawca:: Instytut Badań Systemowych. Polska Akademia Nauk
Systems Research Institute. Polish Academy of Sciences
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Książka

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: CLP-based approach to decision support for SCM systems
Autorzy:: Tomczuk-Piróg, I.
Mądry, M.
Banaszak, Z
Data publikacji:: 2007
Słowa kluczowe:: supply chain management
constraint logic programming
constraint satisfaction problem (CSP)
decision support system
waste distribution network; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Controlling Polyvariance for Specialization-based Verification
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2013
Słowa kluczowe:: constraint logic programming
generalization
polyvariance
program specialization
unfold/fold transformation
verification of infinite state reactive systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Koncepcja systemu wspomagania decyzji logistycznych
Autorzy:: Sitek, P.
Wikarek, J.
Data publikacji:: 2011
Słowa kluczowe:: wspomaganie decyzji
programowanie w logice z ograniczeniami
relacyjna baza danych
decision support
constraint logic programming
relational database; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Risk assessement in multi-project environment
Autorzy:: Tomczuk-Piróg, I.
Banaszak, Z.
Data publikacji:: 2007
Słowa kluczowe:: constraint logic programming
constraint satisfaction problem (CSP)
decision support system
knowledge engineering
projects management
multi-project environment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Integracja zadań planowania przepływu produkcji w ujęciu technik programowania z ograniczeniami
Autorzy:: Borowiecki, T.
Banaszak, Z.
Data publikacji:: 1999
Słowa kluczowe:: przepływ produkcji
sterowanie operatywne
programowanie w logice z ograniczeniami
production flow
operational control centre
constraint logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: A hybrid method for multi-objective optimization of supply chain
Autorzy:: Sitek, P.
Data publikacji:: 2014
Słowa kluczowe:: mathematical programming
constraint logic programming
Pareto optimal solution
supply chain
łańcuch dostaw
programowanie matematyczne
programowanie w logice; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Risk assessement in multi-project environment
Autorzy:: Tomczuk-Piróg, I.
Banaszak, Z.
Data publikacji:: 2007
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: constraint logic programming
constraint satisfaction problem (CSP)
decision support system
knowledge engineering
projects management
multi-project environment; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Implementation of a decision support model of the supply chain management in the environment of constraint logic programming
Implementacja modelu wspomagania decyzji zarzadzania łańcuchem dostaw w środowisku programowania w logice z ograniczeniami
Autorzy:: Wikarek, J.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: zarządzanie łańcuchem dostaw
wspomaganie decyzji
programowanie w logice z ograniczeniami
Supply Chain Management (SCM)
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Zastosowanie technik programowania CLP do planowania przepływu produkcji w przedsiębiorstwach produkcyjnych
Autorzy:: Tomczuk-Piróg, I.
Data publikacji:: 2006
Słowa kluczowe:: język OPL
problem spełniania ograniczeń
system wariantowania zleceń
constraint logic programming
CLP
decision support systems
DSS
Production Order Verification System
POVS; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Koncepcja systemu do wspomagania decyzji zarządzania centrum dystrybucyjnym
Autorzy:: Sitek, P.
Wikarek, J.
Data publikacji:: 2010
Słowa kluczowe:: wspomaganie decyzji
programowanie w logice z ograniczeniami
programowanie matematyczne
relacyjne bazy danych
decision support
constraint logic programming
mathematic programming
relational database; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Harmonogramowanie zadań i rozdziału zasobów jako problem spełnienia ograniczeń
Autorzy:: Sitek, P.
Wikarek, J.
Bocewicz, G.
Data publikacji:: 2007
Słowa kluczowe:: harmonogramowanie zadań
rozdział zasobów
problem spełniania ograniczeń
CSP
programowanie w logice z ograniczeniami
CLP
scheduling problem
Constraint Satisfaction Problem
Constraint Logic Programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Programowanie w logice ograniczeniami do zarządzania w środowisku wieloprojektowym
Autorzy:: Skołud, B.
Zientek, A.
Data publikacji:: 2005
Słowa kluczowe:: programowanie w logice
środowisko wieloprojektowe
zarządzanie projektem
CPM
PERT
MPM
GERT
logic programming
multi-project environment
project management
GERT method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: Sterowanie filtracją harmonicznych w ujęciu programowania w logice z ograniczeniami
Autorzy:: Szczygieł, T.
Data publikacji:: 2006
Słowa kluczowe:: filtracja harmonicznych
sterowanie
logika z ograniczeniami
system elektroenergetyczny
filtr aktywny
harmonics filtration
control
constraint logic
power systems
active power filter; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Constraint Logic Programming" wg kryterium: Wszystkie pola