DMCA

A tool for satisfiability-based commonsense reasoning in the event calculus (2004)

Cached

Download Links

by Erik T. Mueller
Venue:In V. Barr & Z. Markov (Eds.), Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference (pp. 147–152). Menlo Park
Citations:8 - 5 self