Search Results for - Narrowed by: Mathematical Logic and Formal Languages. - Artificial Intelligence (incl. Robotics).

MATLAB deep learning : with machine learning, neural networks and artificial intelligence

2024-06-08T04:45:21Z

by Kim, Phil, author.
https://learning.oreilly.com/library/view/~/9781484228456/?ar https://go.oreilly.com/library-access/library/view/-/9781484228456/?ar https://learning.oreilly.com/library/view/~/9781484228456
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-06-08T04:45:21Z

by Kroening, Daniel. author.
http://dx.doi.org/10.1007/978-3-540-74105-3
Format: Electronic Resources

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

2024-06-08T04:45:21Z

by Berghammer, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-78913-0
Format: Electronic Resources

Algorithms in Invariant Theory

2024-06-08T04:45:21Z

by Sturmfels, Bernd. author.
http://dx.doi.org/10.1007/978-3-211-77417-5
Format: Electronic Resources

Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings

2024-06-08T04:45:21Z

by Meyden, Ron. editor.
http://dx.doi.org/10.1007/978-3-540-70525-3
Format: Electronic Resources

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

2024-06-08T04:45:21Z

by Mohamed, Otmane Ait. editor.
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: Electronic Resources

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2024-06-08T04:45:21Z

by Armando, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-540-71070-7
Format: Electronic Resources

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

2024-06-08T04:45:21Z

by Garrigue, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-78969-7
Format: Electronic Resources

Inductive Logic Programming 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

2024-06-08T04:45:21Z

by Blockeel, Hendrik. editor.
http://dx.doi.org/10.1007/978-3-540-78469-2
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-06-08T04:45:21Z

by Kleine Büning, Hans. editor.
http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources

Rough Sets and Knowledge Technology Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings

2024-06-08T04:45:21Z

by Wang, Guoyin. editor.
http://dx.doi.org/10.1007/978-3-540-79721-0
Format: Electronic Resources

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings

2024-06-08T04:45:21Z

by Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-540-88190-2
Format: Electronic Resources

Computational Linguistics and Intelligent Text Processing 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings

2024-06-08T04:45:21Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-78135-6
Format: Electronic Resources

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

2024-06-08T04:45:21Z

by Hendren, Laurie. editor.
http://dx.doi.org/10.1007/978-3-540-78791-4
Format: Electronic Resources

Advances in Natural Language Processing 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings

2024-06-08T04:45:21Z

by Nordström, Bengt. editor.
http://dx.doi.org/10.1007/978-3-540-85287-2
Format: Electronic Resources

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

2024-06-08T04:45:21Z

by Fages, François. editor.
http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources

Artificial Intelligence and Soft Computing – ICAISC 2008 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings

2024-06-08T04:45:21Z

by Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/978-3-540-69731-2
Format: Electronic Resources

Natural Language and Information Systems 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008 London, UK, June 24-27, 2008 Proceedings

2024-06-08T04:45:21Z

by Kapetanios, Epaminondas. editor.
http://dx.doi.org/10.1007/978-3-540-69858-6
Format: Electronic Resources

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

2024-06-08T04:45:21Z

by Hodges, Wilfrid. editor.
http://dx.doi.org/10.1007/978-3-540-69937-8
Format: Electronic Resources

Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings

2024-06-08T04:45:21Z

by Clark, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-88009-7
Format: Electronic Resources

Learning Classifier Systems 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers

2024-06-08T04:45:21Z

by Bacardit, Jaume. editor.
http://dx.doi.org/10.1007/978-3-540-88138-4
Format: Electronic Resources

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

2024-06-08T04:45:21Z

by Stuckey, Peter J. editor.
http://dx.doi.org/10.1007/978-3-540-85958-1
Format: Electronic Resources

Computational Processing of the Portuguese Language 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings

2024-06-08T04:45:21Z

by Teixeira, António. editor.
http://dx.doi.org/10.1007/978-3-540-85980-2
Format: Electronic Resources

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings

2024-06-08T04:45:21Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-540-85984-0
Format: Electronic Resources

Constraint Handling Rules Current Research Topics

2024-06-08T04:45:21Z

by Schrijvers, Tom. editor.
http://dx.doi.org/10.1007/978-3-540-92243-8
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

2024-06-08T04:45:21Z

by Sadri, Fariba. editor.
http://dx.doi.org/10.1007/978-3-540-88833-8
Format: Electronic Resources

Probabilistic Inductive Logic Programming Theory and Applications

2024-06-08T04:45:21Z

by Raedt, Luc. editor.
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

2024-06-08T04:45:21Z

by King, Andy. editor.
http://dx.doi.org/10.1007/978-3-540-78769-3
Format: Electronic Resources

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

2024-06-08T04:45:21Z

by Meseguer, José. editor.
http://dx.doi.org/10.1007/978-3-540-79980-1
Format: Electronic Resources

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings

2024-06-08T04:45:21Z

by Wobcke, Wayne. editor.
http://dx.doi.org/10.1007/978-3-540-89378-3
Format: Electronic Resources

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

2024-06-08T04:45:21Z

by Shankar, Natarajan. editor.
http://dx.doi.org/10.1007/978-3-540-87873-5
Format: Electronic Resources

Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings

2024-06-08T04:45:21Z

by Greco, Sergio. editor.
http://dx.doi.org/10.1007/978-3-540-87993-0
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

2024-06-08T04:45:21Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/978-3-540-88269-5
Format: Electronic Resources

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I

2024-06-08T04:45:21Z

by Daelemans, Walter. editor.
http://dx.doi.org/10.1007/978-3-540-87479-9
Format: Electronic Resources

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II

2024-06-08T04:45:21Z

by Daelemans, Walter. editor.
http://dx.doi.org/10.1007/978-3-540-87481-2
Format: Electronic Resources

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings

2024-06-08T04:45:21Z

by Kaminski, Michael. editor.
http://dx.doi.org/10.1007/978-3-540-87531-4
Format: Electronic Resources

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings

2024-06-08T04:45:21Z

by Althoff, Klaus-Dieter. editor.
http://dx.doi.org/10.1007/978-3-540-85502-6
Format: Electronic Resources

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings

2024-06-08T04:45:21Z

by Hölldobler, Steffen. editor.
http://dx.doi.org/10.1007/978-3-540-87803-2
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-06-08T04:45:21Z

by Cervesato, Iliano. editor.
http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Electronic Resources

Transactions on Rough Sets VIII

2024-06-08T04:45:21Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-85064-9
Format: Electronic Resources

KI 2008: Advances in Artificial Intelligence 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

2024-06-08T04:45:21Z

by Dengel, Andreas R. editor.
http://dx.doi.org/10.1007/978-3-540-85845-4
Format: Electronic Resources

Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

2024-06-08T04:45:21Z

by Degano, Pierpaolo. editor.
http://dx.doi.org/10.1007/978-3-540-68679-8
Format: Electronic Resources

Rough Sets and Current Trends in Computing 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings

2024-06-08T04:45:21Z

by Chan, Chien-Chung. editor.
http://dx.doi.org/10.1007/978-3-540-88425-5
Format: Electronic Resources

Transactions on Rough Sets IX

2024-06-08T04:45:21Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-89876-4
Format: Electronic Resources

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings

2024-06-08T04:45:21Z

by Železný, Filip. editor.
http://dx.doi.org/10.1007/978-3-540-85928-4
Format: Electronic Resources

MICAI 2008: Advances in Artificial Intelligence 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings

2024-06-08T04:45:21Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-88636-5
Format: Electronic Resources

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

2024-06-08T04:45:21Z

by Garcia de la Banda, Maria. editor.
http://dx.doi.org/10.1007/978-3-540-89982-2
Format: Electronic Resources

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

2024-06-08T04:45:21Z

by Voronkov, Andrei. editor.
http://dx.doi.org/10.1007/978-3-540-70590-1
Format: Electronic Resources

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

2024-06-08T04:45:21Z

by Eklund, Peter. editor.
http://dx.doi.org/10.1007/978-3-540-70596-3
Format: Electronic Resources

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

2024-06-08T04:45:21Z

by Gupta, Aarti. editor.
http://dx.doi.org/10.1007/978-3-540-70545-1
Format: Electronic Resources

Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

2024-06-08T04:45:21Z

by Miculan, Marino. editor.
http://dx.doi.org/10.1007/978-3-540-68103-8
Format: Electronic Resources

Formal Concept Analysis 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

2024-06-08T04:45:21Z

by Medina, Raoul. editor.
http://dx.doi.org/10.1007/978-3-540-78137-0
Format: Electronic Resources

All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic

2024-06-08T04:45:21Z

by Clavel, Manuel. author.
http://dx.doi.org/10.1007/978-3-540-71999-1
Format: Electronic Resources

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

2024-06-08T04:45:21Z

by Baral, Chitta. editor.
http://dx.doi.org/10.1007/978-3-540-72200-7
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

2024-06-08T04:45:21Z

by Inoue, Katsumi. editor.
http://dx.doi.org/10.1007/978-3-540-69619-3
Format: Electronic Resources

Formal Concept Analysis 5th International Conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007. Proceedings

2024-06-08T04:45:21Z

by Kuznetsov, Sergei O. editor.
http://dx.doi.org/10.1007/978-3-540-70901-5
Format: Electronic Resources

Frontiers of Combining Systems 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings

2024-06-08T04:45:21Z

by Konev, Boris. editor.
http://dx.doi.org/10.1007/978-3-540-74621-8
Format: Electronic Resources

Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings

2024-06-08T04:45:21Z

by Weber, Rosina O. editor.
http://dx.doi.org/10.1007/978-3-540-74141-1
Format: Electronic Resources

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

2024-06-08T04:45:21Z

by Baader, Franz. editor.
http://dx.doi.org/10.1007/978-3-540-73449-9
Format: Electronic Resources

Rough Sets and Intelligent Systems Paradigms International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings

2024-06-08T04:45:21Z

by Kryszkiewicz, Marzena. editor.
http://dx.doi.org/10.1007/978-3-540-73451-2
Format: Electronic Resources

Machine Learning and Data Mining in Pattern Recognition 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings

2024-06-08T04:45:21Z

by Perner, Petra. editor.
http://dx.doi.org/10.1007/978-3-540-73499-4
Format: Electronic Resources

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

2024-06-08T04:45:21Z

by Bessière, Christian. editor.
http://dx.doi.org/10.1007/978-3-540-74970-7
Format: Electronic Resources

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2024-06-08T04:45:21Z

by Chen, Peter P. editor.
http://dx.doi.org/10.1007/978-3-540-77503-4
Format: Electronic Resources

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

2024-06-08T04:45:21Z

by Cate, Balder D. editor.
http://dx.doi.org/10.1007/978-3-540-75144-1
Format: Electronic Resources

Computational Linguistics and Intelligent Text Processing 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings

2024-06-08T04:45:21Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-70939-8
Format: Electronic Resources

Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

2024-06-08T04:45:21Z

by Duparc, Jacques. editor.
http://dx.doi.org/10.1007/978-3-540-74915-8
Format: Electronic Resources

MICAI 2007: Advances in Artificial Intelligence 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007. Proceedings

2024-06-08T04:45:21Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-76631-5
Format: Electronic Resources

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

2024-06-08T04:45:21Z

by Botana, Francisco. editor.
http://dx.doi.org/10.1007/978-3-540-77356-6
Format: Electronic Resources

Knowledge Discovery in Databases: PKDD 2007 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, Warsaw, Poland, September 17-21, 2007. Proceedings

2024-06-08T04:45:21Z

by Kok, Joost N. editor.
http://dx.doi.org/10.1007/978-3-540-74976-9
Format: Electronic Resources

AI 2007: Advances in Artificial Intelligence 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings

2024-06-08T04:45:21Z

by Orgun, Mehmet A. editor.
http://dx.doi.org/10.1007/978-3-540-76928-6
Format: Electronic Resources

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedings

2024-06-08T04:45:21Z

by Hertzberg, Joachim. editor.
http://dx.doi.org/10.1007/978-3-540-74565-5
Format: Electronic Resources

Current Topics in Artificial Intelligence 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, Salamanca, Spain, November 12-16, 2007. Selected Papers

2024-06-08T04:45:21Z

by Borrajo, Daniel. editor.
http://dx.doi.org/10.1007/978-3-540-75271-4
Format: Electronic Resources

Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino

2024-06-08T04:45:21Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: Electronic Resources

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers

2024-06-08T04:45:21Z

by Muggleton, Stephen. editor.
http://dx.doi.org/10.1007/978-3-540-73847-3
Format: Electronic Resources

Rough Sets and Knowledge Technology Second International Conference, RSKT 2007, Toronto, Canada, May 14-16, 2007. Proceedings

2024-06-08T04:45:21Z

by Yao, JingTao. editor.
http://dx.doi.org/10.1007/978-3-540-72458-2
Format: Electronic Resources

Modeling and Using Context 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007. Proceedings

2024-06-08T04:45:21Z

by Kokinov, Boicho. editor.
http://dx.doi.org/10.1007/978-3-540-74255-5
Format: Electronic Resources

Transactions on Rough Sets VI Commemorating the Life and Work of Zdzisław Pawlak, Part I

2024-06-08T04:45:21Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-71200-8
Format: Electronic Resources

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings

2024-06-08T04:45:21Z

by Mellouli, Khaled. editor.
http://dx.doi.org/10.1007/978-3-540-75256-1
Format: Electronic Resources

Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings

2024-06-08T04:45:21Z

by Masulli, Francesco. editor.
http://dx.doi.org/10.1007/978-3-540-73400-0
Format: Electronic Resources

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday

2024-06-08T04:45:21Z

by Aguzzoli, Stefano. editor.
http://dx.doi.org/10.1007/978-3-540-75939-3
Format: Electronic Resources

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers

2024-06-08T04:45:21Z

by Schilder, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-75989-8
Format: Electronic Resources

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

2024-06-08T04:45:21Z

by Altenkirch, Thorsten. editor.
http://dx.doi.org/10.1007/978-3-540-74464-1
Format: Electronic Resources

Ontology Matching

2024-06-08T04:45:21Z

by Euzenat, Jérôme. author.
http://dx.doi.org/10.1007/978-3-540-49612-0
Format: Electronic Resources

Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings

2024-06-08T04:45:21Z

by Prade, Henri. editor.
http://dx.doi.org/10.1007/978-3-540-75410-7
Format: Electronic Resources

Formal Correctness of Security Protocols With 62 Figures and 4 Tables

2024-06-08T04:45:21Z

by Bella, Giampaolo. author.
http://dx.doi.org/10.1007/978-3-540-68136-6
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

2024-06-08T04:45:21Z

by Puebla, Germán. editor.
http://dx.doi.org/10.1007/978-3-540-71410-1
Format: Electronic Resources

Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers

2024-06-08T04:45:21Z

by Branco, António. editor.
http://dx.doi.org/10.1007/978-3-540-71412-5
Format: Electronic Resources

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

2024-06-08T04:45:21Z

by Azevedo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources

Conceptual Structures: Knowledge Architectures for Smart Applications 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007. Proceedings

2024-06-08T04:45:21Z

by Priss, Uta. editor.
http://dx.doi.org/10.1007/978-3-540-73681-3
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings

2024-06-08T04:45:21Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/978-3-540-73729-2
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-06-08T04:45:21Z

by Marques-Silva, João. editor.
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources

Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA; June 13-15, 2007. Proceedings

2024-06-08T04:45:21Z

by Bshouty, Nader H. editor.
http://dx.doi.org/10.1007/978-3-540-72927-3
Format: Electronic Resources

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

2024-06-08T04:45:21Z

by Schneider, Klaus. editor.
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: Electronic Resources

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

2024-06-08T04:45:21Z

by Dahl, Véronica. editor.
http://dx.doi.org/10.1007/978-3-540-74610-2
Format: Electronic Resources

Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings

2024-06-08T04:45:21Z

by Kedad, Zoubida. editor.
http://dx.doi.org/10.1007/978-3-540-73351-5
Format: Electronic Resources

Transactions on Rough Sets VII Commemorating the Life and Work of Zdzisław Pawlak, Part II

2024-06-08T04:45:21Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/978-3-540-71663-1
Format: Electronic Resources

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings

2024-06-08T04:45:21Z

by An, Aijun. editor.
http://dx.doi.org/10.1007/978-3-540-72530-5
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-06-08T04:45:21Z

by Dershowitz, Nachum. editor.
http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Electronic Resources

Conceptual Modeling - ER 2007 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings

2024-06-08T04:45:21Z

by Parent, Christine. editor.
http://dx.doi.org/10.1007/978-3-540-75563-0
Format: Electronic Resources

Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings

2024-06-08T04:45:21Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/978-3-540-74205-0
Format: Electronic Resources

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007. Proceedings

2024-06-08T04:45:21Z

by Basili, Roberto. editor.
http://dx.doi.org/10.1007/978-3-540-74782-6
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-06-08T04:45:21Z

by Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-540-73099-6
Format: Electronic Resources

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

2024-06-08T04:45:21Z

by Krishnamurthi, Shriram. editor.
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: Electronic Resources

Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Kovacs, Tim. editor.
http://dx.doi.org/10.1007/978-3-540-71231-2
Format: Electronic Resources

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007. Proceedings

2024-06-08T04:45:21Z

by Kok, Joost N. editor.
http://dx.doi.org/10.1007/978-3-540-74958-5
Format: Electronic Resources

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007. Proceedings

2024-06-08T04:45:21Z

by Miguel, Ian. editor.
http://dx.doi.org/10.1007/978-3-540-73580-9
Format: Electronic Resources

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

2024-06-08T04:45:21Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-73595-3
Format: Electronic Resources

Dynamic Epistemic Logic

2024-06-08T04:45:21Z

by Ditmarsch, Hans. author.
http://dx.doi.org/10.1007/978-1-4020-5839-4
Format: Electronic Resources

Handbook of Philosophical Logic

2024-06-08T04:45:21Z

by Gabbay, D.M. editor.
http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: Electronic Resources

Handbook of Spatial Logics

2024-06-08T04:45:21Z

by Aiello, Marco. editor.
http://dx.doi.org/10.1007/978-1-4020-5587-4
Format: Electronic Resources

Foundations of Fuzzy Logic and Soft Computing 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007. Proceedings

2024-06-08T04:45:21Z

by Melin, Patricia. editor.
http://dx.doi.org/10.1007/978-3-540-72950-1
Format: Electronic Resources

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings

2024-06-08T04:45:21Z

by Damm, Werner. editor.
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: Electronic Resources

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

2024-06-08T04:45:21Z

by Edelkamp, Stefan. editor.
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: Electronic Resources

Modelling and Reasoning with Vague Concepts

2024-06-08T04:45:21Z

by Lawry, Jonathan. author.
http://dx.doi.org/10.1007/0-387-30262-X
Format: Electronic Resources

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

2024-06-08T04:45:21Z

by Johnson, Michael. editor.
http://dx.doi.org/10.1007/11784180
Format: Electronic Resources

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

2024-06-08T04:45:21Z

by Swart, Harrie. editor.
http://dx.doi.org/10.1007/11964810
Format: Electronic Resources

AI 2006: Advances in Artificial Intelligence 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006. Proceedings

2024-06-08T04:45:21Z

by Sattar, Abdul. editor.
http://dx.doi.org/10.1007/11941439
Format: Electronic Resources

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

2024-06-08T04:45:21Z

by MacCaull, Wendy. editor.
http://dx.doi.org/10.1007/11734673
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

2024-06-08T04:45:21Z

by Toni, Francesca. editor.
http://dx.doi.org/10.1007/11750734
Format: Electronic Resources

Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings

2024-06-08T04:45:21Z

by Goble, Lou. editor.
http://dx.doi.org/10.1007/11786849
Format: Electronic Resources

Computational Processing of the Portuguese Language 7th International Workshop, PROPOR 2006, Itatiaia, Brazil, May 13-17, 2006. Proceedings

2024-06-08T04:45:21Z

by Vieira, Renata. editor.
http://dx.doi.org/10.1007/11751984
Format: Electronic Resources

Advances in Machine Learning and Cybernetics 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Yeung, Daniel S. editor.
http://dx.doi.org/10.1007/11739685
Format: Electronic Resources

Modeling and Retrieval of Context Second International Workshop, MRC 2005, Edinburgh, UK, July 31–August 1, 2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Roth-Berghofer, Thomas R. editor.
http://dx.doi.org/10.1007/11740674
Format: Electronic Resources

Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings

2024-06-08T04:45:21Z

by Missaoui, Rokia. editor.
http://dx.doi.org/10.1007/11671404
Format: Electronic Resources

Computational Linguistics and Intelligent Text Processing 7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006. Proceedings

2024-06-08T04:45:21Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/11671299
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2024-06-08T04:45:21Z

by Hermann, Miki. editor.
http://dx.doi.org/10.1007/11916277
Format: Electronic Resources

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006. Proceedings

2024-06-08T04:45:21Z

by Matsumoto, Yuji. editor.
http://dx.doi.org/10.1007/11940098
Format: Electronic Resources

Agent Technology from a Formal Perspective

2024-06-08T04:45:21Z

by Rouff, Christopher A. editor.
http://dx.doi.org/10.1007/1-84628-271-3
Format: Electronic Resources

Current Topics in Artificial Intelligence 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Marín, Roque. editor.
http://dx.doi.org/10.1007/11881216
Format: Electronic Resources

Fuzzy Systems and Knowledge Discovery Third International Conference, FSKD 2006, Xi’an, China, September 24-28, 2006. Proceedings

2024-06-08T04:45:21Z

by Wang, Lipo. editor.
http://dx.doi.org/10.1007/11881599
Format: Electronic Resources

Knowledge Discovery in Databases: PKDD 2006 10th European Conference on Principles and Practice of Knowledge Discovery in Databases Berlin, Germany, September 18-22, 2006 Proceedings

2024-06-08T04:45:21Z

by Fürnkranz, Johannes. editor.
http://dx.doi.org/10.1007/11871637
Format: Electronic Resources

Machine Learning: ECML 2006 17th European Conference on Machine Learning Berlin, Germany, September 18-22, 2006 Proceedings

2024-06-08T04:45:21Z

by Fürnkranz, Johannes. editor.
http://dx.doi.org/10.1007/11871842
Format: Electronic Resources

Chinese Spoken Language Processing 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006. Proceedings

2024-06-08T04:45:21Z

by Huo, Qiang. editor.
http://dx.doi.org/10.1007/11939993
Format: Electronic Resources

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Hill, Patricia M. editor.
http://dx.doi.org/10.1007/11680093
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings

2024-06-08T04:45:21Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/11681960
Format: Electronic Resources

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Bloch, Isabelle. editor.
http://dx.doi.org/10.1007/11676935
Format: Electronic Resources

Machine Learning Challenges. Evaluating Predictive Uncertainty, Visual Object Classification, and Recognising Tectual Entailment First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Quiñonero-Candela, Joaquin. editor.
http://dx.doi.org/10.1007/11736790
Format: Electronic Resources

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings

2024-06-08T04:45:21Z

by Hagiya, Masami. editor.
http://dx.doi.org/10.1007/11737414
Format: Electronic Resources

Artificial Intelligence and Soft Computing – ICAISC 2006 8th International Conference, Zakopane, Poland, June 25-29, 2006. Proceedings

2024-06-08T04:45:21Z

by Rutkowski, Leszek. editor.
http://dx.doi.org/10.1007/11785231
Format: Electronic Resources

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

2024-06-08T04:45:21Z

by Ésik, Zoltán. editor.
http://dx.doi.org/10.1007/11874683
Format: Electronic Resources

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedings

2024-06-08T04:45:21Z

by Sichman, Jaime Simão. editor.
http://dx.doi.org/10.1007/11874850
Format: Electronic Resources

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

2024-06-08T04:45:21Z

by Kop, Christian. editor.
http://dx.doi.org/10.1007/11765448
Format: Electronic Resources

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-06-08T04:45:21Z

by Ball, Thomas. editor.
http://dx.doi.org/10.1007/11817963
Format: Electronic Resources

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-06-08T04:45:21Z

by Etalle, Sandro. editor.
http://dx.doi.org/10.1007/11799573
Format: Electronic Resources

Algorithmic Learning Theory 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006. Proceedings

2024-06-08T04:45:21Z

by Balcázar, José L. editor.
http://dx.doi.org/10.1007/11894841
Format: Electronic Resources

Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings

2024-06-08T04:45:21Z

by Embley, David W. editor.
http://dx.doi.org/10.1007/11901181
Format: Electronic Resources

MICAI 2006: Advances in Artificial Intelligence 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006. Proceedings

2024-06-08T04:45:21Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/11925231
Format: Electronic Resources

Transactions on Rough Sets V

2024-06-08T04:45:21Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/11847465
Format: Electronic Resources

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2024-06-08T04:45:21Z

by Hnich, Brahim. editor.
http://dx.doi.org/10.1007/11754602
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-06-08T04:45:21Z

by Biere, Armin. editor.
http://dx.doi.org/10.1007/11814948
Format: Electronic Resources

Rough Sets and Current Trends in Computing 5th International Conference, RSCTC 2006 Kobe, Japan, November 6-8, 2006 Proceedings

2024-06-08T04:45:21Z

by Greco, Salvatore. editor.
http://dx.doi.org/10.1007/11908029
Format: Electronic Resources

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings

2024-06-08T04:45:21Z

by Schmidt, Renate A. editor.
http://dx.doi.org/10.1007/11828563
Format: Electronic Resources

Computational Intelligence International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II

2024-06-08T04:45:21Z

by Huang, De-Shuang. editor.
http://dx.doi.org/10.1007/11816171
Format: Electronic Resources

Logics in Artificial Intelligence 10th European Conference, JELIA 2006 Liverpool, UK, September 13-15, 2006 Proceedings

2024-06-08T04:45:21Z

by Fisher, Michael. editor.
http://dx.doi.org/10.1007/11853886
Format: Electronic Resources

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

2024-06-08T04:45:21Z

by Calmet, Jacques. editor.
http://dx.doi.org/10.1007/11856290
Format: Electronic Resources

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers

2024-06-08T04:45:21Z

by Yli-Jyrä, Anssi. editor.
http://dx.doi.org/10.1007/11780885
Format: Electronic Resources

Rough Sets and Knowledge Technology First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006. Proceedings

2024-06-08T04:45:21Z

by Wang, Guo-Ying. editor.
http://dx.doi.org/10.1007/11795131
Format: Electronic Resources

Advances in Natural Language Processing 5th International Conference on NLP, FinTAL 2006 Turku, Finland, August 23-25, 2006 Proceedings

2024-06-08T04:45:21Z

by Salakoski, Tapio. editor.
http://dx.doi.org/10.1007/11816508
Format: Electronic Resources

Grammatical Inference: Algorithms and Applications 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings

2024-06-08T04:45:21Z

by Sakakibara, Yasubumi. editor.
http://dx.doi.org/10.1007/11872436
Format: Electronic Resources

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

2024-06-08T04:45:21Z

by Hong, Hoon. editor.
http://dx.doi.org/10.1007/11615798
Format: Electronic Resources

Learning Theory 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings

2024-06-08T04:45:21Z

by Lugosi, Gábor. editor.
http://dx.doi.org/10.1007/11776420
Format: Electronic Resources

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-06-08T04:45:21Z

by Furbach, Ulrich. editor.
http://dx.doi.org/10.1007/11814771
Format: Electronic Resources

Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

2024-06-08T04:45:21Z

by Alferes, Jóse Júlio. editor.
http://dx.doi.org/10.1007/11853107
Format: Electronic Resources

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy

2024-06-08T04:45:21Z

by Kohlhase, Michael. author.
http://dx.doi.org/10.1007/11826095
Format: Electronic Resources

Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello

2024-06-08T04:45:21Z

by Stock, Oliviero. editor.
http://dx.doi.org/10.1007/11829263
Format: Electronic Resources

Database Theory – ICDT 2007 11th International Conference, Barcelona, Spain, January 10-12, 2007. Proceedings

2024-06-08T04:45:21Z

by Schwentick, Thomas. editor.
http://dx.doi.org/10.1007/11965893
Format: Electronic Resources

Principles and Practice of Constraint Programming - CP 2006 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings

2024-06-08T04:45:21Z

by Benhamou, Frédéric. editor.
http://dx.doi.org/10.1007/11889205
Format: Electronic Resources

The Seventeen Provers of the World Foreword by Dana S. Scott

2024-06-08T04:45:21Z

by Wiedijk, Freek. editor.
http://dx.doi.org/10.1007/11542384
Format: Electronic Resources

Conceptual Structures: Inspiration and Application 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings

2024-06-08T04:45:21Z

by Schärfe, Henrik. editor.
http://dx.doi.org/10.1007/11787181
Format: Electronic Resources

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

2024-06-08T04:45:21Z

by Pfenning, Frank. editor.
http://dx.doi.org/10.1007/11805618
Format: Electronic Resources

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

2024-06-08T04:45:21Z

by Roth-Berghofer, Thomas R. editor.
http://dx.doi.org/10.1007/11805816
Format: Electronic Resources

Artificial Intelligence and Neural Networks 14th Turkish Symposium, TAINN 2005, Izmir, Turkey, June 16-17, 2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Savacı, F. Acar. editor.
http://dx.doi.org/10.1007/11803089
Format: Electronic Resources

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

2024-06-08T04:45:21Z

by Filliâtre, Jean-Christophe. editor.
http://dx.doi.org/10.1007/11617990
Format: Electronic Resources

Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology

2024-06-08T04:45:21Z

by Lee, Raymond S. T. author.
http://dx.doi.org/10.1007/3-540-30984-5
Format: Electronic Resources

Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers

2024-06-08T04:45:21Z

by Gesú, Vito. editor.
http://dx.doi.org/10.1007/10983652
Format: Electronic Resources

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

2024-06-08T04:45:21Z

by Mycroft, Alan. editor.
http://dx.doi.org/10.1007/11688839
Format: Electronic Resources

Neural Nets 16th Italian Workshop on Neural Nets, WIRN 2005, and International Workshop on Natural and Artificial Immune Systems, NAIS 2005, Vietri sul Mare, Italy, June 8-11, 2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Apolloni, Bruno. editor.
http://dx.doi.org/10.1007/11731177
Format: Electronic Resources

Coordination of Large-Scale Multiagent Systems

2024-06-08T04:45:21Z

by Scerri, Paul. editor.
http://dx.doi.org/10.1007/0-387-27972-5
Format: Electronic Resources

Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability

2024-06-08T04:45:21Z

by Hutter, Marcus. author.
http://dx.doi.org/10.1007/b138233
Format: Electronic Resources

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

2024-06-08T04:45:21Z

by Hurd, Joe. editor.
http://dx.doi.org/10.1007/11541868
Format: Electronic Resources

Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings

2024-06-08T04:45:21Z

by Montoyo, Andrés. editor.
http://dx.doi.org/10.1007/b136569
Format: Electronic Resources

AI 2005: Advances in Artificial Intelligence 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005. Proceedings

2024-06-08T04:45:21Z

by Zhang, Shichao. editor.
http://dx.doi.org/10.1007/11589990
Format: Electronic Resources

MICAI 2005: Advances in Artificial Intelligence 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005. Proceedings

2024-06-08T04:45:21Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/11579427
Format: Electronic Resources

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part II

2024-06-08T04:45:21Z

by Ślęzak, Dominik. editor.
http://dx.doi.org/10.1007/11548706
Format: Electronic Resources

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2024-06-08T04:45:21Z

by Baral, Chitta. editor.
http://dx.doi.org/10.1007/11546207
Format: Electronic Resources

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-06-08T04:45:21Z

by Bacchus, Fahiem. editor.
http://dx.doi.org/10.1007/b137280
Format: Electronic Resources

AI*IA 2005: Advances in Artificial Intelligence 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings

2024-06-08T04:45:21Z

by Bandini, Stefania. editor.
http://dx.doi.org/10.1007/11558590
Format: Electronic Resources

Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings

2024-06-08T04:45:21Z

by Muñoz-Ávila, Héctor. editor.
http://dx.doi.org/10.1007/11536406
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

2024-06-08T04:45:21Z

by Leite, João. editor.
http://dx.doi.org/10.1007/11533092
Format: Electronic Resources

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

2024-06-08T04:45:21Z

by Nieuwenhuis, Robert. editor.
http://dx.doi.org/10.1007/11532231
Format: Electronic Resources

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

2024-06-08T04:45:21Z

by Faltings, Boi V. editor.
http://dx.doi.org/10.1007/b106890
Format: Electronic Resources

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

2024-06-08T04:45:21Z

by Middeldorp, Aart. editor.
http://dx.doi.org/10.1007/11601548
Format: Electronic Resources

Formal Concept Analysis Foundations and Applications

2024-06-08T04:45:21Z

by Ganter, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-31881-1
Format: Electronic Resources

Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings

2024-06-08T04:45:21Z

by Zucker, Jean-Daniel. editor.
http://dx.doi.org/10.1007/11527862
Format: Electronic Resources

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

2024-06-08T04:45:21Z

by Fages, François. editor.
http://dx.doi.org/10.1007/11552222
Format: Electronic Resources

Logical Aspects of Computational Linguistics 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings

2024-06-08T04:45:21Z

by Blache, Philippe. editor.
http://dx.doi.org/10.1007/b136076
Format: Electronic Resources

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2024-06-08T04:45:21Z

by Bodik, Rastislav. editor.
http://dx.doi.org/10.1007/b107108
Format: Electronic Resources

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings

2024-06-08T04:45:21Z

by Gabbrielli, Maurizio. editor.
http://dx.doi.org/10.1007/11562931
Format: Electronic Resources

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2024-06-08T04:45:21Z

by Borrione, Dominique. editor.
http://dx.doi.org/10.1007/11560548
Format: Electronic Resources

Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

2024-06-08T04:45:21Z

by Dix, Jürgen. editor.
http://dx.doi.org/10.1007/b104175
Format: Electronic Resources

Natural Language Processing – IJCNLP 2004 First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers

2024-06-08T04:45:21Z

by Su, Keh-Yih. editor.
http://dx.doi.org/10.1007/b105612
Format: Electronic Resources

Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II

2024-06-08T04:45:21Z

by Wang, Lipo. editor.
http://dx.doi.org/10.1007/11540007
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

2024-06-08T04:45:21Z

by Moreno Díaz, Roberto. editor.
http://dx.doi.org/10.1007/11556985
Format: Electronic Resources

Conditionals, Information, and Inference International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers

2024-06-08T04:45:21Z

by Kern-Isberner, Gabriele. editor.
http://dx.doi.org/10.1007/b107184
Format: Electronic Resources

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

2024-06-08T04:45:21Z

by Etalle, Sandro. editor.
http://dx.doi.org/10.1007/b137785
Format: Electronic Resources

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

2024-06-08T04:45:21Z

by Etessami, Kousha. editor.
http://dx.doi.org/10.1007/b138445
Format: Electronic Resources

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005. Proceedings

2024-06-08T04:45:21Z

by Gama, João. editor.
http://dx.doi.org/10.1007/11564096
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings

2024-06-08T04:45:21Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/978-3-540-31883-5
Format: Electronic Resources

Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

2024-06-08T04:45:21Z

by Ganter, Bernhard. editor.
http://dx.doi.org/10.1007/b105806
Format: Electronic Resources

Conceptual Structures: Common Semantics for Sharing Knowledge 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005. Proceedings

2024-06-08T04:45:21Z

by Dau, Frithjof. editor.
http://dx.doi.org/10.1007/978-3-540-31885-9
Format: Electronic Resources

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

2024-06-08T04:45:21Z

by Godo, Lluís. editor.
http://dx.doi.org/10.1007/b138862
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-06-08T04:45:21Z

by Baader, Franz. editor.
http://dx.doi.org/10.1007/b106931
Format: Electronic Resources

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-06-08T04:45:21Z

by Sutcliffe, Geoff. editor.
http://dx.doi.org/10.1007/11591191
Format: Electronic Resources

Transactions on Rough Sets II Rough Sets and Fuzzy Sets

2024-06-08T04:45:21Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/b100633
Format: Electronic Resources

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

2024-06-08T04:45:21Z

by Webb, Geoffrey I. editor.
http://dx.doi.org/10.1007/b104336
Format: Electronic Resources

Transactions on Rough Sets IV

2024-06-08T04:45:21Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/11574798
Format: Electronic Resources

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

2024-06-08T04:45:21Z

by Giesl, Jürgen. editor.
http://dx.doi.org/10.1007/b135673
Format: Electronic Resources

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

2024-06-08T04:45:21Z

by Ong, Luke. editor.
http://dx.doi.org/10.1007/11538363
Format: Electronic Resources

Algorithmic Learning Theory 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings

2024-06-08T04:45:21Z

by Jain, Sanjay. editor.
http://dx.doi.org/10.1007/11564089
Format: Electronic Resources

Natural Language Processing – IJCNLP 2005 Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005. Proceedings

2024-06-08T04:45:21Z

by Dale, Robert. editor.
http://dx.doi.org/10.1007/11562214
Format: Electronic Resources

Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings

2024-06-08T04:45:21Z

by Delcambre, Lois. editor.
http://dx.doi.org/10.1007/11568322
Format: Electronic Resources

Deterministic and Statistical Methods in Machine Learning First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures

2024-06-08T04:45:21Z

by Winkler, Joab. editor.
http://dx.doi.org/10.1007/11559887
Format: Electronic Resources

Modeling and Using Context 5thInternational and Interdisciplinary Conference CONTEXT 2005, Paris, France, July 5-8, 2005. Proceedings

2024-06-08T04:45:21Z

by Dey, Anind. editor.
http://dx.doi.org/10.1007/b137917
Format: Electronic Resources

Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005. Proceedings

2024-06-08T04:45:21Z

by Perner, Petra. editor.
http://dx.doi.org/10.1007/b138149
Format: Electronic Resources

Discrete, Continuous, and Hybrid Petri Nets

2024-06-08T04:45:21Z

by David, René. author.
http://dx.doi.org/10.1007/b138130
Format: Electronic Resources

Database Theory - ICDT 2005 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

2024-06-08T04:45:21Z

by Eiter, Thomas. editor.
http://dx.doi.org/10.1007/b104421
Format: Electronic Resources

Knowledge Discovery in Databases: PKDD 2005 9th European Conference on Principles and Practice of Knowledge Discovery in Databases, Porto, Portugal, October 3-7, 2005. Proceedings

2024-06-08T04:45:21Z

by Jorge, Alípio Mário. editor.
http://dx.doi.org/10.1007/11564126
Format: Electronic Resources

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I

2024-06-08T04:45:21Z

by Ślęzak, Dominik. editor.
http://dx.doi.org/10.1007/11548669
Format: Electronic Resources

Fuzzy Systems and Knowledge Discovery Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I

2024-06-08T04:45:21Z

by Wang, Lipo. editor.
http://dx.doi.org/10.1007/11539506
Format: Electronic Resources

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-06-08T04:45:21Z

by Hoos, Holger H. editor.
http://dx.doi.org/10.1007/11527695
Format: Electronic Resources

Computational Linguistics and Intelligent Text Processing 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings

2024-06-08T04:45:21Z

by Gelbukh, Alexander. editor.
http://dx.doi.org/10.1007/b105772
Format: Electronic Resources

Principles and Practice of Constraint Programming - CP 2005 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005. Proceedings

2024-06-08T04:45:21Z

by Beek, Peter. editor.
http://dx.doi.org/10.1007/11564751
Format: Electronic Resources

Transactions on Rough Sets III

2024-06-08T04:45:21Z

by Peters, James F. editor.
http://dx.doi.org/10.1007/b136502
Format: Electronic Resources

Inductive Logic Programming 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005. Proceedings

2024-06-08T04:45:21Z

by Kramer, Stefan. editor.
http://dx.doi.org/10.1007/11536314
Format: Electronic Resources

Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings

2024-06-08T04:45:21Z

by Gramlich, Bernhard. editor.
http://dx.doi.org/10.1007/11559306
Format: Electronic Resources

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-06-08T04:45:21Z

by Hutter, Dieter. editor.
http://dx.doi.org/10.1007/b106663
Format: Electronic Resources

Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings

2024-06-08T04:45:21Z

by Auer, Peter. editor.
http://dx.doi.org/10.1007/b137542
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

2024-06-08T04:45:21Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/11554554
Format: Electronic Resources

Constraint Solving and Language Processing First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

2024-06-08T04:45:21Z

by Christiansen, Henning. editor.
http://dx.doi.org/10.1007/b136253
Format: Electronic Resources