Sciweavers

367 search results - page 27 / 74
» Prolog
Sort
View
SPE
2010
82views more  SPE 2010»
14 years 8 months ago
Pedro: a publish/subscribe server using Prolog technology
Peter J. Robinson, Keith L. Clark
AAAI
2011
13 years 9 months ago
An Algebraic Prolog for Reasoning about Possible Worlds
Angelika Kimmig, Guy Van den Broeck, Luc De Raedt