Joao Marques-Silva
- SMT-Based Bounded Model Checking for Embedded ANSI-C Software
2009/07/12 by Lucas Cordeiro, Lucas C. Cordeiro, Bernd Fischer +5 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.SE
- Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
2010/06/30 by Mikoláš Janota, Janota, Mikoláš, João Marques‐Silva +4 · 2 citations
Computer Science · #Bayesian Modeling and Causal Inference #Formal Methods in Verification #Logic, Reasoning, and Knowledge #cs.AI #cs.LO
- Algorithms for Weighted Boolean Optimization
2009/03/04 by Vasco Manquinho, Joao Marques-Silva, João Marques‐Silva +4 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #cs.AI #cs.LO
- Logic-Based Explainability: Past, Present & Future
2024/06/04 by Joao Marques-Silva, Marques-Silva, Joao · 1 citation
Computer Science · Pharmacology, Toxicology and Pharmaceutics · #Explainable Artificial Intelligence (XAI) #Semantic Web and Ontologies #Pharmacovigilance and Adverse Drug Reactions