2
TÍTULO: Terminating Evaluation of Logic Programs with Finite Three-Valued Models  Full Text
AUTORES: Fabrizio Riguzzi; Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
3
TÍTULO: The PITA system for logical-probabilistic inference
AUTORES: Riguzzi, F; Swift, T;
PUBLICAÇÃO: 2014, FONTE: Latest Advances in Inductive Logic Programming
INDEXADO EM: Scopus CrossRef
4
TÍTULO: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics
AUTORES: Fabrizio Riguzzi; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, NÚMERO: 2
INDEXADO EM: Scopus WOS
6
TÍTULO: Inductive Logic Programming
AUTORES: Fabrizio Riguzzi; Filip Železný;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
8
TÍTULO: Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
AUTORES: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLICAÇÃO: 2012, FONTE: Theory and Practice of Logic Programming, VOLUME: 13, NÚMERO: 02
INDEXADO EM: CrossRef
9
TÍTULO: The PITA system: Tabling and answer subsumption for reasoning under uncertainty
AUTORES: Fabrizio Riguzzi; Terrance Swift;
PUBLICAÇÃO: 2011, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: Scopus WOS
10
TÍTULO: The PITA system: Tabling and answer subsumption for reasoning under uncertainty
AUTORES: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: CrossRef
Página 1 de 2. Total de resultados: 11.