Temat: formal inference - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Computing Implications with Negation from a Formal Context
Autorzy:: Missaoui, R.
Nourine, L.
Renaud, Y.
Data publikacji:: 2012
Słowa kluczowe:: formal concept analysis
implication
negation
inference system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Typology emerges from simplicity in representations and learning
Autorzy:: Lambert, Dakotah
Rawski, Jonathan
Heinz, Jeffrey
Data publikacji:: 2021
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: model theory
subregularity
grammatical inference
formal language theory
phonology
learning
complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Clearing Restarting Automata
Autorzy:: Černo, P.
Mráz, F.
Data publikacji:: 2010
Słowa kluczowe:: analysis by reduction
clearing restarting automata
formal languages
grammatical inference problem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Typology emerges from simplicity in representations and learning
Autorzy:: Lambert, Dakotah
Rawski, Jonathan
Heinz, Jeffrey
Data publikacji:: 2021
Słowa kluczowe:: model theory
subregularity
grammatical inference
formal language theory
phonology
learning
complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems
Autorzy:: Chatzikyriakidis, S.
Lafourcade, M.
Ramadier, L.
Zarrouk, M.
Data publikacji:: 2017
Słowa kluczowe:: lexical networks
JeuxDeMots
type theory
type ontologies
formal semantics
natural language inference; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems
Autorzy:: Chatzikyriakidis, S.
Lafourcade, M.
Ramadier, L.
Zarrouk, M.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: lexical networks
JeuxDeMots
type theory
type ontologies
formal semantics
natural language inference; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Simple and flexible way to integrate heterogeneous information systems and their services into the world data system
Autorzy:: Nowakowski, Grzegorz
Telenyk, Sergii
Yefremov, Kostiantyn
Khmeliuk, Volodymyr
Data publikacji:: 2021
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: research
application integration
business processes
mathematical logic
formal logic
inference mechanism
multi-agent system
protocol
software agent; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Simple and flexible way to integrate heterogeneous information systems and their services into the world data system
Autorzy:: Nowakowski, Grzegorz
Telenyk, Sergii
Yefremov, Kostiantyn
Khmeliuk, Volodymyr
Data publikacji:: 2021
Słowa kluczowe:: research
application integration
business processes
mathematical logic
formal logic
inference mechanism
multi-agent system
protocol
software agent; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: The approach to applications integration for world data center interdisciplinary scientific investigations
Autorzy:: Nowakowski, Grzegorz
Telenyk, Sergii
Yefremov, Kostiantyn
Khmeliuk, Volodymyr
Data publikacji:: 2019
Słowa kluczowe:: research
application integration
business processes
mathematical logic
formal logic
inference mechanism
multi-agent system
protocol
software agents
badania
integracja aplikacji
procesy biznesowe
logika matematyczna
logika formalna
mechanizm wnioskowania
systemy wieloagentowe
protokół; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

Szczegóły

Informacja