Temat: logic representation

Skocz do pozycji: 1.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Data publikacji:: 2007
Słowa kluczowe:: binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Data publikacji:: 2007
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: European Trade Union Confederation at the Crossroad: New Challenges and New Roles
Autorzy:: Kurczewska Urszula
Tematy:: ETUC
trade unions
interest representation
EU
logic of influence
logic of membership; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: European Trade Union Confederation at the Crossroad: New Challenges and New Roles
Autorzy:: Kurczewska, Urszula
Data publikacji:: 2013
Wydawca:: Szkoła Główna Handlowa w Warszawie
Tematy:: ETUC
trade unions
interest representation
EU
logic of influence
logic of membership; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Institutional Logics as orchestras’ strategic dilemma
Autorzy:: Andreas Heinen
Ursula Weisenfeld
Data publikacji:: 2015-10-01
Tematy:: orchestra
strategic management
institutional logic
representation
entertainment
contemplation
purism; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Computation of extensions of seminormal default theories
Autorzy:: Su, K.
Li, W.
Data publikacji:: 1999
Słowa kluczowe:: reasoning
knowledge representation
default logic
ordered default theory
extension; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

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

Tytuł:: On the Representation of Action and Agency in the Theory of Normative Positions
Autorzy:: Sergot, M.
Richards, F.
Data publikacji:: 2001
Słowa kluczowe:: deontic logic
normative systems
logic of action
logic of agency
theory of rights
knowledge representation
computer system specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

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

Tytuł:: Features Reduction Using Logic Minimization Techniques
Autorzy:: Borowik, G.
Łuba, T.
Zydek, D.
Data publikacji:: 2012
Słowa kluczowe:: machine learning
knowledge representation
discernibility function
logic minimization
attribute reduction
complement; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Hilbert algebras with a necessity modal operator
Autorzy:: Celani, S. A.
Montangie, D.
Data publikacji:: 2014
Słowa kluczowe:: Hilbert algebras
modal operator
modal logic
theory of representation
topological duality; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Features Reduction Using Logic Minimization Techniques
Autorzy:: Borowik, G.
Łuba, T.
Zydek, D.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: machine learning
knowledge representation
discernibility function
logic minimization
attribute reduction
complement; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

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

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

Tytuł:: Metody sztucznej inteligencji w digitalizacji filozofii
Artificial Intelligence Methods in Digital Philosophy
Autorzy:: Garbacz, Paweł
Data publikacji:: 2020-01-03
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: humanistyka cyfrowa
inżynieria ontologii
logika
reprezentacja wiedzy
digital humanities
logic
knowledge representation
ontological engineering; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Hybrid knowledge representation in BMS
Autorzy:: Bień, J.
Rawa, P.
Data publikacji:: 2004
Słowa kluczowe:: mosty
sieci neuronowe
knowledge representation
Bridge Management Systems
hybrid networks
neural networks
fuzzy logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Metody sztucznej inteligencji w digitalizacji filozofii
Artificial Intelligence Methods in Digital Philosophy
Autorzy:: Paweł Garbacz
Tematy:: humanistyka cyfrowa
inżynieria ontologii
logika
reprezentacja wiedzy
digital humanities
logic
knowledge representation
ontological engineering; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Discourse interpretation based on dynamic constraints
Autorzy:: Piasecki, M.
Data publikacji:: 2005
Słowa kluczowe:: anaphora
compositionality
dynamic semantics
Generalized Quantifiers
variable free logic
plurality
formal semantics
discourse representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
Autorzy:: Vakarelov, D.
Data publikacji:: 2010
Słowa kluczowe:: dynamic mereotopology
point-free theory of space and time
topological representation theorem
spatio-temporal logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

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

Tytuł:: Diagnostics of crack formation in castings using the logic of plausible reasoning
Autorzy:: Kluska-Nawarecka, S.
Górny, Z.
Wilk-Kołodziejczyk, D.
Smolarek-Grzyb, A.
Data publikacji:: 2007
Słowa kluczowe:: właściwości mechaniczne
wady odlewnicze
pęknięcia
reprezentacja wiedzy
mechanical properties
casting defects
cracks
knowledge representation
logic of plausible reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Relative Sets and Rough Sets
Autorzy:: Mousavi, A.
Jabedar-Maralani, P.
Data publikacji:: 2001
Słowa kluczowe:: teoria mnogości
analiza danych
przedstawienie wiedzy
rough sets
set theory
data analysis
multi-valued logic
interval sets
knowledge representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: The logistic of plausible reasoning in the diagnosis of castings defects
Autorzy:: Kluska-Nawarecka, S.
Górny, Z.
Wilk-Kołodziejczyk, D.
Smolarek-Grzyb, A.
Data publikacji:: 2007
Słowa kluczowe:: wady odlewów
pęknięcie
reprezentacja wiedzy
LPR
system ekspertowy
cracks
casting defects
knowledge representation
logic of plausible reasoning
expert systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Relative Sets and Rough Sets
Autorzy:: Mousavi, A.
Jabedar-Maralani, P.
Data publikacji:: 2001
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: teoria mnogości
analiza danych
przedstawienie wiedzy
rough sets
set theory
data analysis
multi-valued logic
interval sets
knowledge representation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Automatic Learning of Temporal Relations Under the Closed World Assumption
Autorzy:: Nicoletti, M. C.
Lisboa, F. O. S. S.
Hruschka Jr, E. R.
Data publikacji:: 2013
Słowa kluczowe:: Allen's temporal algebra
automatic learning of temporal relations
inductive logic programming
learning under closed world assumption
time intervals
time points
time representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing
Autorzy:: Vitulyova, Elizaveta S.
Matrassulova, Dinara K.
Suleimenov, Ibragim E.
Data publikacji:: 2022
Słowa kluczowe:: digital signal processing
non-binary Galois fields
fourier transform
rademacher functions
walsh function
multivalued logic
visibility problem
algebraic extensions
ternary representation of number; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing
Autorzy:: Vitulyova, Elizaveta S.
Matrassulova, Dinara K.
Suleimenov, Ibragim E.
Data publikacji:: 2022
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: digital signal processing
non-binary Galois fields
fourier transform
rademacher functions
walsh function
multivalued logic
visibility problem
algebraic extensions
ternary representation of number; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Imponderabilia perswazyjne. (Poza)kognitywne uwarunkowania skuteczności argumentacji
Persuasive Imponderabilia: (Non)Cognitive Determinants of Argument Effectivity
Autorzy:: Korżyk, Krzysztof
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: aksjologia
argumentacja
dyskusja
komunikacja
kontekst
logika
perswazja
postawa
przekonanie
reprezentacja
rzeczywistość
schemat
umysł
wartość
wizja
zachowanie
attitude
axiology
argument
behavior
belief
communication
context
discussion
logic
mind
persuasion
representation
reality
schema
value
vision; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: BUILDING BRIDGES BETWEEN EVERYDAY ARGUMENT AND FORMAL REPRESENTATIONS OF REASONING
Autorzy:: Debowska Kamila
Lozinski Pawel
Reed Chris
Tematy:: ARAUCARIA
ARGUING AGENTS COMPETITION
ARGUMENT DIAGRAMMING
ARGUMENT INTERCHANGE FORMAT
ARGUMENTATION STRATEGY
ARGUMENTATION THEORY
COMPLEX REAL-WORLD ARGUMENTATION
COMPUTATIONAL MODELS OF ARGUMENT
COMPUTER SCIENCE
INFORMAL LOGIC
KNOWLEDGE REPRESENTATION
PRAGMA-DIALECTICS
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Imponderabilia perswazyjne. (Poza)kognitywne uwarunkowania skuteczności argumentacji
Autorzy:: Krzysztof Korżyk
Data publikacji:: 2018
Tematy:: aksjologia
argumentacja
dyskusja
komunikacja
kontekst
logika
perswazja
postawa
przekonanie
reprezentacja
rzeczywistość
schemat
umysł
wartość
wizja
zachowanie
attitude
axiology
argument
behavior
belief
communication
context
discussion
logic
mind
persuasion
representation
reality
schema
value
vision; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logic representation" wg kryterium: Temat