Skocz do pozycji: 1.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 2.

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

/5

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 4.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 5.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 6.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 7.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 8.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 9.

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

/5

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 11.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 12.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 13.

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

/5

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

Słowa kluczowe:

production planning
waiting-free schedules design
constraint logic programming

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 15.

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

/5

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 17.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 18.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 19.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 20.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 21.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 22.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 23.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 24.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 25.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 26.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 27.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 28.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 29.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 30.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 31.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 32.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 33.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 34.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 35.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 36.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 37.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 38.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 39.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 40.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 41.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 42.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 43.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:

Portfolio selection of new product projects: a product reliability perspective
Wybór portfela projektów nowych produktów z uwzględnieniem niezawodności produktu

Autorzy:

Relich, M.

Data publikacji:

2016

Wydawca:

Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN

Tematy:

cost estimation
project alternatives
constraint satisfaction problem
constraint logic programming
decision support system
estymacja kosztów
warianty alternatywne projektu
problem spełniania ograniczeń
programowanie w logice z ograniczeniami
system wspomagania decyzji

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 45.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:

Portfolio selection of new product projects: a product reliability perspective

Autorzy:

Relich, M.

Data publikacji:

2016

Słowa kluczowe:

cost estimation
project alternatives
constraint satisfaction problem
constraint logic programming
decision support system
estymacja kosztów
warianty alternatywne projektu
problem spełniania ograniczeń
programowanie w logice z ograniczeniami
system wspomagania decyzji

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 47.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:

Rule - based constraint programming

Autorzy:

Kirchner, C.
Ringeissen, C.

Data publikacji:

1998

Słowa kluczowe:

constraint programming
constraint solving
unification
rewriting logic
computational systems

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:

A Rule-based Verification Strategy for Array Manipulating Programs

Autorzy:

De Angelis, E.
Fioravanti, F.
Pettorossi, A.
Proietti, M.

Data publikacji:

2015

Słowa kluczowe:

logic programming
constraint logic programs
CLP
verification
quadratic transformations
refutation logic

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms : Theory, Implementations, and Complexity

Autorzy:

Frühwirth, Thom

Data publikacji:

2020

Słowa kluczowe:

computational logic
confluence
constraint deletion
logic programming
rule-based programming
source-to-source program transformation
truth maintenance

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:

Answer Set Programming Modulo Acyclicity

Autorzy:

Bomanson, J.
Janhunen, T.
Schaub, T.
Gebser, M.
Kaufmann, B.

Data publikacji:

2016

Słowa kluczowe:

logic programming
knowledge representation
constraint satisfaction
performance evaluation
computer algorithms

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:

CP-driven approach to multicriteria decision making based on imprecise data

Autorzy:

Bach, I.
Bocewicz, G.

Data publikacji:

2008

Słowa kluczowe:

constraint programming
logic-algebraic method
fuzzy sets
decision making
knowledge engineering

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:

Reasoning on Datalog± Ontologies with Abductive Logic Programming

Autorzy:

Gavanelli, M.
Lamma, E.
Riguzzi, F.
Bellodi, E.
Zese, R.
Cota, G.

Data publikacji:

2018

Słowa kluczowe:

logic programming
datalog
computer program language
ontology
constraint satisfaction
computational complexity

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:

Declarativity in modelling and problem solving

Autorzy:

Niederliński, A.

Data publikacji:

2000

Słowa kluczowe:

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:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 55.

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

/5

Artykuł

• na półce

Szczegóły