232 search results - page 20 / 47 » Reflection principles in computational logic |
SIGCSE
2009
ACM
14 years 10 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,...
CORR
2004
Springer
13 years 10 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...
DMSN
2010
ACM
13 years 10 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...
ECAI
2010
Springer
13 years 11 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...
KR
2010
Springer
14 years 2 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...