Vı́tor Santos Costa
- Fifty Years of Prolog and Beyond
2022/01/26 by Philipp Körner, Michaël Leuschel, Körner, Philipp +23 · 3 voices · 7 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Software Engineering Research
- Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation
2012/06/18 by Kendrick Boyd, Boyd, Kendrick, Vı́tor Santos Costa +5 · 3 citations
Computer Science · Engineering · #AI-based Problem Solving and Planning #Fault Detection and Control Systems
- On Applying Or-Parallelism and Tabling to Logic Programs
2003/08/04 by Ricardo Rocha, Fernando Silva, Rocha, Ricardo +4 · 1 citation
Computer Science · #Advanced Algebra and Logic #D.1.6 #D.3.2 #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.PL
- Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
2024/05/10 by Filipe Rocha, Rocha, Filipe Marinho, Inês Dutra +3 · 1 citation
Computer Science · #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Machine Learning (cs.LG) #Programming Languages (cs.PL)
- Proceedings 42nd International Conference on Logic Programming
2026/07/20 by Wolfgang Faber, L Giordano, Laura Giordano +3
#cs.LO #cs.PL