João Pedro Leal Nogueira Simas Leite
AuthID: R-001-0VQ
1
TITLE: Revising Boolean Logical Models of Biological Regulatory Networks
AUTHORS: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLISHED: 2023, SOURCE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
AUTHORS: Frederico Aleixo; Matthias Knorr; João Leite;
PUBLISHED: 2023, SOURCE: 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023 in Proceedings of the International Conference on Knowledge Representation and Reasoning
INDEXED IN: 
Scopus
Scopus2
TITLE: Telco Network Inventory Validation with NoHR
AUTHORS: Vedran Kasalica; Ioannis Gerochristos; José Júlio Alferes; Ana Sofia Gomes; Matthias Knorr; João Leite;
PUBLISHED: 2019, SOURCE: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, VOLUME: 11481
AUTHORS: Vedran Kasalica; Ioannis Gerochristos; José Júlio Alferes; Ana Sofia Gomes; Matthias Knorr; João Leite;
PUBLISHED: 2019, SOURCE: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, VOLUME: 11481
INDEXED IN: 
DBLP
DBLP