Results for "Automated reasoning"

Results for "Automated reasoning" Showing 1 - 50 results of 151 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Automated+reasoning%22&type=AllFields&lng=en 151 0 50 Intelligent Decision Technologies Proceedings of the 7th KES International Conference on Intelligent Decision Technologies (KES-IDT 2015) / Thu, 01 Jan 2015 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-319-19857-6 https://find.library.upatras.gr/Record/978-3-319-19857-6 Electronic eBook 2015 0 Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / Thu, 01 Jan 2015 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-319-21362-0 https://find.library.upatras.gr/Record/978-3-319-21362-0 Electronic eBook 2015 0 Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. / Thu, 01 Jan 2015 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-319-21768-0 https://find.library.upatras.gr/Record/978-3-319-21768-0 Electronic eBook 2015 0 Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / Fri, 01 Jan 2016 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-319-33693-0 https://find.library.upatras.gr/Record/978-3-319-33693-0 Electronic eBook 2016 0 Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings / Wed, 01 Jan 1997 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-69249-2 https://find.library.upatras.gr/Record/978-3-540-69249-2 Electronic eBook 1997 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 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-36607-2 https://find.library.upatras.gr/Record/978-3-540-36607-2 Electronic eBook 2003 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 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-69601-8 https://find.library.upatras.gr/Record/978-3-540-69601-8 Electronic eBook 1997 0 Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings / Thu, 01 Jan 2004 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-30210-0 https://find.library.upatras.gr/Record/978-3-540-30210-0 Electronic eBook 2004 0 Logics in Artificial Intelligence European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 Proceedings / Thu, 01 Jan 1998 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-49545-1 https://find.library.upatras.gr/Record/978-3-540-49545-1 Electronic eBook 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 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-46695-6 https://find.library.upatras.gr/Record/978-3-540-46695-6 Electronic eBook 1999 0 Theory Reasoning in Connection Calculi Thu, 01 Jan 1998 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-49210-8 https://find.library.upatras.gr/Record/978-3-540-49210-8 Baumgartner, Peter Electronic eBook 1998 Baumgartner, Peter 0 Multi-Agent Systems Methodologies and Applications Second Australian Workshop on Distributed Artificial Intelligence, Cairns, QLD, Australia, August 27, 1996, Selected Papers / Wed, 01 Jan 1997 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-69540-0 https://find.library.upatras.gr/Record/978-3-540-69540-0 Electronic eBook 1997 0 KI 2004: Advances in Artificial Intelligence 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings / Thu, 01 Jan 2004 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-30221-6 https://find.library.upatras.gr/Record/978-3-540-30221-6 Electronic eBook 2004 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 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45411-3 https://find.library.upatras.gr/Record/978-3-540-45411-3 Electronic eBook 2001 0 Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings / Sat, 01 Jan 2000 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-44404-6 https://find.library.upatras.gr/Record/978-3-540-44404-6 Electronic eBook 2000 0 Automated Deduction - CADE-14 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings / Wed, 01 Jan 1997 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-69140-2 https://find.library.upatras.gr/Record/978-3-540-69140-2 Electronic eBook 1997 0 AI*IA 99:Advances in Artificial Intelligence 6th Congress of the Italian Association for Artificial Intelligence Bologna, Italy, September 14-17, 1999 Selected Papers / Sat, 01 Jan 2000 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-46238-5 https://find.library.upatras.gr/Record/978-3-540-46238-5 Electronic eBook 2000 0 Artificial Intelligence: Methodology, Systems, and Applications 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings / Thu, 01 Jan 2004 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-30106-6 https://find.library.upatras.gr/Record/978-3-540-30106-6 Electronic eBook 2004 0 Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings / Wed, 01 Jan 2003 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45130-3 https://find.library.upatras.gr/Record/978-3-540-45130-3 Electronic eBook 2003 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings / Wed, 01 Jan 2003 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45206-5 https://find.library.upatras.gr/Record/978-3-540-45206-5 Electronic eBook 2003 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings / Tue, 01 Jan 2002 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45616-2 https://find.library.upatras.gr/Record/978-3-540-45616-2 Electronic eBook 2002 0 Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings / Tue, 01 Jan 2002 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45470-0 https://find.library.upatras.gr/Record/978-3-540-45470-0 Electronic eBook 2002 0 Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / Fri, 01 Jan 2016 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-319-34171-2 https://find.library.upatras.gr/Record/978-3-319-34171-2 Electronic eBook 2016 0 The Automation of Reasoning with Incomplete Information From Semantic Foundations to Efficient Computation / Wed, 01 Jan 1997 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-69793-0 https://find.library.upatras.gr/Record/978-3-540-69793-0 Schaub, Torsten Electronic eBook 1997 Schaub, Torsten 0 Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings / Mon, 01 Jan 2001 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45744-2 https://find.library.upatras.gr/Record/978-3-540-45744-2 Electronic eBook 2001 0 Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / Fri, 01 Jan 1999 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-48242-0 https://find.library.upatras.gr/Record/978-3-540-48242-0 Electronic eBook 1999 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings / Thu, 01 Jan 1998 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-69778-7 https://find.library.upatras.gr/Record/978-3-540-69778-7 Electronic eBook 1998 0 Developments in Applied Artificial Intelligence 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings / Wed, 01 Jan 2003 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45034-4 https://find.library.upatras.gr/Record/978-3-540-45034-4 Electronic eBook 2003 0 Applications of Uncertainty Formalisms Thu, 01 Jan 1998 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-49426-3 https://find.library.upatras.gr/Record/978-3-540-49426-3 Electronic eBook 1998 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings / Fri, 01 Jan 1999 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-48754-8 https://find.library.upatras.gr/Record/978-3-540-48754-8 Electronic eBook 1999 0 Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability / Wed, 01 Jan 2003 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-44847-1 https://find.library.upatras.gr/Record/978-3-540-44847-1 Xu, Yang Electronic eBook 2003 Xu, Yang 0 Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part II / Tue, 01 Jan 2002 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45632-2 https://find.library.upatras.gr/Record/978-3-540-45632-2 Electronic eBook 2002 0 Artificial Intelligence: Methodology, Systems, and Applications 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings / Thu, 01 Jan 1998 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-49793-6 https://find.library.upatras.gr/Record/978-3-540-49793-6 Electronic eBook 1998 0 Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / Wed, 01 Jan 2003 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45085-6 https://find.library.upatras.gr/Record/978-3-540-45085-6 Electronic eBook 2003 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings / Wed, 01 Jan 1997 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-69046-7 https://find.library.upatras.gr/Record/978-3-540-69046-7 Electronic eBook 1997 0 Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings / Sat, 01 Jan 2000 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45008-5 https://find.library.upatras.gr/Record/978-3-540-45008-5 Electronic eBook 2000 0 Unconventional Models of Computation Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings / Tue, 01 Jan 2002 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-45833-3 https://find.library.upatras.gr/Record/978-3-540-45833-3 Electronic eBook 2002 0 Progress in Artificial Intelligence 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997. Proceedings / Wed, 01 Jan 1997 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-69605-6 https://find.library.upatras.gr/Record/978-3-540-69605-6 Electronic eBook 1997 0 Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / Fri, 01 Jan 2016 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-319-40229-1 https://find.library.upatras.gr/Record/978-3-319-40229-1 Electronic eBook 2016 0 Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics Mon, 01 Jan 2018 04:18:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10917 https://find.library.upatras.gr/Record/nemertes-10889-10917 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Μέθοδοι και τεχνικές ανακάλυψης γνώσης στο σημαντικό ιστό : παραγωγική απόκτηση γνώσης από οντολογικά έγγραφα και η τεχνική της σημασιακής προσαρμογής Thu, 01 Jan 2009 04:18:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-1724 https://find.library.upatras.gr/Record/nemertes-10889-1724 Κουτσομητρόπουλος, Δημήτριος Thesis 2009 Κουτσομητρόπουλος, Δημήτριος 0 Elementary engineering mechanics applications of the OTTER automated reasoning system Mon, 01 Jan 2018 04:18:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-10919 https://find.library.upatras.gr/Record/nemertes-10889-10919 Ioakimidis, Nikolaos Technical Report 2018 Ioakimidis, Nikolaos 0 Design, implementation, and evaluation of a framework for applying answer set programming in games Sun, 01 Jan 2023 04:18:56 +0200 https://find.library.upatras.gr/Record/nemertes-10889-25395 https://find.library.upatras.gr/Record/nemertes-10889-25395 Λάμπρου, Ευάγγελος 2023 Λάμπρου, Ευάγγελος 0 Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / Thu, 01 Jan 2015 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-319-24312-2 https://find.library.upatras.gr/Record/978-3-319-24312-2 Electronic eBook 2015 0 Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / Thu, 01 Jan 2015 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-662-48899-7 https://find.library.upatras.gr/Record/978-3-662-48899-7 Electronic eBook 2015 0 Piton A Mechanically Verified Assembly-Level Language / Mon, 01 Jan 1996 04:18:56 +0200 https://find.library.upatras.gr/Record/978-0-585-33654-1 https://find.library.upatras.gr/Record/978-0-585-33654-1 Moore, J Strother Electronic eBook 1996 Moore, J Strother 0 Web Services, E-Business, and the Semantic Web Second International Workshop, WES 2003, Klagenfurt, Austria, June 16-17, 2003, Revised Selected Papers / Thu, 01 Jan 2004 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-25982-4 https://find.library.upatras.gr/Record/978-3-540-25982-4 Electronic eBook 2004 0 Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings / Thu, 01 Jan 2004 04:18:56 +0200 https://find.library.upatras.gr/Record/978-3-540-25984-8 https://find.library.upatras.gr/Record/978-3-540-25984-8 Electronic eBook 2004 0 978-3-031-10769-6.pdf Sat, 01 Jan 2022 04:18:56 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-57927 https://find.library.upatras.gr/Record/oapen-20.500.12657-57927 2022 0 Knowledge representation and reasoning Fri, 01 Jan 2016 04:18:56 +0200 https://find.library.upatras.gr/Record/kallipos-11419-4226 https://find.library.upatras.gr/Record/kallipos-11419-4226 Stamou, Georgios 7 2016 Stamou, Georgios 0