15754 search results - page 54 / 3151 » Programs are Knowledge Bases |
109
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
108
click to vote
AI
2009
Springer
15 years 9 months ago
2009
Springer
A knowledge-intensive problem is often not solved by an individual knowledge artifact; rather the solution needs to draw upon multiple, and even heterogeneous, knowledge artifacts....
115
click to vote
PASTE
2004
ACM
15 years 8 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
89
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
94
Voted
PSB
2004
15 years 4 months ago
2004