ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Technology
Education
Computing
Architecture and Urbanism
Computing
Social Sciences
Economy
Research
Pure sciences
Electrical and electronic
all records (57)

Languages
English
Spanish

Countries
Ukraine
Indonesia
USA
Cuba
Austria
Canada
Italy
United Kingdom
Poland
Romania
all records (39)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (21)

Filter  
 
372  Articles
1 of 38 pages  |  10  records  |  more records»
We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future.

Since Hintikka’s epistemic logic, the logic of knowledge, has been a subject of research in philosophy, computer science, artificial intelligence and game theory. This paper presents a framework of dynamic epistemic logic capable of investigating interact... see more

We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic since its emergence in the late 19th century. Examined are its origins as a hybrid of philosophy and mathematics, the maturity and institutionalisation at... see more

In this study it is proposed the critical analysis of the creation of Artificial Intelligence (AI) and of Artificial General Intelligence (AGI). The unity of formal logic and rational dialectics is the methodological basis of the analysis. The main result... see more

We offer an analysis of the disciplinary transformations underwent by mathematical or symbolic logic since its emergence in the late 19th century. Examined are its origins as a hybrid of philosophy and mathematics, the maturity and institutionalisation at... see more

The field of epistemic logic developed into an interdisciplinary area focused on explicating epistemic issues in, for example, artificial intelligence, computer security, game theory, economics, multiagent systems and the social sciences. Inspired, in par... see more

1 of 38 pages  |  10  records  |  more records»