Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3 4 5...152

Hits 1 – 20 of 3.035

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	Child Social Understanding: How Theory of Mind Development is Influenced by Socio-Cultural Factors
	Totolici, Maria. - : University of Otago, 2022
	BASE
	Show details

16	Neural-based Knowledge Transfer in Natural Language Processing
	Wang, Chao. - 2022
	BASE
	Show details

17	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

18	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

19	Multimodal Conversation Modeling via Neural Perception, Structure Learning, and Communication
	Zheng, Zilong. - : eScholarship, University of California, 2021
	BASE
	Show details

20	How Do Language Intensity and Artificial Intelligence (AI) Affect Perceptions of Fact-checking Messages and Evaluations of Fact-checking Agencies?
	Xue, Haoning. - : eScholarship, University of California, 2021
	BASE
	Show details

Page: 1 2 3 4 5...152

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