Luís Calhorda Cruz-Filipe
AuthID: R-000-9CK
1
TITLE: Can You Answer While You Wait?
AUTHORS: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLISHED: 2022, SOURCE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
AUTHORS: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLISHED: 2022, SOURCE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Reconciling Communication Delays and Negation
AUTHORS: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13572 LNCS
AUTHORS: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13572 LNCS
INDEXED IN: Scopus
Scopus3
TITLE: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, ISSUE: 3
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, ISSUE: 3
INDEXED IN: Scopus WOS 
Unpaywall
Scopus WOS Unpaywall4
TITLE: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2018, SOURCE: Journal of Automated Reasoning, VOLUME: 63, ISSUE: 3
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2018, SOURCE: Journal of Automated Reasoning, VOLUME: 63, ISSUE: 3
5
TITLE: From description-logic programs to multi-context systems
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
INDEXED IN: WOS
WOS6
TITLE: The boolean pythagorean triples problem in coq
AUTHORS: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTHORS: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXED IN: Scopus
Scopus7
TITLE: Efficient Certified Resolution Proof Checking
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2017, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2017, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
8
TITLE: Integrity Constraints for General-Purpose Knowledge Bases
AUTHORS: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
AUTHORS: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Integrity Constraints for General-Purpose Knowledge Bases
AUTHORS: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
AUTHORS: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
INDEXED IN: 
CrossRef
CrossRef10
TITLE: Active Integrity Constraints for Multi-context Systems
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
INDEXED IN: Scopus WOS
Scopus WOS