Wszystkie pola: logic reasoning

Skocz do pozycji: 1.

Tytuł:: Logic, Reasoning, Argumentation: Insights from the Wild
Autorzy:: Zenker Frank
Data publikacji:: 2018-12-15
Tematy:: argumentation
fallacy
inference
reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Logic, reasoning, argumentation : insights from the wild
Autorzy:: Zenker, Frank Autor
Data publikacji:: 2018
Tematy:: Argumentacja
Rozumowanie (logika); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Logic and reasoning in jokes
Autorzy:: Graeme Ritchie
Data publikacji:: 2014-07-28
Tematy:: theory of humour, jokes, logic, cognitive processing; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Logic and reasoning : do the facts matter?
Autorzy:: Benthem, Johan van (1949- )
Data publikacji:: 2008
Tematy:: Filozofia; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Logic for Reasoning about Persuasion
Autorzy:: Budzyńska, K.
Kacprzak, M.
Data publikacji:: 2008
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Logic-based Reasoning Support for SBVR
Autorzy:: Solomakhin, D.
Franconi, E.
Mosca, A.
Data publikacji:: 2013
Słowa kluczowe:: business rules
consistency
deontic rules
ORM2
reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A Basic Logic for Reasoning about Connector Reconfiguration
Autorzy:: Clarke, D.
Data publikacji:: 2008
Słowa kluczowe:: dynamic reconfiguration
coordination
component connectors
Reo; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Engineering design supported by many-sorted first-order logic-based reasoning
Autorzy:: Palacz, Wojciech
Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2015
Słowa kluczowe:: design support system
many-sorted first-order logic
design requirements
knowledge-based reasoning
hierarchical hypergraphs; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Floor-layout design supported by many-sorted first-order logic-based reasoning
Autorzy:: Palacz, Wojciech
Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2015
Wydawca:: Warsaw University of Technology. Faculty of Automotive and Construction Machinery Engineering. Institute of Machine Design Fundamentals
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 10.

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

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

Tytuł:: Engineering Design Supported by Many-Sorted First-Order Logic-Based Reasoning
Autorzy:: Palacz, W.
Grabska, E.
Ślusarczyk, G.
Gajek, S.
Data publikacji:: 2015
Słowa kluczowe:: design requirements
many-sorted first-order logic
knowledge-based reasoning
design support system
hierarchical hypergraph; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Logika odkrycia naukowego a logika rozumowania
The Logic of Scientific Discovery and the Logic of Reasoning
Autorzy:: Bobryk, Jerzy
Data publikacji:: 2002-06-01
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: The Logic of Scientific Discovery and the Logic of Reasoning
Logika odkrycia naukowego a logika rozumowania
Autorzy:: Jerzy Bobryk
Data publikacji:: 2002-06-01
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Język, logika a rozumowanie – teoria reguł czy modele umysłowe?
Language, logic and reasoning - rules theory or mental models
Autorzy:: Białek, Michał
Data publikacji:: 2008
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: reasoning
logic
mental models
rules theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Język, logika a rozumowanie – teoria reguł czy modele umysłowe?
Language, logic and reasoning - rules theory or mental models
Autorzy:: Białek, Michał
Współwytwórcy:: Szkoła Wyższa Psychologii Społecznej w Warszawie
Data publikacji:: 2014-05-30T05:46:52Z
Wydawca:: Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: reasoning
logic
mental models
rules theory; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: The Inference Pattern Mou in Mohist Logic: A Monotonicity Reasoning View
Autorzy:: Zhiqiang Sun
Fenrong Liu
Data publikacji:: 2020
Tematy:: logika mohistyczna
Mou
monotoniczność
analiza kontekstualna
Mohist logic
mou
monotonicity
contextual analysis; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: The inference pattern "mou" in mohist logic : a monotonicity reasoning view
Współwytwórcy:: Sun, Zhiqiang Autor
Liu, Fenrong Autor
Data publikacji:: 2020
Tematy:: Filozofia chińska
Wnioskowanie (logika); Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: The logic of plausible reasoning in the diagnosis of castings defects
Współwytwórcy:: Kluska-Nawarecka, Stanisława
Górny, Zbigniew (1927- )
Smolarek-Grzyb, A.
Wilk-Kołodziejczyk, D.
Instytut Odlewnictwa
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Metalurgii i Inżynierii Materiałowej
Krakowska Akademia im. Andrzeja Frycza Modrzewskiego
Data publikacji:: 2007
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Diagnostics of crack formation in castings using the logic of plausible reasoning
Współwytwórcy:: Smolarek-Grzyb, A.
Kluska-Nawarecka, S.
Wilk-Kołodziejczyk, D.
Górny, Z.
Data publikacji:: 2007
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Explicit substitution into action : a non-monotonic logic for reasoning about actions and change
Autorzy:: Bednarczyk, M.
Data publikacji:: 2001
Słowa kluczowe:: logika predykatów
jawne zastąpienia
logic of predicates
explicit substitution; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: McDowell and Perceptual Reasons
Autorzy:: Anna Tomaszewska
Tematy:: Perception (Philosophy)
Reasoning (Logic)
Judgments
Mcdowell, John Henry
Descartes, Rene; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: The Heuristic Model Based on LPR in the Context of Material Conversion
Autorzy:: Wilk-Kołodziejczyk, D.
Kluska-Nawarecka, S.
Nawarecki, E.
Śnieżyński, B.
Jaśkowiec, K.
Legień, G.
Data publikacji:: 2017
Słowa kluczowe:: conversion of a technology
ductile iron
ADI
logic of plausible reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Remarks on Giovanni Sartor’s paper, the logic of proportionality : reasoning with non-numerical magnitudes
Autorzy:: Załuski, Wojciech
Data publikacji:: 2013
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: The Heuristic Model Based on LPR in the Context of Material Conversion
Autorzy:: Wilk-Kołodziejczyk, D.
Kluska-Nawarecka, S.
Nawarecki, E.
Śnieżyński, B.
Jaśkowiec, K.
Legień, G.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: conversion of a technology
ductile iron
ADI
logic of plausible reasoning; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: The use of LPR (logic of plausible reasoning) to obtain information on innovative casting technologies
Współwytwórcy:: Kluska-Nawarecka, Stanisława
Lustofin, M.
Śnieżyński, B.
Wilk-Kołodziejczyk, D.
Parada, W.
Data publikacji:: 2014
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: FORMALIZATION METHOD OF CAUSAL REASONING IN LOGIC (Formalizacja rozumowania przyczynowo-skutkowego)
Autorzy:: Tyburski Michal
Tematy:: CAUSAL REASONING
REITER'S SOLUTION OF FRAME PROBLEM
PHILOSOPHY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Reasoning algorithm for a creative decision support system integrating inference and machine learning
Autorzy:: Wilk-Kolodziejczyk, D.
Data publikacji:: 2017
Słowa kluczowe:: reasoning algorithm
inferential theory of learning
decision support
rule induction
logic of plausible reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Reasoning algorithm for a creative decision support system integrating inference and machine learning
Autorzy:: Wilk-Kolodziejczyk, D.
Data publikacji:: 2017
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: reasoning algorithm
inferential theory of learning
decision support
rule induction
logic of plausible reasoning; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: The Inference Pattern Mou in Mohist Logic: A Monotonicity Reasoning View
Schemat wnioskowania mou w logice mohistycznej
Autorzy:: Sun, Zhiqiang
Liu, Fenrong
Data publikacji:: 2021-01-04
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika mohistyczna
Mou
monotoniczność
analiza kontekstualna
Mohist logic
mou
monotonicity
contextual analysis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

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

Tytuł:: The use of LPR (logic of plausible reasoning) to obtain information on innovative casting technologies
Autorzy:: Kluska-Nawarecka, S.
Śnieżyński, B.
Parada, W.
Lustofin, M.
Wilk-Kołodziejczyk, D.
Data publikacji:: 2014
Słowa kluczowe:: odlewnictwo
technologie odlewania
obszar problemowy
logic of plausible reasoning
cast foundry
intelligent information system
methodology for the application
innovative casting technologies; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

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

Tytuł:: Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
Autorzy:: She, Y.
He, X.
Wang, G.
Data publikacji:: 2011
Słowa kluczowe:: rough truth degree
rough similarity degree
rough pseudo-metric
approximate reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
Autorzy:: She, Y.
He, X.
Wang, G.
Data publikacji:: 2011
Słowa kluczowe:: rough upper truth degree
rough lower truth degree
rough similarity degree
rough pseudo-metric
approximate reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Diagnosis of casting defects using uncertain and incomplete knowledge
Autorzy:: Górny, Z.
Kluska-Nawarecka, S.
Wilk-Kołodziejczyk, D.
Regulski, K.
Data publikacji:: 2010
Słowa kluczowe:: diagnostyka wad odlewów
identyfikacja przyczyn defektów
logika rozmyta
logika wiarygodnego rozumowania
diagnosis of casting defects
identification of defect causes
fuzzy logic
logic of plausible reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Introduction
Autorzy:: Erik Weber
Dietlinde Wouters
Joke Meheus
Data publikacji:: 2012-12-01
Tematy:: classical logic
rationality
scientific reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: An Attempt to Adapt a Logic of Conditional Preferences for Reasoning with Contrary-To-Duties
Autorzy:: Cholvy, L.
Garion, Ch.
Data publikacji:: 2001
Słowa kluczowe:: conditional preferences
deontic reasoning
Contrary-To-Duties; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
Autorzy:: Tomza, Anna
Data publikacji:: 2020
Wydawca:: Łódzkie Towarzystwo Naukowe
Tematy:: classification of reasoning, formal logic, two and three-valued logic, definitions
klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
Autorzy:: Anna Tomza
Data publikacji:: 2020
Tematy:: classification of reasoning, formal logic, two and three-valued logic, definitions
klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: A Non-monotonic Logic as a Pattern of Reasoning in the Unfavorable Conditions
Logika niemonotoniczna jako sposób wnioskowania w niesprzyjających warunkach
Autorzy:: Anna Wójtowicz
Marcin Trepczyński
Data publikacji:: 2011-06-01
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Logika niemonotoniczna jako sposób wnioskowania w niesprzyjających warunkach
A Non-monotonic Logic as a Pattern of Reasoning in the Unfavorable Conditions
Autorzy:: Wójtowicz, Anna
Trepczyński, Marcin
Data publikacji:: 2011-06-01
Wydawca:: Uniwersytet Warszawski. Wydział Filozofii
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Projektowanie sekwencyjnych układów cyfrowych z wykorzystaniem logiki sekwentów Gentzena
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2009
Słowa kluczowe:: logika Gentzena
sekwent
wnioskowanie symboliczne
synteza logiczna
Gentzen logic
sequent
symbolic reasoning
logic synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Visual language and graph-based structures in conceptual design
Autorzy:: Ślusarczyk, Grażyna
Data publikacji:: 2012
Słowa kluczowe:: knowledge-based reasoning
visual language
design diagram
hypergraph
first-order logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Wykorzystanie komputerowego wnioskowania w projektowaniu kombinacyjnych układów sterowania
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2008
Słowa kluczowe:: logika Gentzena
sekwent
wnioskowanie symboliczne
minimalizacja
tablice decyzyjne
VHDL
Gentzen logic
sequent
symbolic deduction
minimization
decision tables; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

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

Tytuł:: Fuzzy diagnostic reasoning that takes into account the uncertainty of the relation between faults and symptoms
Autorzy:: Kościelny, J. M.
Syfert, M.
Data publikacji:: 2006
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: lokalizacja uszkodzeń
logika rozmyta
relacje diagnostyczne
niepewność
fault isolation
fuzzy logic
diagnostic relation
uncertainty; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Fuzzy diagnostic reasoning that takes into account the uncertainty of the relation between faults and symptoms
Autorzy:: Kościelny, J. M.
Syfert, M.
Data publikacji:: 2006
Słowa kluczowe:: lokalizacja uszkodzeń
logika rozmyta
relacje diagnostyczne
niepewność
fault isolation
fuzzy logic
diagnostic relation
uncertainty; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

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

Tytuł:: A Reconstruction of Default Conditionals within Epistemic Logic
Autorzy:: Koutras, Costas D.
Moyzes, Christos
Rantsoudis, Christos
Data publikacji:: 2019
Słowa kluczowe:: conditional logic
default reasoning
epistemic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Filosofická logika?
Philosophical logic?
Autorzy:: Jaroslav Peregrin
Tematy:: logic
philosophical logic
mathematical logic
reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: An axiomatization of Wansing's expansion of Nelson's logic
Autorzy:: Omori, H.
Data publikacji:: 2015
Słowa kluczowe:: Nelson’s logic
intuitionistic logic
Jankov’s logic
nonmonotonic reasoning
axiomatization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: Logic And Cognition:
Autorzy:: Mariusz Urbański
Data publikacji:: 2011-06-01
Tematy:: Logic
reasoning
new psychologism
cognitivism; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: From Rough Sets to Rough Knowledge Bases
Autorzy:: Vitória, A.
Damásio, C. V.
Małuszyński, J.
Data publikacji:: 2003
Słowa kluczowe:: rough sets
Logic Programming
LP
stable model
uncertain reasoning
incomplete reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: Three-dimensional affine spatial logics
Autorzy:: Trybus, Adam
Data publikacji:: 2022
Słowa kluczowe:: spatial logic
qualitative spatial reasoning
affine geometry; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: On Nonfoundational Reasoning
Autorzy:: Bartosz Brożek
Data publikacji:: 2014
Tematy:: nonfoundational reasoning
foundationalism
hermeneutics
belief revision
coherence
defeasible logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: On Nonfoundational Reasoning
Autorzy:: Brożek, Bartosz
Data publikacji:: 2014
Wydawca:: Copernicus Center Press
Tematy:: nonfoundational reasoning
foundationalism
hermeneutics
belief revision
coherence
defeasible logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: A Knowledge Representation Framework Based on Epistemic Logic
Autorzy:: Przymusiński, T.
Data publikacji:: 2014
Słowa kluczowe:: non-monotonic reasoning
semantics of logic programs
disjunctive logic programs
deductive databases; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: DEDUCTIVISM IN FORMAL AND INFORMAL LOGIC
Autorzy:: Jacquette Dale
Tematy:: ARGUMENTATION
CIRCULAR REASONING
DEDUCTIVE VALIDITY
DEDUCTIVISM
FALLACY
FORMAL AND INFORMAL LOGIC
INDUCTIVE REASONING
INFORMAL (RHETORICAL) FALLACY
PHILOSOPHICAL LOGIC
VALIDITY
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: A Logic-Based, Reactive Calculus of Events
Autorzy:: Chesani, F.
Mello, P.
Montali, M.
Torroni, P.
Data publikacji:: 2011
Słowa kluczowe:: event calculus
reactive reasoning
monitoring
computational logic
Abductive Logic Programming (ALP); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations
Autorzy:: Burrieza, A.
Ojeda-Aciego, M.
Data publikacji:: 2005
Słowa kluczowe:: multimodal logic
non-classical logics
order-of-magnitude qualitative reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4
Autorzy:: Sticht, M.
Data publikacji:: 2018
Słowa kluczowe:: dialogue
proof search
intuitionistic logic
modal logic
game theories
parallel reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Knowledge and reasoning in design systems
Autorzy:: Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2011
Słowa kluczowe:: hypergraph
visual language
first-order logic
design diagram
knowledge-based reasoning; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: WHAT IS (MODERN) LOGIC TAKEN TO BE ABOUT AND WHAT IT IS ABOUT
Autorzy:: Jaroslav Peregrin
Tematy:: LOGIC
MATHEMATICAL LOGIC
PHILOSOPHICAL LOGIC
REASONING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: Weaker Axioms, More Ranges
Autorzy:: Koutras, C.D.
Peppas, P.
Data publikacji:: 2002
Słowa kluczowe:: non-monotonic reasoning
modal logic
many-valued logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: Dynamic Epistemic Logic and Logical Omniscience
Autorzy:: Rasmussen Mattias Skipper
Data publikacji:: 2015-08-18
Tematy:: epistemic logic
dynamic epistemic logic
logical omniscience
resource-bounded reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: Reasoning about resources and information : a linear logic approach
Autorzy:: Kamide, N.
Kaneiwa, K.
Data publikacji:: 2013
Słowa kluczowe:: completeness theorem
informational interpretation
linear logic
resource-sensitive reasoning
secure password authentication system
sequence modal operator; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: An adaptive logic framework for conditional obligations and deontic dilemmas
Autorzy:: Straßer Christian
Data publikacji:: 2010-03-01
Tematy:: deontic logic
dyadic deontic logic
deontic conflicts
adaptive logic
defeasible reasoning
nonmonotonic logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: An Algebraic Foundation for Linguistic Reasoning
Autorzy:: Huynh. V.N.
Murai, T.
Nakamori, Y.
Data publikacji:: 2007
Słowa kluczowe:: linguistic reasoning
fuzzy logic
linguistic variable
hedge algebra
RH-algebra
distributive lattice; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

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

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

Tytuł:: A Variant of Material Connexive Logic
Autorzy:: Belikov, Alexander
Zaitsev, Dmitry
Data publikacji:: 2021-11-09
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: many-valued logics
connexive logic
four-valued logic MC
informal reasoning; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Vagueness and Formal Fuzzy Logic: Some Criticisms
Autorzy:: Gerla Giangiacomo
Data publikacji:: 2017-12-15
Tematy:: vagueness
fuzzy logic
approximate reasoning
compactness
effectiveness
locality; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

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

Tytuł:: Pruning Operators for Disjunctive Logic Programming Systems
Autorzy:: Calimeri, F.
Faber, W.
Pfeifer, G.
Leone, N.
Data publikacji:: 2006
Słowa kluczowe:: artificial intelligence
Disjunctive Logic Programming
DLP
non-monotonic reasoning
DLP computation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: A Knowledge Representation Framework Based on Epistemic Logic
Autorzy:: Przymusiński, T.
Data publikacji:: 2014
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: non-monotonic reasoning
semantics of logic programs
disjunctive logic programs
deductive databases; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Causal Reasoning for Safety in Hennessy Milner Logic
Autorzy:: Caltais, Georgiana
Mousavi, Mohammad Reza
Singh, Hargurbir
Data publikacji:: 2020
Słowa kluczowe:: cauality
concurrency
counterfactual causal reasoning
Hennessy Milner Logic
labelled transition systems
mCRL2
model checking
process algebra
safety; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: THE PSYCHOLOGY OF REASONING AND HUMAN RATIONALITY: FROM STANDARD LOGIC TO AN ECOLOGICAL APPROACH
Autorzy:: Mora Merida Juan A.
Martin Jorge Miguel L.
Tematy:: ECOLOGICAL APPROACH
HUMAN BEING
RATIONALITY
REASONING
STANDARD LOGIC
PSYCHOLOGY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: Foundational Certification of Code Transformations Using Automatic Differentiation
Autorzy:: Tadjouddine, E. M.
Lv, W.
Data publikacji:: 2014
Słowa kluczowe:: relational Hoare logic
abductive reasoning
certification
automatic differentiation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Autorzy:: Meissner, A.
Data publikacji:: 2011
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: wnioskowanie równoległe
logika opisowa
parallel reasoning
lean deduction
ALC description logic
Oz language; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Autorzy:: Meissner, A.
Data publikacji:: 2011
Słowa kluczowe:: wnioskowanie równoległe
logika opisowa
parallel reasoning
lean deduction
ALC description logic
Oz language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: FROM DEDUCTION TO KNOWLEDGE REPRESENTATION
Autorzy:: Michal Vince
Ján Šefránek
Tematy:: COMMON SENSE
REASONING
DEFAULT LOGIC
KNOWLEDGE
NON-MONOTONIC LOGIC; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: Connecting bilattice theory with multivalued logic
Autorzy:: Genito Daniele
Gerla Giangiacomo
Data publikacji:: 2013-10-09
Tematy:: bilattice
fuzzy logic
world-based semantics
approximate reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Reasoning with limited resources: active logics expressed as labelled deductive systems
Autorzy:: Asker, M.
Malec, J.
Data publikacji:: 2005
Słowa kluczowe:: active logic
labelled deductive systems
reasoning with limited resources; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Skeptical reasoning in FC-Normal Logic Programs is P 11 complete
Autorzy:: Milnikel, R.S.
Data publikacji:: 2001
Słowa kluczowe:: FC-normal logic programs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: Paraconsistent sequential linear-time temporal logic : combining paraconsistency and sequentiality in temporal reasoning
Autorzy:: Kamide, N.
Data publikacji:: 2017
Słowa kluczowe:: linear-time temporal logic
paraconsistent logic
sequent calculus; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming
Autorzy:: Su, Ezgi Iraz
Data publikacji:: 2020
Słowa kluczowe:: nonmonotonic reasoning
minimal model semantics
autoepistemic equilibrium logic
answer set programming
epistemic specification
monotonic modal logic
Kripke model; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: Structuralist semiotics vs. formal logic in the reconstruction of judicial reasoning
Autorzy:: Kristan, Andrej
Data publikacji:: 2010
Tematy:: Logika formalna
Filozofia prawa; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: GASP: Answer Set Programming with Lazy Grounding
Autorzy:: Dal Palu, A.
Dovier, A.
Pontelli, E.
Rossi, G.
Data publikacji:: 2009
Słowa kluczowe:: answer set programming
Logic Programming (LP)
non-monotonic reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: “Internal” Problems of Normative Theories of Thinking and Reasoning
Autorzy:: Piotr Urbańczyk
Data publikacji:: 2016
Tematy:: normative theories of thinking and reasoning
logic
probability
theory
rational choice theory; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: “Internal” Problems of Normative Theories of Thinking and Reasoning
Autorzy:: Urbańczyk, Piotr
Data publikacji:: 2016
Wydawca:: Copernicus Center Press
Tematy:: normative theories of thinking and reasoning
logic
probability
theory
rational choice theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: Application of deontic logic in role-based access control
Autorzy:: Kołaczek, G.
Data publikacji:: 2002
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: informatyka
formal logic
access control
RBAC
system security
reasoning automation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: Logika miejsca i jej zastosowania w analizie niektórych rozumowań prawniczych
Place logic and its possible applications in a logical analysis of legal reasoning
Autorzy:: Anna Kozanecka-Dymek
Tematy:: topological logic
place logic
applications
analysis
legal language
legal reasoning
język prawniczy
analiza
zastosowania
logika miejsca
logika topologiczna
rozumowania prawnicze; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:: Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Autorzy:: Steen Alexander
Benzmüller Christoph
Data publikacji:: 2016-07-26
Tematy:: many-valued logic non-classical logic higher-order logic
automated theorem proving semantic embedding automation
meta-logical reasoning; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:: Graph-based representation of design properties in creating building floorplans
Autorzy:: Ślusarczyk, Grażyna
Data publikacji:: 2018
Słowa kluczowe:: graph grammars
hierarchical graphs
logic formulas
graph requirements
knowledge-based reasoning; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 96.

Tytuł:: Logika miejsca i jej zastosowania w analizie niektórych rozumowań prawniczych
Place logic and its possible applications in a logical analysis of legal reasoning
Autorzy:: Kozanecka-Dymek, Anna
Data publikacji:: 2016
Wydawca:: Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:: topological logic
place logic
applications
analysis
legal language
legal reasoning
język prawniczy
analiza
zastosowania
logika miejsca
logika topologiczna
rozumowania prawnicze; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:: Aspekty logiczne w retoryce
Autorzy:: Nojszewska, Monika
Data publikacji:: 2006
Wydawca:: Uniwersytet Jagielloński w Krakowie
Słowa kluczowe:: topos
retoryka
argumentacja
logic
schemat rozumowania
logika
reasoning schema
argumentation
rhetoric; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Książka

na półce

Szczegóły

Skocz do pozycji: 98.

Tytuł:: Logika chronologiczna i jej zastosowania w analizie niektórych rozumowań prawniczych
Chronological logic and its applications in the analysis of some legal reasoning
Autorzy:: Kozanecka-Dymek Anna
Tematy:: chronological logic
applications
analysis
legal sciences
legal discourse
legal language
legal reasoning
formalization; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:: Proof theory for reasoning with Euler diagrams : a logic translation and normalization
Autorzy:: Takemura, Ryo
Data publikacji:: 2013
Tematy:: Logika matematyczna; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:: HERBRAND THEOREMS: THE CLASSICAL AND INTUITIONISTIC CASES
Autorzy:: Lyaletski Alexander
Tematy:: AUTOMATED REASONING
CLASSICAL LOGIC
HERBRAND THEOREM
INTUITIONISTIC LOGIC
NON-CLASSICAL LOGICS
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logic reasoning" wg kryterium: Wszystkie pola