Filtry
Skolemization and Herbrand theorems for lattice-valued logics
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Skolemization for Substructural Logics
BA - Obecná matematika
- 2015 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Herbrand Theorems for Substructural Logics
BA - Obecná matematika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Rezoluční dokazování v Deskripční logice
The article presents refutational resolution theorem proving system for Description Logic (DL) based on general (non-clausal) resolution rule. There is also presented unification algorithm handling existentiality without the need of skolemization...
JD - Využití počítačů, robotika a její aplikace
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Resolution Based Reasoning in Description Logic
The article presents refutational resolution theorem proving system for Description Logic (DL) based on general (non-clausal) resolution rule. There is also presented unification algorithm handling existentiality without the need of skolemization...
JD - Využití počítačů, robotika a její aplikace
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Rezoluční princip ve fuzzy predikátové logice
The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality withou...
BA - Obecná matematika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Resolution Principle in Fuzzy Predicate Logic.
The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality withou...
BA - Obecná matematika
- 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. There is also presented a unification algorithm handling existentiality without the need of sk...
JD - Využití počítačů, robotika a její aplikace
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
- 1 - 8 z 8