Luís Calhorda Cruz-Filipe
AuthID: R-000-9CK
1
TÃTULO: Hypothetical Answers to Continuous Queries Over Data Streams Full Text
AUTORES: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 25, NÚMERO: 4
AUTORES: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLICAÇÃO: 2024, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 25, NÚMERO: 4
INDEXADO EM:
Scopus
WOS


2
TÃTULO: Can You Answer While You Wait?
AUTORES: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLICAÇÃO: 2022, FONTE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
AUTORES: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLICAÇÃO: 2022, FONTE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
INDEXADO EM:
Scopus
WOS


3
TÃTULO: Reconciling Communication Delays and Negation
AUTORES: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLICAÇÃO: 2022, FONTE: 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
AUTORES: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM:
Scopus

4
TÃTULO: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTORES: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, NÚMERO: 3
AUTORES: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, NÚMERO: 3
INDEXADO EM:
Scopus
WOS
Unpaywall



5
TÃTULO: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2018, FONTE: Journal of Automated Reasoning, VOLUME: 63, NÚMERO: 3
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2018, FONTE: Journal of Automated Reasoning, VOLUME: 63, NÚMERO: 3
6
TÃTULO: From description-logic programs to multi-context systems
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
INDEXADO EM:
WOS

7
TÃTULO: The boolean pythagorean triples problem in coq
AUTORES: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTORES: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXADO EM:
Scopus

8
TÃTULO: Efficient Certified Resolution Proof Checking
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2017, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2017, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
9
TÃTULO: Integrity Constraints for General-Purpose Knowledge Bases
AUTORES: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
AUTORES: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
INDEXADO EM:
Scopus
WOS


10
TÃTULO: Integrity Constraints for General-Purpose Knowledge Bases
AUTORES: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
AUTORES: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
INDEXADO EM:
CrossRef
