Wszystkie pola: logic representation

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 representation" wg kryterium: Wszystkie pola

Wyświetlanie 1-10 z 32

Zaznacz

Skocz do pozycji: 1.

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

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

Tytuł:: Explicit Constructive Logic ECL : a New Representation of Construction and Selection of Logical Information by an Epistemic Agent
Autorzy:: Gentilini, P.
Martelli, M.
Rosolini, G.
Data publikacji:: 2015
Słowa kluczowe:: constructivism in logic
higher order logic
intuitionistic logic
constructive paraconsistent logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Application of ALSV(FD) logic and XTT knowledge representation in the range of ADI properties
Autorzy:: Regulski, K.
Wilk-Kołodziejczyk, D.
Rojek, B.
Kluska-Nawarecka, S.
Adrian, W. T.
Data publikacji:: 2016
Słowa kluczowe:: foundry production
computer aided foundry
application of information technologies
ADI
ALSV
rule based XTT format
odlewnia
odlewy
komputerowe wspomaganie odlewni
zastosowanie technologii informatycznych; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
Autorzy:: Bubacz, P.
Adamski, M.
Data publikacji:: 2007
Słowa kluczowe:: binarne diagramy decyzyjne
OBDD
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

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

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

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

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

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

Wyświetlanie 1-10 z 32

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 representation" wg kryterium: Wszystkie pola