Home
Catalogue search
Refine your search:
Keyword:
Deduktion (203)
Reasoning (122)
Deduktion (Kognitionsforschung) (115)
Sprachlogik (99)
Inferenz (73)
Syllogismus (47)
Deduktion (Wissenschaftstheorie) (43)
Mental model (37)
Induktion (36)
Argumentationstheorie (32)
more
Creator / Publisher:
The Pennsylvania State University CiteSeerX Archives (40)
Johnson-Laird, Philip Nicholas (20)
Byrne, Ruth M. J. (11)
Politzer, Guy (7)
Benthem, Johan van (6)
Gabbay, Dov M. (6)
Deutsches Forschungszentrum (5)
Evans, Jonathan St. B. T. (5)
Intelligenz Gmbh (5)
Kempson, Ruth M. (5)
more
Year
Medium
Type:
Article (384)
Book (56)
Miscellaneous (13)
BLLDB-Access:
free (453)
subject to license (75)
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Page:
1
2
3
4
5
...
23
Hits 1 – 20 of 453
1
Modeling human-like morphological prediction
Rosen, Eric R
In: Proceedings of the Society for Computation in Linguistics (2022)
BASE
Show details
2
Variables are valuable: making a case for deductive modeling
Tizón-Couto, David
;
Lorenz, David
In:
Linguistics. - Berlin [u.a.] : Mouton de Gruyter
59 (2021) 5, 1279-1309
BLLDB
Show details
3
Improving Automation for Higher-Order Proof Steps
Defourné, Antoine
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
BASE
Show details
4
Актуальные схемы мошенничества при получении налогового вычета и способы противодействия им ... : Current Schemes of Fraud in Obtaining a Tax Deduction and Ways to Counteract Them ...
Удалов Максим Игоревич
;
Шибалова Мария Алексеевна
. - : Вестник Саратовской государственной юридической академии, 2021
BASE
Show details
5
ПРАВОВАЯ ПОЛИТИКА РОССИЙСКОЙ ФЕДЕРАЦИИ В СФЕРЕ РАЗВИТИЯ ЧАСТНОГО ИНВЕСТИРОВАНИЯ ... : Legal policy of the Russian Federation in the field of private investment development ...
Е. В. Юдина
. - : Правовая политика и правовая жизнь, 2021
BASE
Show details
6
Leo-III – A Theorem Prover for Higher-Order Logic ...
Steen, Alexander
;
Benzmueller, Christoph
. - : Zenodo, 2021
BASE
Show details
7
Leo-III 1.6 ...
Steen, Alexander
. - : Zenodo, 2021
BASE
Show details
8
Leo-III 1.6 ...
Steen, Alexander
. - : Zenodo, 2021
BASE
Show details
9
Discovering Geometric Inequalities: The Concourse of GeoGebra Discovery, Dynamic Coloring and Maple Tools
Tomás Recio
;
Rafael Losada
;
Zoltán Kovács
...
In: Mathematics ; Volume 9 ; Issue 20 (2021)
BASE
Show details
10
On Sellars' exam question trilemma: are Kant's premises analytic, or synthetic a priori, or a posteriori?
O'Shea, James R.
. - : Taylor & Francis, 2021
BASE
Show details
11
Analysing scientific discourse from a systemic functional linguistic perspective : a framework for exploring knowledge building in biology
Hao, Jing
. - London : Routledge, 2020
BLLDB
UB Frankfurt Linguistik
Show details
12
Proof-theoretic aspects of NLλ
Moot, Richard
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
BASE
Show details
13
Leo-III 1.5 – A Theorem Prover for Higher-Order Logic ...
Steen, Alexander
;
Benzmueller, Christoph
. - : Zenodo, 2020
BASE
Show details
14
Backwards Time: The Rhetoric of Reverse
VIRDEE, DOUGLASS
. - 2020
BASE
Show details
15
A Semantic Characterization for ASP Base Revision
Garcia, Laurent
;
Lefèvre, Claire
;
Stéphan, Igor
...
In: ISSN: 1076-9757 ; Journal of Artificial Intelligence Research ; https://hal-amu.archives-ouvertes.fr/hal-02392942 ; Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2019, 66, pp.989 - 1029 (2019)
BASE
Show details
16
Epistemic modals, deduction, and factivity: New insights from the epistemic future
Mihoc, Teodora
;
Bhadra, Diti
;
Falaus, Anamaria
In: Proceedings of the 29th Semantics and Linguistic Theory Conference ; Semantics and Linguistic Theory (SALT) 29 ; https://hal.archives-ouvertes.fr/hal-02428030 ; Semantics and Linguistic Theory (SALT) 29, UCLA, May 2019, Los Angeles, United States. pp.351-370, ⟨10.3765/salt.v28i0.4422⟩ ; https://journals.linguisticsociety.org/proceedings/index.php/SALT/article/view/29.351 (2019)
BASE
Show details
17
IN SEARCH OF LOGIC IN TRANSLATION: INDUCTION, DEDUCTION OR ABDUCTION? ...
Oleksandr, Rebrii
. - : Zenodo, 2019
BASE
Show details
18
IN SEARCH OF LOGIC IN TRANSLATION: INDUCTION, DEDUCTION OR ABDUCTION? ...
Oleksandr, Rebrii
. - : Zenodo, 2019
BASE
Show details
19
Preference inference based on lexicographic and Pareto models
George, Anne-Marie
. - : University College Cork, 2019
BASE
Show details
20
Classical logic, argument and dialectic
M. D'Agostino
;
S. Modgil
. - : Elsevier, 2018
BASE
Show details
Page:
1
2
3
4
5
...
23
Mobile view
All
Catalogues
UB Frankfurt Linguistik
49
IDS Mannheim
0
OLC Linguistik
40
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
356
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
95
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern