Luís Calhorda Cruz-Filipe
AuthID: R-000-9CK
1
TITLE: Can't you answer while you wait? Full Text
AUTHORS: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLISHED: 2025, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
AUTHORS: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLISHED: 2025, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Hypothetical Answers to Continuous Queries Over Data Streams Full Text
AUTHORS: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLISHED: 2024, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 25, ISSUE: 4
AUTHORS: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLISHED: 2024, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 25, ISSUE: 4
INDEXED IN: Scopus WOS
Scopus WOS3
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 WOS4
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
Scopus5
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 Unpaywall6
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
7
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
WOS8
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
Scopus9
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
10
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 WOS