Skocz do pozycji: 1.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:

Abductive logic programming in allergy diagnosis

Współwytwórcy:

Porębski, Grzegorz
Obtułowicz, Krystyna
Lasoń, Wojciech
Walecki, Piotr

Data publikacji:

2005

Tematy:

Diagnostyka medyczna
Sztuczna inteligencja
Alergologia

Pokaż więcej

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 3.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:

Logic programming tools for formal software specification

Autorzy:

Przymusińska, Halina

Data publikacji:

2011

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 5.

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

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 7.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 8.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:

Models and tools for improving efficiency in Constraint Logic Programming

Autorzy:

Ligęza, Antoni

Data publikacji:

2011

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 10.

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

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

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 13.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:

Abductive logic programming in allergy diagnosis

Autorzy:

Walecki, P.
Lasoń, W.
Porębski, G.
Obtułowicz, K.

Data publikacji:

2005

Słowa kluczowe:

inference
abduction
medical diagnosis
wnioskowanie
abdukcja
diagnoza medyczna

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 15.

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

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:

Towards a Logic Programming Tool for Cancer Data Analysis

Autorzy:

Tarzariol, Alice
Zanazzo, Eugenia
Dovier, Agostino
Policriti, Alberto

Data publikacji:

2020

Słowa kluczowe:

bioinformatics
big data analysis
ASP

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 18.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 19.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 20.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:

Complete extensions in argumentation coincide with 3-valued stable models in logic programming

Autorzy:

Wu, Yining

Współwytwórcy:

Caminada, Martin W. A.
Gabbay, Dov M. (1945- )

Data publikacji:

2009

Tematy:

Logika matematyczna

Pokaż więcej

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 22.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 23.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:

Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming

Autorzy:

Nguyen L.A.

Data publikacji:

2006

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 25.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 26.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 27.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 28.

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

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

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:

Random generation of closed simply typed $\lambda$-terms : a synergy between logic programming and Boltzmann samplers*

Autorzy:

Bendkowski, Maciej
Grygiel, Katarzyna
Tarau, Paul

Data publikacji:

2018

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 32.

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

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 34.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:

Introduction to solving task-level programming problems in logic programming language

Autorzy:

Foit, K.

Data publikacji:

2014

Słowa kluczowe:

robotics
task-level programming
robotyka
programowanie na poziomie zadania

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 36.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 37.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 38.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 39.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 40.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 41.

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

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

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

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 45.

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

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:

An Experimental Study of Influence of Modeling and Solving Techniques on Performance of a Tabled Logic Programming Planner

Autorzy:

Barták, R.
Vodrážka, J.

Data publikacji:

2016

Słowa kluczowe:

planning
modeling
tabling
search
iterative deepening
branch-and-bound

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 48.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 49.

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

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 50.

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

/5

Artykuł

• na półce

Szczegóły