Sciweavers

15754 search results - page 76 / 3151
» Programs are Knowledge Bases
Sort
View
LPNMR
2001
Springer
15 years 10 months ago
plp: A Generic Compiler for Ordered Logic Programs
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
James P. Delgrande, Torsten Schaub, Hans Tompits
SIGSOFT
2005
ACM
15 years 11 months ago
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code
Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unawar...
Zhenmin Li, Yuanyuan Zhou
GCC
2005
Springer
15 years 11 months ago
Knowledge Acquisition Based on the Global Concept of Fuzzy Cognitive Maps
Combination of prior knowledge and implicit knowledge hidden in the data of system can enhance the quality of information services in Knowledge Grid. Fuzzy Cognitive Maps (FCMs) ar...
Xiangfeng Luo
ERSHOV
2003
Springer
15 years 11 months ago
The Outside-In Method of Teaching Introductory Programming
The new design for the introductory programming course at ETH relies on object technology, Eiffel, extensive reuse, a graphics-rich library (TRAFFIC) built specifically for the c...
Bertrand Meyer
IUI
2004
ACM
15 years 11 months ago
An intelligent dialogue for online rule based expert systems
This paper describes a concept for creating free configurable, intelligent behaving web dialogues for rule based expert systems. Free configurable is meant to indicate, that the d...
Sascha Mertens, Marius Rosu, Yuliadi Erdani