Sciweavers

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