Filters
New Complexity Results for Lukasiewicz Logic
by defining a natural and intuitive class of clausal forms (simple L-clausal forms) and studying their complexity. Since we prove that the satisfiability problem of simple L-clausal forms can be solved in linear t...
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
Syntactic Complexity of Academic Text: A Corpus Study of Written Production by Learners of English with Russian L1 in Comparison with Expert Texts of English Authors
: - Expert scholarly texts demonstrated high clausal and phrasal complexity, and its level was higher in Business Studies than in Economics. - Clausal complexity in proficiency clausal complexity ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
Non-clausal Resolution Theorem Proving for Fuzzy Description Logic
The article presents refutational resolution theorem proving system for the Fuzzy Description Logic based on the general (non-clausal) resolution rule concerning fuzzy logic requires more complex methods in contrast to classical log...
JD - Využití počítačů, robotika a její aplikace
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Non-clausal Resolution Theorem Proving for Fuzzy Description Logic
The article presents refutational resolution theorem proving system for the Fuzzy Description Logic based on the general (non-clausal) resolution rule concerning fuzzy logic requires more complex methods in contrast to classical log...
JD - Využití počítačů, robotika a její aplikace
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Parsing Aided by Intra-Clausal Coordination Detection
Parsing Aided by Intra-Clausal Coordination Detection, [http://dspace.utlib.ee/dspace/handle/10062/4476]...
AI - Jazykověda
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Reasoning in Graph-based Clausal Form Logic
This paper follows the work of T. Richards specialization Clausal Form Logic graph-based clausal form statements in the frame of semantic (associative) networks. The goal ofour research is to follow the direction towards graphbased ...
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
This paper follows the work of T. Richards specialization Clausal Form Logic of using graph-based clausal form statements in the frame of fuzzy semantic networks. The goal of our research is to follow the direction towards graph-bas...
IN - Informatika
- 2013 •
- D
Rok uplatnění
D - Stať ve sborníku
INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
The article presents time and space efficiency results for resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. The original technique of Detection of Conseq...
BA - Obecná matematika
- 2007 •
- A
Rok uplatnění
A - Audiovizuální tvorba
INFERENCE METHODS FOR FUZZY PREDICATE LOGIC BASED ON RESOLUTION PRINCIPLE
The article presents time and space efficiency results for resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. The original technique of Detection of Conseq...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
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
- 1 - 10 out of 62 865