History of Decision procedures for BDI logics

Results 1 - 13 of 13 Page 1

History of Decision procedures for BDI logics — revisions from 1.1 to 13.1
From	To	Version	Editor	Date	Summary
From	To	13.1	Andrea Omicini	16/10/2021 18:20
From	To	12.1	Andrea Omicini	11/10/2021 13:09
From	To	11.1	Andrea Omicini	11/10/2021 01:59
From	To	10.1	Andrea Omicini	03/10/2021 18:02	Migrated property [subtitle] from class [Publications.PublicationClass]
From	To	9.1	Andrea Omicini	01/10/2021 11:04	Migrated property [sort] from class [Publications.PublicationClass]
From	To	8.1	Andrea Omicini	29/09/2021 14:52	Migrated property [prova] from class [Publications.PublicationClass]
From	To	7.2	Andrea Omicini	10/08/2021 23:35	Updated class property name
From	To	6.1	Andrea Omicini	10/08/2021 23:16	Migrated property [APICETalk] from class [Publications.PublicationClass]
From	To	5.2	Andrea Omicini	01/05/2021 18:49	Updated class property name
From	To	4.1	Andrea Omicini	01/05/2021 18:32	Migrated property [SemanticScholarCorpusId] from class [Publications.PublicationClass]
From	To	3.1	Andrea Omicini	16/04/2021 11:10	Migrated property [ieeeId] from class [Publications.PublicationClass]
From	To	2.1	Andrea Omicini	12/10/2020 18:14	Imported from XAR
From	To	1.1	Andrea Omicini	12/10/2020 17:47	Imported from XAR

Page 1

Publications