Books with this tag

Artificial Intelligence (incl. Robotics); Mathemat

Advances in Case-Based Reasoning: 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

Advances in Case-Based Reasoning: 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

2006 · ENGLISH · PDF

View details

Logic Grammars

Logic Grammars

1989 · ENGLISH · PDF

View details

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

2009 · ENGLISH · PDF

View details

Fuzzy Logic and Applications: 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings

Fuzzy Logic and Applications: 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings

2009 · ENGLISH · PDF

View details

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2007 · ENGLISH · PDF

View details

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

2010 · ENGLISH · PDF

View details

Algorithmic Learning Theory: 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings

Algorithmic Learning Theory: 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings

2010 · ENGLISH · PDF

View details

Graph Structures for Knowledge Representation and Reasoning: Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

2012 · ENGLISH · PDF

View details

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

2013 · ENGLISH · PDF

View details

Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

2012 · ENGLISH · PDF

View details

Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

2011 · ENGLISH · PDF

View details

Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings

Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings

2011 · ENGLISH · PDF

View details

Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday

2011 · ENGLISH · PDF

View details

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers

2011 · ENGLISH · PDF

View details

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

2012 · ENGLISH · PDF

View details

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

2013 · ENGLISH · PDF

View details

AI 2004: Advances in Artificial Intelligence: 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings

AI 2004: Advances in Artificial Intelligence: 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004. Proceedings

2005 · ENGLISH · PDF

View details

Artificial General Intelligence: 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

Artificial General Intelligence: 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings

2017 · ENGLISH · PDF

View details

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

2016 · ENGLISH · PDF

View details

Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

Rule Technologies. Research, Tools, and Applications: 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings

2016 · ENGLISH · PDF

View details

Graph Structures for Knowledge Representation and Reasoning: 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

Graph Structures for Knowledge Representation and Reasoning: 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

2015 · ENGLISH · PDF

View details

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2015 · ENGLISH · PDF

View details

Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2015 · ENGLISH · PDF

View details

Artificial General Intelligence: 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

Artificial General Intelligence: 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

2015 · ENGLISH · PDF

View details