15754 search results - page 552 / 3151 » Programs are Knowledge Bases |
159
click to vote
ENTCS
2007
15 years 7 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
238
click to vote
ICLP
2004
Springer
16 years 14 days ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
177
click to vote
ICCS
2003
Springer
16 years 9 days ago
2003
Springer
We present a TCM-Grid for Traditional Chinese Medicine (TCM). The purpose of the TCM-Grid is to aid the development of distributed systems that help health professionals, researche...
187
click to vote
AAAI
2004
15 years 8 months ago
2004
Common sense knowledge can be efficiently collected from non-experts over the web in a similar fashion to the Open Mind family of distributed knowledge capture projects. We descri...
160
click to vote
VRST
2005
ACM
16 years 20 days ago
2005
ACM
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...