| 3 |
Fuzzy Approach to Computational Classification of Burnout—Preliminary Findings
|
|
|
|
In: Applied Sciences; Volume 12; Issue 8; Pages: 3767 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Formalization of AMR Inference via Hybrid Logic Tableaux ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A Model Theoretic Perspective on Phonological Feature Systems
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2022)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Inferring Inferences: Relational Propositions for Argument Mining
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2022)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
The calculus of language: explicit representation of emergent linguistic structure through type-theoretical paradigms ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Multiple Wh-Movement is not Special: The Subregular Complexity of Persistent Features in Minimalist Grammars
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2021)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
A framework of controlled robot language for reliable human-robot collaboration
|
|
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Health Information Systems in the Digital Health Ecosystem—Problems and Solutions for Ethics, Trust and Privacy
|
|
|
|
In: International Journal of Environmental Research and Public Health ; Volume 17 ; Issue 9 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
MonaLog: a Lightweight System for Natural Language Inference Based on Monotonicity
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2020)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
The Rhetorical Structure of Modus Tollens: An Exploration in Logic-Mining
|
|
|
|
In: Proceedings of the Society for Computation in Linguistics (2020)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
A Semantic Characterization for ASP Base Revision
|
|
|
|
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
|
|
|
| 18 |
An Introduction to Complex Systems: Making Sense of a Changing World
|
|
|
|
In: Faculty Books (2019)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
A computational account of virtual travelers in the Montagovian generative lexicon
|
|
|
|
In: The Semantics of Dynamic Space in French ; https://hal.archives-ouvertes.fr/hal-02093536 ; Michel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩ ; https://benjamins.com/catalog/hcp.66.09lef (2019)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Mechanized metatheory revisited
|
|
|
|
In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-01884210 ; Journal of Automated Reasoning, Springer Verlag, 2019, 63 (3), pp.625-665. ⟨10.1007/s10817-018-9483-3⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
|
|
