Titlebook: Logic Programming; 25th International C Patricia M. Hill,David S. Warren Conference proceedings 2009 Springer-Verlag Berlin Heidelberg 2009

令人不愉快

書目名稱Logic Programming影響因子(影響力)




書目名稱Logic Programming影響因子(影響力)學(xué)科排名




書目名稱Logic Programming網(wǎng)絡(luò)公開度




書目名稱Logic Programming網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Logic Programming被引頻次




書目名稱Logic Programming被引頻次學(xué)科排名




書目名稱Logic Programming年度引用




書目名稱Logic Programming年度引用學(xué)科排名




書目名稱Logic Programming讀者反饋




書目名稱Logic Programming讀者反饋學(xué)科排名

背叛者

noxious

Buttress

BLINK

Untangling Reverse Engineering with Logic and Abstractioneers also reverse to reason about the latest malicious programs and devise antivirus software. Security engineers (and malicious hackers) do not attempt to reverse assembler into, say C, which is the traditional aspiration in reversing, but merely to understand the code to sufficient depth to locate a vulnerability.

Repatriate

Lipoprotein(A)

A Knowledge Base System Project for FO(.)omputational level, we will report on current attempts to build finite domain inference systems for model expansion, approximate reasoning, theory debugging and model revision, with special focus on the IDP-system, a model expansion system for FO(.).

Veneer

From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse solutions for a wide range of problems that would be awkward to solve using modules. This talk presents the Logtalk design goals, followed by a tutorial on Logtalk programming and some application examples. The talk ends with a discussion on the problems and benefits of developing Logtalk as a portable Prolog application.

血統(tǒng)

CARE