📢 Zapraszamy wszystkich naukowców i praktyków do udziału w II międzynarodowej konferencji Intelligent Systems and Information Technologies, organizowanej przez Instytut Informatyki Uniwersytetu w Siedlcach!
🧠 Temat: Logika, Wnioskowanie i Reprezentacje Wiedzy w Inteligentnych Systemach.
📅 Data: 23-25 Wrzesień, 2024 📍 Lokalizacja: Siedlce, Polska
🔍 Główne tematy obejmują m.in.:
- Automatyczne Wnioskowanie
- Agenci i Systemy Wieloagentowe
- Logiki Temporalne i Strategiczne
- Automatyczna Weryfikacja i Model-Checking
- Metody Formalne dla Cyberbezpieczeństwa
- Ontologie i Logiki Opisowe
- Pozyskiwanie Wiedzy
💡 Tematy specjalne:
- Badanie połączenia logiki, wnioskowania i reprezentacji wiedzy w inteligentnych systemach.
- Inteligentne rozwiązania wspierające życie codzienne, edukację i pracę, ze szczególnym naciskiem na inkluzyjność.
- Pionierskie rozwiązania dla Smart City oraz Walki ze Stresem i Zagrożeniami dla Zdrowia Psychicznego.
📝 Zaproszenie do składania prac: kliknij tutaj, aby otworzyć plik PDF
Dołączcie do nas na konferencji, gdzie rozwikłujemy tajemnice sztucznej inteligencji w kontekście logiki i wnioskowania! #AI #LogikaWnioskowanie #InteligentneSystemy
📢 Calling all researchers and practitioners! We invite you to contribute your expertise to the 2nd Conference on Intelligent Systems and Information Technologies, organized by the Institute of Computer Science, University of Siedlce!
🧠 Theme: Logic, Knowledge, and Reasoning in Intelligent Systems.
📅 Date: 23-25th September, 2024 📍 Location: Siedlce, Poland
🔍 Main Topics Include:
- Automated Reasoning
- Agents and Multi-Agent Systems
- Temporal and Strategic Logics
- Verification and Model-Checking
- Formal Methods for Cybersecurity
- Ontologies & Description Logics
- Knowledge Acquisition
💡 Special Focus:
- Investigating the nexus of logic, inference, and knowledge representation in intelligent systems.
- Crafting solutions for everyday life, education, and work, with an emphasis on inclusivity.
- Pioneering Smart City Solutions and Mental Health Management.
📝 Call for Papers: click here to open PDF file
Join us for an enlightening exchange of ideas and breakthroughs in intelligent systems! #AI #LogicInference #IntelligentSystems
