LIBRARY Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Knowledge-Based Software Engineering: 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Agent-Oriented Software Engineering: Reflections on Architectures, Methodologies, Languages, and Frameworks 2014 · ENGLISH · PDF View details →
LIBRARY Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings 2013 · ENGLISH · PDF View details →
LIBRARY Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions 2002 · ENGLISH · PDF View details →
LIBRARY Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers 2001 · ENGLISH · PDF View details →
LIBRARY Agent-Oriented Software Engineering V: 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers 2005 · ENGLISH · PDF View details →
LIBRARY Agent-Oriented Software Engineering XIII: 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers 2013 · ENGLISH · PDF View details →
LIBRARY Agent-Oriented Software Engineering VIII: 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers 2008 · ENGLISH · PDF View details →
LIBRARY Information and Software Technologies: 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers 2009 · ENGLISH · PDF View details →
LIBRARY Systems and Software Verification: Model-Checking Techniques and Tools 2001 · ENGLISH · PDF View details →
LIBRARY Semantic Web Rules: International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Rule-Based Reasoning, Programming, and Applications: 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers 2010 · ENGLISH · PDF View details →
LIBRARY Agent-Oriented Software Engineering XI: 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers 2011 · ENGLISH · PDF View details →