Wszystkie pola: logic for knowledge

Skocz do pozycji: 1.

Tytuł:: The Dynamic Epistemic Logic for Actual Knowledge
Autorzy:: Wójcik, Arkadiusz
Data publikacji:: 2020
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Dynamic epistemic logic
logic of public announcements
knowledge representation
problem of logical omniscience
actual knowledge
epistemic change
multi-agent systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The dynamic epistemic logic for actual knowledge
Autorzy:: Wójcik, Arkadiusz Autor
Współwytwórcy:: Zakład Logiki (Uniwersytet Warszawski)
Data publikacji:: 2020
Tematy:: Logika dynamiczna
Wiedza
Logika epistemiczna
System aksjomatyczny; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Bounded Model Cheking for Interpreted Systems
Autorzy:: Penczek, W.
Lomuscio, A.
Data publikacji:: 2002
Słowa kluczowe:: logiki temporalne
interpretowane systemy
logika wiedzy
ograniczona weryfikacja modelowa
translacja do SAT
weryfikacja systemów
interpreted systems
temporal logics
logic for knowledge
bounded model checking
translation to SAT
system verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: The modal logic LEC for changing knowledge, expressed in the growing language
Autorzy:: Łyczak, Marcin Autor
Współwytwórcy:: Instytut Filozofii (Uniwersytet Kardynała Stefana Wyszyńskiego ; Warszawa)
Data publikacji:: 2021
Tematy:: Wiedza
Język
Logika epistemiczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Improvisation process for banks capacitor compensation applied fuzzy logic knowledge for nodal detection on electrical network
Autorzy:: Gasbaoui, B.
Oudda, M.
Nasri, A.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: capacitor placement
fuzzy logic
Harmony Search Optimization (HSO)
capacitor seizing
power flow; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Improvisation process for banks capacitor compensation applied fuzzy logic knowledge for nodal detection on electrical network
Autorzy:: Gasbaoui, Brahim
Współwytwórcy:: Nasri, Abdelfatah
Oudda, Meriem
Data publikacji:: 2011
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Improvisation process for banks capacitor compensation applied fuzzy logic knowledge for nodal detection on electrical network
Autorzy:: Gasbaoui, B.
Oudda, M.
Nasri, A.
Data publikacji:: 2011
Słowa kluczowe:: capacitor placement
fuzzy logic
Harmony Search Optimization (HSO)
capacitor seizing
power flow; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

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

Tytuł:: The efficiency of the inference system knowledge strategy for induction motor linear speed control of an urban electric vehicle
Autorzy:: Nasri, A.
Data publikacji:: 2010
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: electric vehicle
electronic differential
induction motor
vector control
fuzzy logic speed control; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: The efficiency of the inference system knowledge strategy for induction motor linear speed control of an urban electric vehicle
Autorzy:: Nasri, A.
Data publikacji:: 2010
Słowa kluczowe:: electric vehicle
electronic differential
induction motor
vector control
fuzzy logic speed control; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Some proof systems for predicate common knowledge logic
Autorzy:: Tanaka, Y.
Data publikacji:: 2003
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Some proof systems for predicate common knowledge logic
Autorzy:: Tanaka, Yoshihito
Data publikacji:: 2003
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Measures for evaluation of structure and semantics of ontologies
Autorzy:: Waloszek, W.
Data publikacji:: 2012
Słowa kluczowe:: ontology
description logic
Knowledge Cartography; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Prospects of using temporal logics for knowledge management
Perspektywy wykorzystania logik temporalnychw zarządzaniu wiedzą
Autorzy:: Maria Mach-Król
Data publikacji:: 2012
Tematy:: knowledge management
computer system
temporal logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Measures for evaluation of structure and semantics of ontologies
Autorzy:: Waloszek, W.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: ontology
description logic
Knowledge Cartography; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

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

Tytuł:: Controlled English interface for knowledge bases
Autorzy:: Kapłański, P.
Data publikacji:: 2011
Słowa kluczowe:: baza wiedzy
logika opisowa
kontrolowany język naturalny
OWL
knowledge base
description logic
Controlled Natural Language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Matematyczne narzędzia stosowane do reprezentacji wiedzy o wadach wyrobów metalowych
Autorzy:: Kluska-Nawarecka, S.
Adrian, A.
Durak, J.
Mrzygłód, B.
Wilk-Kołodziejczyk, D.
Data publikacji:: 2005
Słowa kluczowe:: diagnostyka wad
wyroby hutnicze
reprezentacja wiedzy
formalizacja wiedzy
logiki
wnioskowanie
język logiki
diagnostics of defects
steel products
knowledge representation
knowledge formalization
logic
deductions
language of logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Autorzy:: Eiter, T.
Erdem, E.
Faber, W.
Senko, J.
Data publikacji:: 2007
Słowa kluczowe:: knowledge representation
reasoning about actions
logic-based planning
explanations
execution monitoring
computational complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Knowledge representation for human-computer interaction in a system supporting conceptual design
Autorzy:: Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2013
Słowa kluczowe:: design actions
logic reasoning
visual language
design knowledge
graph-based structures
CAD system
conceptual design
visual thinking; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Knowledge Representation for Human-Computer Interaction in a System Supporting Conceptual Design
Autorzy:: Grabska, E.
Ślusarczyk, G.
Gajek, S.
Data publikacji:: 2013
Słowa kluczowe:: CAD system
conceptual design
design actions
design knowledge
graph-based structures
logic reasoning
visual language
visual thinking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: An ontology based approach for assisting conceptualisation in CAD processes
Autorzy:: Grabska, Ewa
Data publikacji:: 2014
Wydawca:: SCITEPRESS - Science and Technology Publications
Słowa kluczowe:: design requirement
diagram
many-sorted first-order logic
visual design
design knowledge; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic
Autorzy:: Nguyen, L. A.
Data publikacji:: 2016
Słowa kluczowe:: description logics
knowledge representation
computational complexity
reasoning
mathematical terminology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Construction of fuzzy interference system for generalization of geographic information selection of road segments
Autorzy:: Fiedukowicz, A.
Data publikacji:: 2013
Słowa kluczowe:: generalization
fuzzy logic
selection
knowledge base
generalizacja
logika rozmyta
baza wiedzy
selekcja; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: A fuzzy neural network for knowledge acquisition in complex time series
Autorzy:: Kasabov, N.
Kim, J.
Kozma, R.
Data publikacji:: 1998
Słowa kluczowe:: logika rozmyta
sieć neuronowa rozmyta
układ dynamiczny
adaptation
computational neural net
fuzzy logic
fuzzy neural net
knowledge acquisition
time-series and dynamical system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Is dominant logic a value or a liability? On the explorative turn in the German power utility industry
Autorzy:: Brandtner, Ekaterina
Freiling, Jörg
Data publikacji:: 2021
Wydawca:: Cognitione Foundation for the Dissemination of Knowledge and Science
Słowa kluczowe:: explorative turn
German energy transition
dominant logic
exploitation trap; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: A fuzzy neural network for knowledge acquisition in complex time series
Autorzy:: Kasabov, N.
Kim, J.
Kozma, R.
Data publikacji:: 1998
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: logika rozmyta
sieć neuronowa rozmyta
układ dynamiczny
adaptation
computational neural net
fuzzy logic
fuzzy neural net
knowledge acquisition
time-series and dynamical system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: A Logic-Based System for e-Tourism
Autorzy:: Ricca, F.
Dimasi, A.
Grasso, G.
Ielpa, S.M.
Iiritano, S.
Manna, M.
Leone, N.
Data publikacji:: 2011
Słowa kluczowe:: answer set programming
ASP
E-Tourism
Knowledge Representation and Reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Wysokopoziomowy model projektowania wskaźników KPI systemów inteligentnych miast
High-level model for the design of KPIs for Smart Cities systems
Autorzy:: Cezary Orłowski
Tomasz Sitek
Artur Ziółkowski
Paweł Kapłański
Aleksander Orłowski
Witold Pokrzywnicki
Tematy:: Smart Cities
zarządzanie wiedzą
Logika rozmyta
modelowanie procesów
wsparcie decyzyjne
Smart Cites
knowledge base
knowledge management
fuzzy logic
process modeling
decision support; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Wysokopoziomowy model projektowania wskaźników KPI systemów inteligentnych miast
High-level model for the design of KPIs for Smart Cities systems
Autorzy:: Orłowski, Cezary
Sitek, Tomasz
Ziółkowski, Artur
Kapłański, Paweł
Orłowski, Aleksander
Pokrzywnicki, Witold
Data publikacji:: 2015
Wydawca:: Politechnika Gdańska
Tematy:: Smart Cities
zarządzanie wiedzą
Logika rozmyta
modelowanie procesów
wsparcie decyzyjne
Smart Cites
knowledge base
knowledge management
fuzzy logic
process modeling
decision support; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Ku humanistyce eko-logicznej, czyli przebudowa na czas kryzysu
Towards Eco-logical Humanities: Or Rebuilding Knowledge for the Crisis
Autorzy:: Markiewicz, Miłosz
Data publikacji:: 2023
Wydawca:: Wydawnictwo Uniwersytetu Śląskiego
Tematy:: eko-logika
posthumanizm
wspólnota
współ-życie
oikologia
ekologia
eco-logic
posthumanism
community
living-with
oikology
ecology; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Ku humanistyce eko-logicznej, czyli przebudowa na czas kryzysu
Towards Eco-logical Humanities: Or Rebuilding Knowledge for the Crisis
Autorzy:: Miłosz Markiewicz
Data publikacji:: 2023
Tematy:: eko-logika
posthumanizm
wspólnota
współ-życie
oikologia
ekologia
eco-logic
posthumanism
community
living-with
oikology
ecology; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: The generation of learning data points for circuit performance modelling by means of fyzzy system
Autorzy:: Horbowski, R.
Białko, M.
Data publikacji:: 1998
Słowa kluczowe:: modelowanie rozmyte i neurorozmyte
logika rozmyta
modelowanie układów elektronicznych
inżynieria wiedzy
systemy ekspertowe
fuzzy and neurofuzzy modelling
fuzzy logic
electronic circuit modelling
knowledge engineering
expert systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Application of artificial intelligence methods for fault detection in anologue electronic circuits
Autorzy:: Koszlaga, J.
Data publikacji:: 2006
Słowa kluczowe:: sztuczna inteligencja
logika rozmyta
pozyskiwanie wiedzy
sieć neuronowa sztuczna
układ elektroniczny
artificial intelligence
fuzzy logic
knowledge acquisition
artificial neural network
electronic circuit; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Intelligent support system for e-Health
Autorzy:: Globa, L.
Ishchenko, I.
Zakharchuk, A.
Data publikacji:: 2016
Słowa kluczowe:: Internet of things
e-health system
IoT Hub
fuzzy logic
fuzzy knowledge bases
computerized diagnostics system
Internet rzeczy
system e-zdrowie
loT Hub
logika rozmyta
baza wiedzy rozmytej
skomputeryzowany system diagnostyczny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Reprezentacja wiedzy o technologiach przeróbki plastycznej oraz cechach wyrobów w oparciu o relacyjną bazę danych
Autorzy:: Macioł, P.
Data publikacji:: 2007
Słowa kluczowe:: bazy danych
logika atrybutowa
projektowanie technologii kucia
databases
attribute logic
forging technology design; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: On the Need for Analytical Pedagogy in Poland. A review of a monograph by Alicja Żywczok and Bogumiła Bobik, Pedagogika analityczna. Od porządkowania wiedzy naukowej do odkrywania jej nowych obszarów [Analytical Pedagogy: From Organizing Scientific Knowledge to Discovering New Domains] Katowice: Wydawnictwo Uniwersytetu Śląskiego, 2022, ss. 156, ISBN 978-83-226-4240-5
Autorzy:: Dariusz Stępkowski
Data publikacji:: 2023
Tematy:: analytical pedagogy
logic
logology
pedagogika analityczna
logika
naukoznawstwo; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: On the Need for Analytical Pedagogy in Poland. A review of a monograph by Alicja Żywczok and Bogumiła Bobik, Pedagogika analityczna. Od porządkowania wiedzy naukowej do odkrywania jej nowych obszarów [Analytical Pedagogy: From Organizing Scientific Knowledge to Discovering New Domains] Katowice: Wydawnictwo Uniwersytetu Śląskiego, 2022, ss. 156, ISBN 978-83-226-4240-5
Autorzy:: Stępkowski, Dariusz
Data publikacji:: 2023
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: analytical pedagogy
logic
logology
pedagogika analityczna
logika
naukoznawstwo; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logic for knowledge" wg kryterium: Wszystkie pola