Filters
Clausal Case‐marking patterns in Northeast Caucasian
Linguistics
- 2023 •
- O
Rok uplatnění
O - Ostatní výsledky
Temporal relations in adverbial clauses across European languages
Linguistics
- 2024 •
- O
Rok uplatnění
O - Ostatní výsledky
Resolution reasoning by RDF Clausal Form Logic
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Reasoning in Graph-based Clausal Form Logic
IN - Informatika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Reasoning in Fuzzy Graph-Based Clausal Form Logic
IN - Informatika
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
Gerunds vs. Infinitives in English: Not Meaning but Form
AI - Jazykověda
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
New Complexity Results for Lukasiewicz Logic
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Non-clausal Resolution in Fuzzy Predicate Logic with Evaluated Syntax (background and implementation)
The presentation deals with the refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule....
BA - Obecná matematika
- 2005 •
- A
Rok uplatnění
A - Audiovizuální tvorba
English grammatical rules representation by a meta-language based on RDF model and predicate clausal form
IN - Informatika
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
- 1 - 10 out of 19 836