232 search results - page 20 / 47 » Reflection principles in computational logic |
118
Voted
SIGCSE
2009
ACM
16 years 4 months ago
2009
ACM
ion and Extensibility in Digital Logic Simulation Software Richard M. Salter and John L. Donaldson Computer Science Department Oberlin College Oberlin, OH 44074 rms@cs.oberlin.edu,...
178
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
134
Voted
DMSN
2010
ACM
15 years 3 months ago
2010
ACM
As sensor networks are being increasingly deployed in decisionmaking infrastructures such as battlefield monitoring systems and SCADA(Supervisory Control and Data Acquisition) sys...
117
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
162
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...