Temat: LOGIC PROGRAMMING - Prolib Integro

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

Tytuł:: On the complexity of perfect models of logic programs
Autorzy:: Dudakov, S.
Data publikacji:: 1999
Słowa kluczowe:: Logic Programming (LP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

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

Tytuł:: A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
Autorzy:: Lisi, F. A.
Straccia, U.
Data publikacji:: 2013
Słowa kluczowe:: inductive logic programming
ontologies; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory
Autorzy:: Nieves, J.C.
Osorio, M.
Zepeda, C.
Data publikacji:: 2011
Słowa kluczowe:: non-monotonic reasoning
extension-based argumentation semantics
logic programming semantics
Logic Programming (LP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Algorytm generowania reguł pierwszego rzędu wykorzystujący metody zbiorów przybliżonych
Autorzy:: Stepaniuk, J
Góralczuk, L.
Data publikacji:: 2002
Słowa kluczowe:: rough sets
inductive logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

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

Tytuł:: A Theoretical Perspective of Coinductive Logic Programming
Autorzy:: Ancona, D.
Dovier, A.
Data publikacji:: 2015
Słowa kluczowe:: logic programming
denotational semantics
coinduction; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Logic Programming with Graded Introspection
Autorzy:: Zhang, Z.
Wang, B.
Zhang, S.
Data publikacji:: 2016
Słowa kluczowe:: logic programming
epistemic specification
graded introspection; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
Autorzy:: Vennekens, J.
Wittocx, J.
Mariën, M.
Denecker, M.
Data publikacji:: 2007
Słowa kluczowe:: Logic Programming (LP)
approximation
fixpoint extension; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Evaluating Compliance : From LTL to Abductive Logic Programming
Autorzy:: Chesani, F.
Gavanelli, M.
Lamma, E.
Mello, P.
Montali, M.
Data publikacji:: 2018
Słowa kluczowe:: linear temporal logic
abductive logic programming
compliance verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: LOGIC PROGRAMMING AND INTERACTIVE APPLICATIONS
Autorzy:: Alexander Šimko
Jozef Šiška
Tematy:: ANSWER SET PROGRAMMING
ASP
INTERACTIVE APPLICATIONS
LOGIC PROGRAMMING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Abducible Semantics and Argumentation
Autorzy:: Osorio, M.
Carballido, J. L.
Zepeda, C.
Data publikacji:: 2017
Słowa kluczowe:: argumentation framework
argumentation semantics
logic programming semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Database access design using linked object-oriented and logic programming
Autorzy:: Filutowicz, Z.
Strzelecki, R.
Data publikacji:: 1998
Słowa kluczowe:: programowanie obiektowe
programowanie logiczne
object-oriented programming
logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

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

Tytuł:: GASP: Answer Set Programming with Lazy Grounding
Autorzy:: Dal Palu, A.
Dovier, A.
Pontelli, E.
Rossi, G.
Data publikacji:: 2009
Słowa kluczowe:: answer set programming
Logic Programming (LP)
non-monotonic reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Abductive Reasoning Driven Approach to Project - Like Production Flow Prototyping
Autorzy:: Grzegorz Bocewicz
Zbigniew Banaszak
Data publikacji:: 2009-01-01
Tematy:: knowledge engineering
modeling
constraints logic programming
scheduling; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

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

Tytuł:: Control Generation by Program Transformation
Autorzy:: King, A.
Martin, J.C.
Data publikacji:: 2006
Słowa kluczowe:: Logic Programming (LP)
program transformation
control generation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

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

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

Tytuł:: Infinite Unfolding and Transformations of Nondeterministic Programs
Autorzy:: Lisper, B.
Data publikacji:: 2005
Słowa kluczowe:: logic programming
computer programming
functional programming languages
functional programming
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

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

Tytuł:: A General Similarity Framework for Horn Clause Logic
Autorzy:: Ferilli, S.
Basile, T.M.A.
Biba, M.
Di Mauro, N.
Esposito, F.
Data publikacji:: 2009
Słowa kluczowe:: first-order logic
Logic Programming (LP)
Similarity/Distance Measures; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: lpopt : A Rule Optimization Tool for Answer Set Programming
Autorzy:: Bichler, Manuel
Morak, Michael
Woltran, Stefan
Data publikacji:: 2020
Słowa kluczowe:: logic programming
answer set programming
rule decomposition
tree decomposition
preprocessing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

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

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: The CHR-based Implementation of the SCIFF Abductive System
Autorzy:: Alberti, M.
Gavanelli, M.
Lamma, E.
Data publikacji:: 2013
Słowa kluczowe:: logic programming
prediction models
mathematical proofs
default logic
semantics
verification logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Logic Programming Representation of the Compound Term Composition Algebra
Autorzy:: Analyti, A.
Pachoulakis, I.
Data publikacji:: 2006
Słowa kluczowe:: faceted taxonomies
Logic Programming (LP)
computational complexity
application; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

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

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

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

Tytuł:: Multi-Dimensional Relational Sequence Mining
Autorzy:: Esposito, F.
Di Mauro, N.
Basile, T.M.A.
Ferilli, S.
Data publikacji:: 2008
Słowa kluczowe:: multi-relational sequence mining
inductive logic programming
sequence analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Towards Deriving Conclusions from Cause-effect Relations
Autorzy:: Fandinno, J.
Data publikacji:: 2016
Słowa kluczowe:: logic programming
semantics
knowledge representation
performance evaluation
computer algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: A Logic-Based, Reactive Calculus of Events
Autorzy:: Chesani, F.
Mello, P.
Montali, M.
Torroni, P.
Data publikacji:: 2011
Słowa kluczowe:: event calculus
reactive reasoning
monitoring
computational logic
Abductive Logic Programming (ALP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: MCINTYRE : A Monte Carlo System for Probabilistic Logic Programming
Autorzy:: Riguzzi, F.
Data publikacji:: 2013
Słowa kluczowe:: logic programs with annotated disjunctions
Monte Carlo methods
probabilistic logic programming
ProbLog; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

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

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

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

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

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

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

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

Tytuł:: Logic programming tools for formal software specification
Autorzy:: Przymusińska, H.
Data publikacji:: 2011
Słowa kluczowe:: software engineering
logic programming
programming tools
inżynieria oprogramowania
programowanie logiczne
narzędzia programowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Fuzziness and constraints programming for AGVs system control
Autorzy:: Bocewicz, G.
Bach, I.
Banaszak, Z.
Data publikacji:: 2007
Słowa kluczowe:: knowledge engineering
constraints logic programming
fuzzy sets
deadlock avoidance
scheduling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Multi-Context Systems with Preferences
Autorzy:: Le, T.
Son, T. C.
Pontelli, E.
Data publikacji:: 2018
Słowa kluczowe:: answer set optimization
logic programming with preferences
multi-context system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Shift Design with Answer Set Programming
Autorzy:: Abseher, M.
Musliu, N.
Woltran, S.
Gebser, M.
Schaub, T.
Data publikacji:: 2016
Słowa kluczowe:: logic programming
combinatorial optimization
problem solving
number theory
combinatorial analysis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

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

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

Tytuł:: Compliance in Business Processes with Incomplete Information and Time Constraints : a General Framework based on Abductive Reasoning
Autorzy:: Chesani, F.
Mello, P.
Montali, M.
Tessaris, S.
De Masellis, R.
Di Francescomarino, C.
Ghidini, C.
Data publikacji:: 2018
Słowa kluczowe:: abductive logic programming
business processes
incomplete traces
observability
temporal workflows; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

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

Tytuł:: TECHNOLOGICKÝ PARADOX A HODNOTENIE PRÍNOSOV INFORMATIZÁCIE
Technological paradox and evaluation of the benefits of informatization
Autorzy:: Szudzina František
Kmec Peter
Tematy:: FACTOR ANALYSIS
INFORMATION SYSTEMS
LOGIC PROGRAMMING
NFORMATION TECHNOLOGY
PERFORMANCE
REGRESSION
ECONOMICS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

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

Tytuł:: A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs
Autorzy:: Potikas, P.
Rondogiannis, P.
Gergatsoulis, M.
Data publikacji:: 2006
Słowa kluczowe:: Logic Programming (LP)
deductive databases
program and query transformations
nondeterministic constructs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: From Rough Sets to Rough Knowledge Bases
Autorzy:: Vitória, A.
Damásio, C. V.
Małuszyński, J.
Data publikacji:: 2003
Słowa kluczowe:: rough sets
Logic Programming
LP
stable model
uncertain reasoning
incomplete reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Pruning Operators for Disjunctive Logic Programming Systems
Autorzy:: Calimeri, F.
Faber, W.
Pfeifer, G.
Leone, N.
Data publikacji:: 2006
Słowa kluczowe:: artificial intelligence
Disjunctive Logic Programming
DLP
non-monotonic reasoning
DLP computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

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

Tytuł:: Rozwiązanie problemu m zadań - n maszyn metodą CLP oraz metodą genetyczną
Autorzy:: Donocik, S.
Data publikacji:: 2001
Słowa kluczowe:: szeregowanie zadań
metoda CLP
metoda genetyczna
scheduling
logic programming
genetic algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Autorzy:: Riguzzi, F.
Data publikacji:: 2010
Słowa kluczowe:: Probabilistic Logic Programming
well-founded semantics
Logic Programs with Annotated Disjunctions
SLG Resolution; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

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

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

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

Tytuł:: Learning Recursive Theories in the Normal ILP Setting
Autorzy:: Malerba, D.
Data publikacji:: 2003
Słowa kluczowe:: machine learning
inductive logic programming
learning recursive theories
multiple predicate learning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Extending Logic Programming with Labelled Variables : Model and Semantics
Autorzy:: Calegari, R.
Denti, E.
Dovier, A.
Omicini, A.
Data publikacji:: 2018
Słowa kluczowe:: formal semantics
labelled systems
labelled variables
logic programming
metainterpretation
situated intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

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

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Multi-robot systems scheduling under uncertainty constraints
Autorzy:: Bocewicz, G.
Banaszak, Z.
Bach, I.
Data publikacji:: 2009
Słowa kluczowe:: knowledge engineering
modelling
accurate and uncertain decision variables
constraints logic programming
scheduling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: A Multiple-Clause Folding Rule Using Instantiation and Generalization
Autorzy:: Rosenblueth, D.A.
Data publikacji:: 2006
Słowa kluczowe:: logic program transformation
folding rule
most specific generalization
semantic kernel
decompilation
inductive logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: From Constructivism to Logic Programming : an Homage to Mario Ornaghi
Autorzy:: Ferrari, M.
Fiorentini, C.
Momigliano, A.
Data publikacji:: 2018
Słowa kluczowe:: logic programming
constructivism
mathematical models
theory of knowledge
numerical analysis
probability theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

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

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

Tytuł:: Prediction of Ordinal Classes Using Regression Trees
Autorzy:: Kramer, S.
Widmer, G.
Pfahringer, B.
De Groeve, M.
Data publikacji:: 2001
Słowa kluczowe:: machine learning
ordinal classes
regression trees
decision tree
classification
regression
inductive logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

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

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

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

Tytuł:: On the Relationship between Description Logic-based and F-Logic-based Ontologies
Autorzy:: de Bruijn, J.
Heymans, S.
Data publikacji:: 2008
Słowa kluczowe:: frame logic
ontology translation
ontology meta-modeling
equality-safe formulas
semantic web language layering
f-logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

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

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

Tytuł:: Foundations of Modal Deductive Databases
Autorzy:: Nguyen L.A.
Data publikacji:: 2007
Słowa kluczowe:: modal logic
deductive databases
modal logic programming
relational algebra
seminaive evaluation
query-subquery evaluation
magic-set transformation
data complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

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

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

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

Tytuł:: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
Autorzy:: Montali, M.
Torroni, P.
Chesani, F.
Mello, P.
Alberti, M.
Lamma, E.
Data publikacji:: 2010
Słowa kluczowe:: static verification
business process management
declarative business process modeling
Abductive Logic Programming (ALP)
model checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: A graphical tabular model for rule-based logic programming and verification
Autorzy:: Nalepa, G. J.
Ligęza, A.
Data publikacji:: 2005
Słowa kluczowe:: systemy ekspertowe
Prolog
logic programming
expert systems
graphical tabular model
formal verification procedures
visual information modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

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

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

Tytuł:: RTT+ - Time Validity Constraints in RTT Language
Autorzy:: Felkner, A.
Kozakiewicz, A.
Data publikacji:: 2012
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: access control
inference system with time constraints
logic programming semantics
role-based trust management
set-theoretic semantics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

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

Tytuł:: RTT+ - Time Validity Constraints in RTT Language
Autorzy:: Felkner, A.
Kozakiewicz, A.
Data publikacji:: 2012
Słowa kluczowe:: access control
inference system with time constraints
logic programming semantics
role-based trust management
set-theoretic semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 92.

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

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

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

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

Tytuł:: Dobór optymalnej taryfy telekomunikacyjnej przy użyciu programowania w logice z ograniczeniami
Solving the optimal telecommunication rate plan configuration problem with constrained logic programming
Autorzy:: Witkowski, Jakub
Kamiński, Bogumił
Jakuczun, Wit
Data publikacji:: 2015
Wydawca:: Uniwersytet Ekonomiczny w Katowicach
Tematy:: Optymalizacja doboru taryfy
Optymalizacja kombinatoryczna
Programowanie w logice z ograniczeniami
Combinatorial optimization.
Constrained logic programming
Rate plan configuration; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:: Dobór optymalnej taryfy telekomunikacyjnej przy użyciu programowania w logice z ograniczeniami
Solving the optimal telecommunication rate plan configuration problem with constrained logic programming
Autorzy:: Jakub Witkowski
Bogumił Kamiński
Wit Jakuczun
Tematy:: Optymalizacja doboru taryfy
Optymalizacja kombinatoryczna
Programowanie w logice z ograniczeniami
Combinatorial optimization.
Constrained logic programming
Rate plan configuration; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 98.

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

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

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

Informacja

Wyszukujesz frazę "LOGIC PROGRAMMING" wg kryterium: Temat