Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

On the use of subgoal clauses in bottom-up and top-down calculi

Fuchs D.

Fundamenta Informaticae

1999

Vol. 39, Nr 1,2

123-143

The use of lemmas is a major control tool for automated theorem proving. Many approaches for top-down or bottom-up theorem proving employ lemmas for improving the proof search. Commonly the lemmas used can be derived in a bottom-up manner using merely the given axioms. That is, top-down lemmas which represent decompositions of original proof goals did not receive much attention. We propose to systematically generate and use such goal decompositions. We introduce a notion of top-down lemmas, so-called subgoal clauses, and examine their potential to reduce proof lengths and searches in top-down and bottom-up theorem proving. Furthermore, we develop some heuristics so as to make the use of subgoal clauses efficient in practice. A case study conducted in TPTP domains with the state-of-the-art provers spass and setheo demonstrates the strength of our approach.

Reguły konkurencyjne w UE a fuzje i porozumienia firm transportowych

Filipczyk-Hawlena J., Fuchs D.

Przegląd Komunikacyjny

1998

R. 37, nr 8/9

34-37

Dyrektywa UE o fuzji spółek jako instrument przeciwdziałania powstawaniu monopoli i ograniczaniu swobodnej konkurencji. Dopuszczalne sposoby dokonywania fuzji. Warunki zwolnień grupowych od ograniczeń w łączeniu się firm i zawieraniu przez nie porozumień. Potrzeba adaptacji polskich zasad subwencjonowania działalności przedsiębiorstw przewozowych do Traktatu Rzymskiego i przepisów wykonawczych.