Temat: logic programming - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Algorytm generowania reguł pierwszego rzędu wykorzystujący metody zbiorów przybliżonych
An algorithm generating first order rules based on rough set methods
Autorzy:: Stepaniuk, J,
Góralczuk, L.
Data publikacji:: 2002
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: rough sets
inductive logic programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

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: 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ł:: Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic
Autorzy:: Gheorghiu, Alexander V.
Pym, David J.
Data publikacji:: 2023
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: logic programming
proof-theoretic semantics
bilateralism
negationas-failure; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

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

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

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

Tytuł:: Declarativity in modelling and problem solving
Autorzy:: Niederliński, A.
Data publikacji:: 2000
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: język symulacyjny
język wysokiego poziomu
optymalizacja kombinatoryczna
CHIP
CLP
combinatorial optimisation
constraint solving
declarative programming
high level language
logic programming
logic programming languages
Prolog
simulation language; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Logic programming tools for formal software specification
Zastosowanie narzędzi programowania logicznego do formalnej specyfikacji oprogramowania
Autorzy:: Przymusińska, H.
Data publikacji:: 2011
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: software engineering
logic programming
programming tools
inżynieria oprogramowania
programowanie logiczne
narzędzia programowania; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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

Informacja

Wyszukujesz frazę "logic programming" wg kryterium: Temat