Temat: LOGIC PROGRAMMING - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "LOGIC PROGRAMMING" wg kryterium: Temat

Wyświetlanie 1-10 z 157

Zaznacz

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

Wyświetlanie 1-10 z 157

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "LOGIC PROGRAMMING" wg kryterium: Temat