Symbolic and Quantitative Approaches to Reasoning with Uncertainty 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings /

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Nielsen, Thomas D. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Zhang, Nevin L. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:	1st ed. 2003.
Σειρά:	Lecture Notes in Artificial Intelligence ; 2711
Θέματα:	Artificial intelligence. Computer science. Mathematical logic. Artificial Intelligence. Science, Humanities and Social Sciences, multidisciplinary. Computer Science, general. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
Έκδοση: (2003)

Advances in Learning Classifier Systems 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers /
Έκδοση: (2002)

The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic /
ανά: Dau, Frithjof, κ.ά.
Έκδοση: (2003)

Inductive Synthesis of Functional Programs Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning /
ανά: Schmid, Ute, κ.ά.
Έκδοση: (2003)

Building Theories Heuristics and Hypotheses in Sciences /
Έκδοση: (2018)

Advances in Artificial Intelligence 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings /
Έκδοση: (2003)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings /
Έκδοση: (2003)

Developments in Language Theory 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings /
Έκδοση: (2003)

Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings /
Έκδοση: (2003)

Symbolic and Quantitative Approaches to Reasoning and Uncertainty European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings /
Έκδοση: (1999)

Computational Processing of the Portuguese Language 6th International Workshop, PROPOR 2003, Faro, Portugal, June 26-27, 2003. Proceedings /
Έκδοση: (2003)

Multi-Agent Systems and Applications III 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 2003, Proceedings /
Έκδοση: (2003)

Innovative Concepts for Agent-Based Systems First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers /
Έκδοση: (2003)

Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings /
Έκδοση: (2004)

Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /
Έκδοση: (2001)

Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
Έκδοση: (1998)

Developments in Language Theory 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers /
Έκδοση: (2003)

Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers /
Έκδοση: (2003)

Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /
Έκδοση: (2002)

Adaptive Agents and Multi-Agent Systems Adaptation and Multi-Agent Learning /
Έκδοση: (2003)

Formal Approaches to Agent-Based Systems Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers /
Έκδοση: (2003)

Advanced Lectures on Machine Learning Machine Learning Summer School 2002, Canberra, Australia, February 11-22, 2002, Revised Lectures /
Έκδοση: (2003)

Graph Based Representations in Pattern Recognition 4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings /
Έκδοση: (2003)

Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
Έκδοση: (1997)

Inductive Logic Programming 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers /
Έκδοση: (2003)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings /
Έκδοση: (2001)

Beyond Two: Theory and Applications of Multiple-Valued Logic
Έκδοση: (2003)

OpenMP Shared Memory Parallel Programming International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings /
Έκδοση: (2003)

Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (2018)

Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (2018)

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
Έκδοση: (2018)

Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
Έκδοση: (2002)

Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
Έκδοση: (2003)

Artificial Immune Systems Second International Conference, ICARIS 2003, Edinburgh, UK, September 1-3, 2003, Proceedings /
Έκδοση: (2003)

Principles and Practice of Constraint Programming - CP 2003 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings /
Έκδοση: (2003)

Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers /
Έκδοση: (2003)

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
Έκδοση: (2018)

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings /
Έκδοση: (2018)

Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
Έκδοση: (2002)

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Έκδοση: (2002)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_2c4mr53arenmkqp5ursf98npj9