LIBRARY Logics in Artificial Intelligence: 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings 2006 · ENGLISH · PDF View details →
LIBRARY Probabilistic Inductive Logic Programming: Theory and Applications 2008 · ENGLISH · PDF View details →
LIBRARY Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers 2011 · ENGLISH · PDF View details →
LIBRARY Emotion Modeling: Towards Pragmatic Computational Models of Affective Processes 2014 · ENGLISH · PDF View details →
LIBRARY Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers 2014 · ENGLISH · PDF View details →
LIBRARY Recent Advances in Constraints: 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers 2007 · ENGLISH · PDF View details →
LIBRARY Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings 2006 · ENGLISH · PDF View details →
LIBRARY Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers 2013 · ENGLISH · PDF View details →
LIBRARY Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers 2008 · ENGLISH · PDF View details →
LIBRARY Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II 2002 · ENGLISH · PDF View details →
LIBRARY Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I 2002 · ENGLISH · PDF View details →
LIBRARY New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers 2000 · ENGLISH · PDF View details →
LIBRARY Recent Advances in Constraints: Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers 2003 · ENGLISH · PDF View details →
LIBRARY Web Knowledge Management and Decision Support: 14th International Conference on Applications of Prolog, INAP 2001 Tokyo, Japan, October 20–22, 2001 Revised Papers 2003 · ENGLISH · PDF View details →
LIBRARY Recent Advances in Constraints: Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers 2005 · ENGLISH · PDF View details →
LIBRARY Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers 2005 · ENGLISH · PDF View details →
LIBRARY Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings 2005 · ENGLISH · PDF View details →
LIBRARY Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers 2004 · ENGLISH · PDF View details →
LIBRARY Progress in Artificial Intelligence: 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003. Proceedings 2003 · ENGLISH · PDF View details →