Results for "knowledge representation and reasoning"

Results for "knowledge representation and reasoning" Showing 1 - 50 results of 272 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22knowledge+representation+and+reasoning%22&type=AllFields&lng=en 272 0 50 KI-97: Advances in Artificial Intelligence 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings / Wed, 01 Jan 1997 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-69582-0 https://find.library.upatras.gr/Record/978-3-540-69582-0 Electronic eBook 1997 0 Advances in Artificial Intelligence - IBERAMIA 2002 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings / Tue, 01 Jan 2002 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-36131-2 https://find.library.upatras.gr/Record/978-3-540-36131-2 Electronic eBook 2002 0 Conditionals in Nonmonotonic Reasoning and Belief Revision Considering Conditionals as Agents / Mon, 01 Jan 2001 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-44600-2 https://find.library.upatras.gr/Record/978-3-540-44600-2 Kern-Isberner, Gabriele Electronic eBook 2001 Kern-Isberner, Gabriele 0 Qualitative Spatial Reasoning with Topological Information Tue, 01 Jan 2002 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-70736-3 https://find.library.upatras.gr/Record/978-3-540-70736-3 Renz, Jochen Electronic eBook 2002 Renz, Jochen 0 AI*IA 2003: Advances in Artificial Intelligence 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings / Wed, 01 Jan 2003 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-39853-0 https://find.library.upatras.gr/Record/978-3-540-39853-0 Electronic eBook 2003 0 Advanced Topics in Artificial Intelligence 10th Australian Joint Conference on Artificial Intelligence AI'97, Perth, Australia, November 30 - December 4, 1997. Proceedings / Wed, 01 Jan 1997 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-69649-0 https://find.library.upatras.gr/Record/978-3-540-69649-0 Electronic eBook 1997 0 MICAI 2000: Advances in Artificial Intelligence Mexican International Conference on Artificial Intelligence Acapulco, Mexico, April 11-14, 2000 Proceedings / Sat, 01 Jan 2000 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-45562-2 https://find.library.upatras.gr/Record/978-3-540-45562-2 Electronic eBook 2000 0 AI 2002: Advances in Artificial Intelligence 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings / Tue, 01 Jan 2002 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-36187-9 https://find.library.upatras.gr/Record/978-3-540-36187-9 Electronic eBook 2002 0 Advances in Artificial Intelligence International Joint Conference 7th Ibero-American Conference on AI 15th Brazilian Symposium on AI IBERAMIA-SBIA 2000 Atibaia, SP, Brazil, November 19-22, 2000 Proceedings / Sat, 01 Jan 2000 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-44399-5 https://find.library.upatras.gr/Record/978-3-540-44399-5 Electronic eBook 2000 0 Foundations of Computer Science Potential-Theory-Cognition / Wed, 01 Jan 1997 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-69640-7 https://find.library.upatras.gr/Record/978-3-540-69640-7 Electronic eBook 1997 0 AI 2016: Advances in Artificial Intelligence 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings / Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-319-50127-7 https://find.library.upatras.gr/Record/978-3-319-50127-7 Electronic eBook 2016 0 Methods and Applications of Artificial Intelligence Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11-12, 2002 Proceedings / Tue, 01 Jan 2002 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-46014-5 https://find.library.upatras.gr/Record/978-3-540-46014-5 Electronic eBook 2002 0 Technologies for Constructing Intelligent Systems 2 Tools / Tue, 01 Jan 2002 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-7908-1796-6 https://find.library.upatras.gr/Record/978-3-7908-1796-6 Electronic eBook 2002 0 Conceptual Structures: Logical, Linguistic, and Computational Issues 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings / Sat, 01 Jan 2000 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-44663-7 https://find.library.upatras.gr/Record/978-3-540-44663-7 Electronic eBook 2000 0 Propositional, Probabilistic and Evidential Reasoning Integrating Numerical and Symbolic Approaches / Mon, 01 Jan 2001 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-7908-1811-6 https://find.library.upatras.gr/Record/978-3-7908-1811-6 Liu, Weiru Electronic eBook 2001 Liu, Weiru 0 Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / Sat, 01 Jan 2000 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-45101-3 https://find.library.upatras.gr/Record/978-3-540-45101-3 Electronic eBook 2000 0 Modeling and Using Context Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings / Fri, 01 Jan 1999 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-48315-1 https://find.library.upatras.gr/Record/978-3-540-48315-1 Electronic eBook 1999 0 Intelligent Systems and Applications Extended and Selected Results from the SAI Intelligent Systems Conference (IntelliSys) 2015 / Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-319-33386-1 https://find.library.upatras.gr/Record/978-3-319-33386-1 Electronic eBook 2016 0 Αλληλεπιδραστικό σύστημα μετατροπής προτάσεων φυσικής γλώσσας σε κατηγορηματική λογική πρώτης τάξης με αυτόματη εισαγωγή προτάσεων και δημιουργία υποδείξεων για το χρήστη Sat, 01 Jan 2011 05:17:19 +0200 https://find.library.upatras.gr/Record/nemertes-10889-4226 https://find.library.upatras.gr/Record/nemertes-10889-4226 Περίκος, Ισίδωρος Thesis 2011 Περίκος, Ισίδωρος 0 AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings / Thu, 01 Jan 2015 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-319-24309-2 https://find.library.upatras.gr/Record/978-3-319-24309-2 Electronic eBook 2015 0 Foundations of Biomedical Knowledge Representation Methods and Applications / Thu, 01 Jan 2015 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-319-28007-3 https://find.library.upatras.gr/Record/978-3-319-28007-3 Electronic eBook 2015 0 Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers / Thu, 01 Jan 2015 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-319-28702-7 https://find.library.upatras.gr/Record/978-3-319-28702-7 Electronic eBook 2015 0 Agent-Oriented Software Engineering IV 4th InternationalWorkshop, AOSE 2003, Melbourne, Australia, July 15, 2003. Revised Papers / Thu, 01 Jan 2004 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-24620-6 https://find.library.upatras.gr/Record/978-3-540-24620-6 Electronic eBook 2004 0 Concept Lattices Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004. Proceedings / Thu, 01 Jan 2004 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-24651-0 https://find.library.upatras.gr/Record/978-3-540-24651-0 Electronic eBook 2004 0 Advances in Artificial Intelligence 17th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2004, London, Ontario, Canada, May 17-19, 2004. Proceedings / Thu, 01 Jan 2004 05:17:19 +0200 https://find.library.upatras.gr/Record/978-3-540-24840-8 https://find.library.upatras.gr/Record/978-3-540-24840-8 Electronic eBook 2004 0 Intelligent Control Systems An Introduction with Examples / Mon, 01 Jan 2001 05:17:19 +0200 https://find.library.upatras.gr/Record/978-0-306-48081-2 https://find.library.upatras.gr/Record/978-0-306-48081-2 Hangos, Katalin M. Electronic eBook 2001 Hangos, Katalin M. 0 Λειτουργικά Συστήματα Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-5464 https://find.library.upatras.gr/Record/kallipos-11419-5464 Zachos, Efstathios 7 2016 Zachos, Efstathios 0 9783030723088.pdf Fri, 01 Jan 2021 05:17:19 +0200 https://find.library.upatras.gr/Record/oapen-20.500.12657-48251 https://find.library.upatras.gr/Record/oapen-20.500.12657-48251 2021 0 Knowledge representation and reasoning Fri, 01 Jan 2016 05:17:19 +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 Αλγόριθμοι Γράφων Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-5468 https://find.library.upatras.gr/Record/kallipos-11419-5468 Zachos, Efstathios 7 2016 Zachos, Efstathios 0 Κώδικας Prolog Κεφαλαίου 13 Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-776 https://find.library.upatras.gr/Record/kallipos-11419-776 Sakellariou, Ilias 104 2016 Sakellariou, Ilias 0 Τεχνικές Λογικού Προγραμματισμού για Επίλυση Προβλημάτων Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-788 https://find.library.upatras.gr/Record/kallipos-11419-788 Sakellariou, Ilias 7 2016 Sakellariou, Ilias 0 Κώδικας Prolog Κεφαλαίου 7 Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-800 https://find.library.upatras.gr/Record/kallipos-11419-800 Sakellariou, Ilias 104 2016 Sakellariou, Ilias 0 Εισαγωγή – Ιστορικά στοιχεία – Σχέση Λογικού Προγραμματισμού με την Τεχνητή Νοημοσύνη Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-778 https://find.library.upatras.gr/Record/kallipos-11419-778 Sakellariou, Ilias 7 2016 Sakellariou, Ilias 0 Υλοποίηση Απλής Γραμματικής DCG Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-769 https://find.library.upatras.gr/Record/kallipos-11419-769 Sakellariou, Ilias 102 2016 Sakellariou, Ilias 0 Παράδειγμα Εκτέλεσης list_append/3 (append/3) Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-791 https://find.library.upatras.gr/Record/kallipos-11419-791 Sakellariou, Ilias 102 2016 Sakellariou, Ilias 0 Αναδρομή (Τεχνικές Λογικού Προγραμματισμού) Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-783 https://find.library.upatras.gr/Record/kallipos-11419-783 Sakellariou, Ilias 7 2016 Sakellariou, Ilias 0 Κατηγορηματική Λογική Πρώτης Τάξης και Λογικά Προγράμματα Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-780 https://find.library.upatras.gr/Record/kallipos-11419-780 Sakellariou, Ilias 7 2016 Sakellariou, Ilias 0 ΚώδικαςProlog Κεφαλαίου 5 Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-771 https://find.library.upatras.gr/Record/kallipos-11419-771 Sakellariou, Ilias 104 2016 Sakellariou, Ilias 0 Δηλωτικός Προγραμματισμός Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-779 https://find.library.upatras.gr/Record/kallipos-11419-779 Sakellariou, Ilias 7 2016 Sakellariou, Ilias 0 Αναζήτηση κατά πλάτος Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-794 https://find.library.upatras.gr/Record/kallipos-11419-794 Sakellariou, Ilias 102 2016 Sakellariou, Ilias 0 Προσεγγιστικοί Αλγόριθμοι Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-5463 https://find.library.upatras.gr/Record/kallipos-11419-5463 Zachos, Efstathios 7 2016 Zachos, Efstathios 0 Γραμματική DCG με Δένδρο Σύνταξης Fri, 01 Jan 2016 05:17:19 +0200 https://find.library.upatras.gr/Record/kallipos-11419-770 https://find.library.upatras.gr/Record/kallipos-11419-770 Sakellariou, Ilias 102 2016 Sakellariou, Ilias 0 Proceedings of the 2nd international conference on Artificial intelligence and law Sun, 01 Jan 1989 05:17:19 +0200 https://find.library.upatras.gr/Record/10.1145%2F74014 https://find.library.upatras.gr/Record/10.1145%2F74014 Electronic eBook 1989 0 Proceedings of the 2nd Workshop on Semantic Representation of Spoken Language Thu, 01 Jan 2009 05:17:19 +0200 https://find.library.upatras.gr/Record/10.5555%2F1626296 https://find.library.upatras.gr/Record/10.5555%2F1626296 Electronic eBook 2009 0 Ontology-Driven Software Engineering Fri, 01 Jan 2010 05:17:19 +0200 https://find.library.upatras.gr/Record/10.1145%2F1937128 https://find.library.upatras.gr/Record/10.1145%2F1937128 Electronic Conference Proceeding eBook 2010 0 Proceedings of the 1977 symposium on Artificial intelligence and programming languages Sat, 01 Jan 1977 05:17:19 +0200 https://find.library.upatras.gr/Record/10.1145%2F800228 https://find.library.upatras.gr/Record/10.1145%2F800228 Electronic eBook 1977 0 Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Tutorial Abstracts Thu, 01 Jan 2009 05:17:19 +0200 https://find.library.upatras.gr/Record/10.5555%2F1620950 https://find.library.upatras.gr/Record/10.5555%2F1620950 Electronic eBook 2009 0 Proceedings of the Fifth Australasian Ontology Workshop - Volume 112 Thu, 01 Jan 2009 05:17:19 +0200 https://find.library.upatras.gr/Record/10.5555%2F2459285 https://find.library.upatras.gr/Record/10.5555%2F2459285 Electronic eBook 2009 0 Proceedings of the Third Australasian Workshop on Advances in Ontologies - Volume 85 Mon, 01 Jan 2007 05:17:19 +0200 https://find.library.upatras.gr/Record/10.5555%2F2449256 https://find.library.upatras.gr/Record/10.5555%2F2449256 Electronic eBook 2007 0