„Ambroszkiewicz Stanisław” – książki

1. Ontologie i słowniki semantyczne 1.1. Języki opisu ontologii: KIF i OWL 1.2. Ontologia Cyc 1.3. Ontologia BFO 1.4. Biblioteka WFOL i powiązane z nią ontologie 1.5. Słownik WordNet 1.6. Ontologia SUMO 1.7. Ontologia GFO 1.8. Inne projekty wykorzystujące ontologie 1.9. Podsumowanie 2. Opisy usług biznesowych: WSDL i OWL-S 2.1. Web Service Description Language - WSDL 2.2. OWL-S 2.3. Podsumowanie 3. Modelowanie procesów biznesowych 3.1. BPMN - Business Process Model and Notation 3.2. XPDL - XML Process Definition Language 3.3. Business Process Execution Language - BPEL 3.4. ebXML 4. Planowanie w procesach biznesowych 4.1. Planning Domain Definition Language 4.2. Abstract Plan Preparation Language 4.3. Graf światów 4.4. Podsumowanie 5. System SOA-enT 5.1. Propozycja nowej technologii 5.2. Model środowiska wykonania usług i jego realizacja 5.3. Planer 5.4. Podsumowanie SOA-enT Podsumowanie Bibliografia

Przedmowa 1. Przegląd historyczny 2. Przykłady i abstrakcje 2.1. Język, zdania i dowody 2.2. Twierdzenie Kleinberga 2.3. Ontologie w Informatyce 2.4. Abstrakcje 2.5. Abstrakcje w Matematyce 3. Obliczalność i definiowalność 3.1. Definiowalność 3.2. Funkcje rekurencyjne 3.3. Funkcje częściowe rekurencyjne mi-rekursja 3.4. Przepisywanie termów: rachunek lambda 3.5. Funkcjonały obliczalne i Dziedzina Scotta 3.6. Curry-Howard - propositions as types 3.7. Podsumowanie obliczalności i definiowalności 4. Przełamać paradygmaty 4.1. von Neumann vicious circle 4.2. Sieci neuronowe i funkcjonały 5. Funkcjonały i hardware 5.1. Podstawy 5.2. Poziom zerowy 5.3. Schemat pierwotnej rekursji 5.4. Poziom 1 5.5. Relacje 5.6. Warunki 5.7. Przykład programowania na funkcjonałach 5.8. Konkluzje do rozdziału 5.9. Twierdzenie Godela o niezupełności 5.10. Podsumowanie rozdziału 6. Continuum 6.1. Continuum a liczby rzeczywiste 6.2. Nieformalne wprowadzenie 6.3. Kubiczne kompleksy 6.4. Uogólnienie 6.5. Pierwotne typy odpowiadające Continuum 6.6. Więcej o wzorcach dla Continuum 6.7. Od wzorców do przestrzeni topologicznych 6.8. Ciągi wyboru według Brouwera 6.9. Funkcje na przestrzeniach topologicznych 6.10. Twierdzenie Brouwera o ciągłości 6.11. Continua Euklidesowe 6.12. Przełamać paradygmat 6.13. Geometria Riemanna oraz Continuum 6.14 The Grothendieck's homotopy hypothesis 6.15. Podejście konstrukcyjne do typu homotopijnego 6.16. Uogólnienia i konkluzje 6.17. Podsumowanie rozdziału 6.18. Appendix do Rozdziału 6 7. Podsumowanie Bibliografia