Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
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)
	Abstract: International audience ; The epistemic future (e.g., the epistemic uses of English will) is often analyzed on a par with epistemic must. We provide novel empirical evidence from English and Romanian in deduction and factive contexts to argue that this identical treatment is not warranted. We propose a unified solution based on novel ways to (i) look at weakness in must and will and (ii) encode the factive presupposition when the complement of the factive is a modalized proposition (an interaction that, to our knowledge, has not been analyzed formally before). The account connects to existing debates on strength in necessity modals, on epistemic future and future tense, and on the embedding of epistemic (and other flavor) modals under attitudes.
	Keyword: [SCCO.LING]Cognitive science/Linguistics; deduction; epistemic future; epistemic modals; factive cognitive attitudes
	URL: https://doi.org/10.3765/salt.v28i0.4422 https://hal.archives-ouvertes.fr/hal-02428030 https://hal.archives-ouvertes.fr/hal-02428030/document https://hal.archives-ouvertes.fr/hal-02428030/file/4622-7665-2-PB.pdf
	BASE
	Hide 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

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern