Вы здесь

Главная

reasoning

Связанные издания:

Advances in Artificial Intelligence: Proc./16th Confernce of the Spanish Association for AI, CAEPIA 2015, Albacete, Spain, November 2015
Automated Reasoning: Proc./7th International Joint Conference, IJCAR 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Constraint-Based Reasoning
Frontiers of Combining Systems: Proc./10th International Symposium, FroCoS 2015, Wroclaw, Poland. September 2015
Knowledge Representation for Health-Care: Revised Selected Papers/AIME 2011 Workshop KR4HC 2011, Bled, Slovenia, July 2011
Rule Technologies: Foundations, Tools, and Applications: Proc./9th International Symposium, RuleML 2015, Berlin, Germany, August 2015
Web Reasoning and Rule Systems: Proc./First International Conference, RR 2007. Innsbruck, Austria, June 2007