[图书][B] Handbook of knowledge representation

F Van Harmelen, V Lifschitz, B Porter - 2008 - books.google.com
Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

[PDF][PDF] Wiley encyclopedia of electrical and electronics engineering

JG Webster - 1999 - 136.175.10.10
01• Aerospace and Electronic Systems Page 1 1 Page 2 i WILEY ENCYCLOPEDIA OF ELECTRICAL
AND ELECTRONICS ENGINEERING 24 Volume Set (Hardcover) by John G. Webster (Editor) …

Knowledge representation and classical logic

V Lifschitz, L Morgenstern, D Plaisted - Foundations of Artificial Intelligence, 2008 - Elsevier
Publisher Summary Mathematical logicians had developed the art of formalizing declarative
knowledge long before the advent of the computer age. But they were interested primarily in …

[图书][B] Foundations of parallel programming

DB Skillicorn - 1994 - books.google.com
The major reason for the lack of use'of parallel'computing, is the mismatch between the
complexity and variety of parallel hardware, and the software development tools to program …

Automatically configuring constraint satisfaction programs: A case study

S Minton - Constraints, 1996 - Springer
Multi-tac is a learning system that synthesizes heuristic constraint satisfaction programs. The
system takes a library of generic algorithms and heuristics and specializes them for a …

Program concept recognition and transformation

W Kozaczynski, J Ning… - IEEE Transactions on …, 1992 - ieeexplore.ieee.org
The automated recognition of abstract high-level conceptual information or concepts, which
can greatly aid the understanding of programs and therefore support many software …

A perspective of generative reuse

TJ Biggerstaff - Annals of Software Engineering, 1998 - Springer
This paper presents a perspective of generative reuse technologies as they have evolved
over the last 15 years or so and a discussion of how generative reuse addresses some key …

The adaptive constraint engine

SL Epstein, EC Freuder, R Wallace, A Morozov… - Principles and Practice …, 2002 - Springer
Abstract The Adaptive Constraint Engine (ACE) seeks to automate the application of
constraint programming expertise and the extraction of domain-specific expertise. Under the …

Living design memory: Framework, implementation, lessons learned

LG Terveen, PG Selfridge, MD Long - Human-Computer Interaction, 1995 - Taylor & Francis
We identify an important type of software design knowledge that we call community-specific
folklore and discuss problems with current approaches to managing it. We developed a …

[PDF][PDF] The rules of constraint modelling

AM Frisch, C Jefferson, BM Hernández, I Miguel - IJCAI, 2005 - academia.edu
Many and diverse combinatorial problems have been solved successfully using finite-
domain constraint programming. However, to apply constraint programming to a particular …