Ukrainian Історія штучного інтелекту Cited by user Olexa Riznyk on 07 Feb 2024 Істо́рія шту́чного інтеле́кту (ШІ, artificial intelligence, AI) почалася у стародавньому світі, з міфів, оповідань та чуток про створення штучних істот, яких майстри обдар…
English History of artificial intelligence Cited by user Robert Kowalski on 21 Jan 2024 The history of artificial intelligence (AI) began in antiquity, with myths, stories and rumors of artificial beings endowed with intelligence or consciousness by master…
English Event calculus Cited by user Robert Kowalski on 01 Jan 2024 The event calculus is a logical theory for representing and reasoning about events and about the way in which they change the state of some real or artificial world.
English Logic programming Cited by user Guy Harris on 16 Oct 2023 Logic programming is a programming, database and knowledge-representation and reasoning paradigm which is based on formal logic.