Home
Catalogue search
Refine your search:
Keyword:
Reasoning (1.567)
Inferenz (237)
Spracherwerb und kognitive Entwicklung (195)
Conditional / Counterfactual (177)
Mental model (158)
REASONING (154)
Linguistics (131)
Psychology (128)
Kausalitätsbegriff (114)
Wahrscheinlichkeit (106)
Syllogismus (96)
Entscheidungsfindung (Kognitionsforschung) (92)
Sprachlogik (91)
Kognitionsforschung (90)
Problem solving (89)
Deduktion (Kognitionsforschung) (86)
Reasoning (artificial intelligence) (80)
Propositionale Einstellung (77)
Sprachverständnis / Sprachverarbeitung (71)
reasoning (70)
more
Creator / Publisher:
The Pennsylvania State University CiteSeerX Archives (255)
Johnson-Laird, Philip Nicholas (62)
Byrne, Ruth M. J. (34)
Evans, Jonathan St. B. T. (28)
Oaksford, Mike (28)
Markovits, Henry (27)
Schaeken, Walter (26)
Handley, Simon J. (25)
Chater, Nick (23)
Girotto, Vittorio (20)
more
Year:
2022 (14)
2021 (39)
2020 (28)
2019 (36)
2018 (34)
2017 (33)
2016 (41)
2015 (35)
2014 (23)
2013 (42)
more
Medium:
Print (1.486)
Online (1.075)
Type:
Article (2.561)
BLLDB-Access:
free (2.561)
subject to license (339)
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
...
129
Hits 1 – 20 of 2.561
1
tptp-utils 1.1 ...
Steen, Alexander
. - : Zenodo, 2022
Abstract:
tptp-utils is an application for pre- and post-processing automated theorem proving input files (so-called problem files) given in the TPTP (Thousands of Problems for Theorem Proving) syntax standard. It is written in Scala and freely available as open-source software. Current features include: Syntax checking (validate that the input file is syntactically well-formed) Reparsing (Read the input file and print an abstract syntax tree in JSON format) Dialect transformation (Translate problem from TPTP dialect A to TPTP dialect B) Linting (Read and check the problem file for suspicious content, malformed logic specification, etc.) Note that the linting capacities are still quite limited and will be enhanced continuously. Simply download the pre-built executable JAR and run it using java -jar tptp-utils-app-1.1.jar , or build the tool from source using sbt . ...
Keyword:
artificial intelligence
;
automated reasoning
;
automated theorem proving
;
computational logic
;
logic
;
TPTP
URL:
https://dx.doi.org/10.5281/zenodo.5877563
https://zenodo.org/record/5877563
BASE
Hide details
2
tptp-utils 1.1 ...
Steen, Alexander
. - : Zenodo, 2022
BASE
Show details
3
Connective Comprehension: An individual differences study ...
Scholman, Merel
. - : Open Science Framework, 2022
BASE
Show details
4
Computing Entailments Online, ver. 5 ...
Dąbkowski, Maksymilian
. - : Open Science Framework, 2022
BASE
Show details
5
Computing Entailments Online, ver. 6 ...
Dąbkowski, Maksymilian
. - : Open Science Framework, 2022
BASE
Show details
6
Considering Commonsense in Solving QA: Reading Comprehension with Semantic Search and Continual Learning
Seungwon Jeong; Dongsuk Oh; Kinam Park; Heuiseok Lim
In: Applied Sciences; Volume 12; Issue 9; Pages: 4099 (2022)
BASE
Show details
7
Re-Evaluating Early Memorization of the Qurʾān in Medieval Muslim Cultures
Essam Ayyad
In: Religions; Volume 13; Issue 2; Pages: 179 (2022)
BASE
Show details
8
Knowledge Representation and Reasoning with an Extended Dynamic Uncertain Causality Graph under the Pythagorean Uncertain Linguistic Environment
Yu-Jie Zhu; Wei Guo; Hu-Chen Liu
In: Applied Sciences; Volume 12; Issue 9; Pages: 4670 (2022)
BASE
Show details
9
A Deep Fusion Matching Network Semantic Reasoning Model
Wenfeng Zheng; Yu Zhou; Shan Liu; Jiawei Tian; Bo Yang; Lirong Yin
In: Applied Sciences; Volume 12; Issue 7; Pages: 3416 (2022)
BASE
Show details
10
OntoDomus: A Semantic Model for Ambient Assisted Living System Based on Smart Homes
Hubert Kenfack Ngankam; Hélène Pigot; Sylvain Giroux
In: Electronics; Volume 11; Issue 7; Pages: 1143 (2022)
BASE
Show details
11
Is Early Bilingual Experience Associated with Greater Fluid Intelligence in Adults?
Dean D’Souza; Yousra Dakhch
In: Languages; Volume 7; Issue 2; Pages: 100 (2022)
BASE
Show details
12
Design of an Artificial Intelligence of Things Based Indoor Planting Model for Mentha Spicata
Hao-Hsiang Ku; Cheng-Hsuan Liu; Wen-Cheng Wang
In: Processes; Volume 10; Issue 1; Pages: 116 (2022)
BASE
Show details
13
Formalization of AMR Inference via Hybrid Logic Tableaux ...
Goldner, Eli Tecumseh
. - : Brandeis University, 2022
BASE
Show details
14
Computation, Rule Following, and Ethics in AIs
Seo, Hyunjin
;
Thorson, Stuart
. - 2022
BASE
Show details
15
Ranking Semantics for Argumentation Systems With Necessities
Doder, Dragan
;
Vesic, Srdjan
;
Croitoru, Madalina
In: IJCAI 2020 - 29th International Joint Conference on Artificial Intelligence ; https://hal.archives-ouvertes.fr/hal-03002056 ; IJCAI 2020 - 29th International Joint Conference on Artificial Intelligence, Jan 2021, Yokohama / Virtual, Japan. pp.1912-1918, ⟨10.24963/ijcai.2020/265⟩ (2021)
BASE
Show details
16
Ontological Formalisation of Mathematical Equations for Phenomic Data Exploitation
Vargas-Rojas, Luis Felipe
In: The Semantic Web: ESWC 2021 Satellite Events ; https://hal.inrae.fr/hal-03408000 ; Ruben Verborgh; Anastasia Dimou; Aidan Hogan; Claudia d'Amato; Ilaria Tiddi; Arne Bröring; Simon Mayer; Femke Ongenae; Riccardo Tommasini; Mehwish Alam. The Semantic Web: ESWC 2021 Satellite Events, 12739, Springer International Publishing, pp.176-185, 2021, Lecture Notes in Computer Science, 978-3-030-80417-6. ⟨10.1007/978-3-030-80418-3_30⟩ (2021)
BASE
Show details
17
The Influence of Language on Spatial Reasoning: Reading Habits Modulate the Formulation of Conclusions and the Integration of Premises
Castelain, Thomas
;
Van Der Henst, Jean-Baptiste
In: ISSN: 1664-1078 ; Frontiers in Psychology ; https://hal.archives-ouvertes.fr/hal-03505193 ; Frontiers in Psychology, Frontiers, 2021, 12, ⟨10.3389/fpsyg.2021.654266⟩ (2021)
BASE
Show details
18
Digital Currencies as Types (Invited Talk) ...
Zakian, Timothy A. K.
. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021
BASE
Show details
19
Large-scale Data-driven Agent-based Simulation of Covid-19 ...
De Mooij, Jan
;
Dell'Anna, Davide
;
Bhattacharya, Parantapa
. - : Zenodo, 2021
BASE
Show details
20
Large-scale Data-driven Agent-based Simulation of Covid-19 ...
De Mooij, Jan
;
Dell'Anna, Davide
;
Bhattacharya, Parantapa
. - : Zenodo, 2021
BASE
Show details
Page:
1
2
3
4
5
...
129
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
301
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
1.584
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
976
Linguistik-Repository
1
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern