Αποτελέσματα για "logic programming"

Αποτελέσματα για "logic programming" Εμφανίζονται 1 - 50 Αποτελέσματα από 647 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22logic+programming%22&type=AllFields&lng=el 647 0 50 Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-17822-6 https://find.library.upatras.gr/Record/978-3-319-17822-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-19282-6 https://find.library.upatras.gr/Record/978-3-319-19282-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-19686-2 https://find.library.upatras.gr/Record/978-3-319-19686-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-19722-7 https://find.library.upatras.gr/Record/978-3-319-19722-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-21548-8 https://find.library.upatras.gr/Record/978-3-319-21548-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-22002-4 https://find.library.upatras.gr/Record/978-3-319-22002-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Diffusion in Social Networks Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-23105-1 https://find.library.upatras.gr/Record/978-3-319-23105-1 Shakarian, Paulo Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Shakarian, Paulo 0 Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-23219-5 https://find.library.upatras.gr/Record/978-3-319-23219-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-23264-5 https://find.library.upatras.gr/Record/978-3-319-23264-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Computational Methods in Systems Biology 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-23401-4 https://find.library.upatras.gr/Record/978-3-319-23401-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings / Thu, 01 Jan 2015 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-23485-4 https://find.library.upatras.gr/Record/978-3-319-23485-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / Fri, 01 Jan 2016 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-47166-2 https://find.library.upatras.gr/Record/978-3-319-47166-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / Fri, 01 Jan 2016 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-29604-3 https://find.library.upatras.gr/Record/978-3-319-29604-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 New Approaches in Intelligent Control Techniques, Methodologies and Applications / Fri, 01 Jan 2016 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-32168-4 https://find.library.upatras.gr/Record/978-3-319-32168-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / Fri, 01 Jan 2016 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-319-45856-4 https://find.library.upatras.gr/Record/978-3-319-45856-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Symbolic and Quantitative Approaches to Reasoning and Uncertainty European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings / Fri, 01 Jan 1999 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48747-0 https://find.library.upatras.gr/Record/978-3-540-48747-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Advances in Artificial Intelligence 14th Brazilian Symposium on Artificial Intelligence, SBIA'98 Porto Alegre, Brazil, November 4-6, 1998, Proceedings / Thu, 01 Jan 1998 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-49523-9 https://find.library.upatras.gr/Record/978-3-540-49523-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Learning and Reasoning with Complex Representations PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations Cairns, Australia, August 26-30, 1996, Selected Papers / Thu, 01 Jan 1998 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69780-0 https://find.library.upatras.gr/Record/978-3-540-69780-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Machine Learning: ECML'97 9th European Conference on Machine Learning, Prague, Czech Republic, April 23 - 25, 1997, Proceedings / Wed, 01 Jan 1997 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-68708-5 https://find.library.upatras.gr/Record/978-3-540-68708-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Machine Learning: ECML-98 10th European Conference on Machine Learning, Chemnitz, Germany, April 21-23, 1998, Proceedings / Thu, 01 Jan 1998 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69781-7 https://find.library.upatras.gr/Record/978-3-540-69781-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings / Wed, 01 Jan 1997 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69249-2 https://find.library.upatras.gr/Record/978-3-540-69249-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 KI-97: Advances in Artificial Intelligence 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings / Wed, 01 Jan 1997 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69582-0 https://find.library.upatras.gr/Record/978-3-540-69582-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Cooperative Information Agents VII 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings / Wed, 01 Jan 2003 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45217-1 https://find.library.upatras.gr/Record/978-3-540-45217-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Foundations of Intelligent Systems 13th International Symposium, ISMIS 2002, Lyon, France, June 27-29, 2002. Proceedings / Tue, 01 Jan 2002 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48050-1 https://find.library.upatras.gr/Record/978-3-540-48050-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Recent Advances in Constraints Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers / Wed, 01 Jan 2003 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-36607-2 https://find.library.upatras.gr/Record/978-3-540-36607-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Computational Learning Theory 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings / Fri, 01 Jan 1999 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-49097-5 https://find.library.upatras.gr/Record/978-3-540-49097-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Algorithmic Learning Theory 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings / Thu, 01 Jan 2004 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-30215-5 https://find.library.upatras.gr/Record/978-3-540-30215-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Advances in Artificial Intelligence 15th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2002 Calgary, Canada, May 27-29, 2002 Proceedings / Tue, 01 Jan 2002 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-47922-2 https://find.library.upatras.gr/Record/978-3-540-47922-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings / Fri, 01 Jan 1999 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48168-3 https://find.library.upatras.gr/Record/978-3-540-48168-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Inductive Logic Programming 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Thu, 01 Jan 2004 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-30109-7 https://find.library.upatras.gr/Record/978-3-540-30109-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Inductive Logic Programming 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings / Wed, 01 Jan 1997 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69587-5 https://find.library.upatras.gr/Record/978-3-540-69587-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Machine Learning: ECML 2001 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings / Mon, 01 Jan 2001 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44795-5 https://find.library.upatras.gr/Record/978-3-540-44795-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 AI*IA 97: Advances in Artificial Intelligence 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings / Wed, 01 Jan 1997 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69601-8 https://find.library.upatras.gr/Record/978-3-540-69601-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Inductive Logic Programming 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings / Sat, 01 Jan 2000 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44960-7 https://find.library.upatras.gr/Record/978-3-540-44960-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / Mon, 01 Jan 2001 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45402-1 https://find.library.upatras.gr/Record/978-3-540-45402-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 MICAI 2002: Advances in Artificial Intelligence Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002 Proceedings / Tue, 01 Jan 2002 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-46016-9 https://find.library.upatras.gr/Record/978-3-540-46016-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0 Logics in Artificial Intelligence European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 Proceedings / Thu, 01 Jan 1998 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-49545-1 https://find.library.upatras.gr/Record/978-3-540-49545-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 1998 0 Advanced Topics in Artificial Intelligence 12th Australian Joint Conference on Artificial Intelligence, AI'99, Sydney, Australia, December 6-10, 1999, Proceedings / Fri, 01 Jan 1999 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-46695-6 https://find.library.upatras.gr/Record/978-3-540-46695-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Inductive Logic Programming 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / Wed, 01 Jan 1997 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-69583-7 https://find.library.upatras.gr/Record/978-3-540-69583-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 1997 0 Symbolic and Quantitative Approaches to Reasoning with Uncertainty 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings / Mon, 01 Jan 2001 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44652-1 https://find.library.upatras.gr/Record/978-3-540-44652-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Inductive Logic Programming 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers / Wed, 01 Jan 2003 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-36468-9 https://find.library.upatras.gr/Record/978-3-540-36468-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Methodologies for Knowledge Discovery and Data Mining Third Pacific-Asia Conference, PAKDD'99, Beijing, China, April 26-28, 1999, Proceedings / Fri, 01 Jan 1999 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48912-2 https://find.library.upatras.gr/Record/978-3-540-48912-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings / Mon, 01 Jan 2001 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45635-3 https://find.library.upatras.gr/Record/978-3-540-45635-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Correct Hardware Design and Verification Methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings / Wed, 01 Jan 2003 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-39724-3 https://find.library.upatras.gr/Record/978-3-540-39724-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 Algorithmic Learning Theory 10th International Conference, ALT '99 Tokyo, Japan, December 6-8, 1999 Proceedings / Fri, 01 Jan 1999 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-46769-4 https://find.library.upatras.gr/Record/978-3-540-46769-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 1999 0 Advances in Information Systems First International Conference, ADVIS 2000, Izmir, Turkey, October 25-27, 2000, Proceedings / Sat, 01 Jan 2000 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-40888-8 https://find.library.upatras.gr/Record/978-3-540-40888-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings / Wed, 01 Jan 2003 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-39917-9 https://find.library.upatras.gr/Record/978-3-540-39917-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2003 0 AI*IA 2001: Advances in Artificial Intelligence 7th Congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001. Proceedings / Mon, 01 Jan 2001 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45411-3 https://find.library.upatras.gr/Record/978-3-540-45411-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings / Thu, 01 Jan 2004 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-30227-8 https://find.library.upatras.gr/Record/978-3-540-30227-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part I / Tue, 01 Jan 2002 13:04:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45628-5 https://find.library.upatras.gr/Record/978-3-540-45628-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2002 0