MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "cr-models An Inference Engine for CR-Prolog." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Ape: An ansprolog* environment  
  • by Adrian Sureshkumar, Marina De Vos, Martin Brain, John Fitch — 2007 — In Proceedings of the First International Workshop on Software Engineering for Answer Set Programming, volume 281 of Workshop Proceedings
  • …]. CR-MODELS - The inference engine for CR-Prolog, “an extension of A-Prolog by consistency restoring…
  • Cited by 1 (1 self)Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB