2
TITLE: Terminating Evaluation of Logic Programs with Finite Three-Valued Models  Full Text
AUTHORS: Fabrizio Riguzzi; Terrance Swift;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 15, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
3
TITLE: The PITA system for logical-probabilistic inference
AUTHORS: Riguzzi, F; Swift, T;
PUBLISHED: 2014, SOURCE: Latest Advances in Inductive Logic Programming
INDEXED IN: Scopus CrossRef
4
TITLE: Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics
AUTHORS: Fabrizio Riguzzi; Terrance Swift;
PUBLISHED: 2013, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, ISSUE: 2
INDEXED IN: Scopus WOS
6
TITLE: Inductive Logic Programming
AUTHORS: Fabrizio Riguzzi; Filip Železný;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
8
TITLE: Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics
AUTHORS: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLISHED: 2012, SOURCE: Theory and Practice of Logic Programming, VOLUME: 13, ISSUE: 02
INDEXED IN: CrossRef
9
TITLE: The PITA system: Tabling and answer subsumption for reasoning under uncertainty
AUTHORS: Fabrizio Riguzzi; Terrance Swift;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
INDEXED IN: Scopus WOS
10
TITLE: The PITA system: Tabling and answer subsumption for reasoning under uncertainty
AUTHORS: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLISHED: 2011, SOURCE: Theory and Practice of Logic Programming, VOLUME: 11, ISSUE: 4-5
INDEXED IN: CrossRef
Page 1 of 2. Total results: 11.