Automated Reasoning by David Basin
This volume constitutes the proceedings of the 2nd International Joint C- ference on Automated Reasoning (IJCAR 2004) held July 4-8, 2004 in Cork, Ireland. IJCAR 2004 continued the tradition established at the ?rst IJCAR in Siena,Italyin2001,whichbroughttogetherdi'erentresearchcommunitieswo- ing in automated reasoning. The current IJCAR is the fusion of the following conferences: CADE: The International Conference on Automated Deduction, CALCULEMUS: Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, FroCoS: Workshop on Frontiers of Combining Systems, FTP: The International Workshop on First-Order Theorem Proving, and TABLEAUX: The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. There were 74 research papers submitted to IJCAR as well as 12 system descriptions. After extensive reviewing, 26 research papers and 6 system - scriptions were accepted for presentation at the conference and publication in this volume. In addition, this volume also contains papers from the three invited speakers and a description of the CADE ATP system competition. We would like to acknowledge the enormous amount of work put in by the members of the program committee, the various organizing and steering c- mittees, the IJCAR o'cials, the invited speakers, and the additional referees named on the following pages. We would also like to thank Achim Brucker and Barbara Geiser for their help in producing this volume.-
Computational Logic in Multi-Agent Systems
-
The Design of Intelligent Agents
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Computational and Corpus-Based Phraseology
-
Argumentation in Multi-Agent Systems
-
New Frontiers in Applied Data Mining
-
Automated Deduction in Geometry
-
Automated Reasoning with Analytic Tableaux and Related Methods
-
Machine Learning and Knowledge Discovery in Databases
-
Agent and Multi-Agent Systems: Technologies and Applications
-
Modeling Decisions for Artificial Intelligence
-
Explainable, Transparent Autonomous Agents and Multi-Agent Systems
-
Scalable Uncertainty Management
-
Artificial Intelligence in Education
-
Natural Language Processing and Chinese Computing
-
Artificial Intelligence in Medicine
-
Foundations of Intelligent Systems
-
Trends and Applications in Knowledge Discovery and Data Mining
-
Biomimetic and Biohybrid Systems
-
Engineering Psychology and Cognitive Ergonomics
-
Theory and Applications of Formal Argumentation
-
Towards Autonomous Robotic Systems
-
Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection
-
Chinese Lexical Semantics
-
Intelligent Information and Database Systems
-
Foundations of Augmented Cognition. Advancing Human Performance and Decision-Making through Adaptive Systems
-
Advances in Knowledge Discovery and Data Mining
-
Advances in Artificial Intelligence
-
Artificial Intelligence
-
Case-Based Reasoning Research and Development
-
Artificial Intelligence and Soft Computing
-
Intelligent Systems
-
Advances in Nonlinear Speech Processing
-
AI 2024: Advances in Artificial Intelligence
-
Automata for Branching and Layered Temporal Structures
-
Integrated Uncertainty in Knowledge Modelling and Decision Making
-
Applications of Declarative Programming and Knowledge Management
-
Advances in Knowledge Discovery and Data Mining, Part II
-
The Multi-Agent Programming Contest 2019
-
Formal Concept Analysis
Prof. Dr. David Basin is the Chair of Information Security at ETH Z�rich; his research focuses on information security, in particular methods and tools for modeling, building, and validating secure and reliable systems. Dr. Patrick Schaller is a lecturer at ETH Z�rich, his research is concerned with the formalization and analysis of security protocols. Michael Schl�pfer is a graduate student of ETH Z�rich.
| SKU | Unavailable |
| ISBN 13 | 9783540223450 |
| ISBN 10 | 3540223452 |
| Title | Automated Reasoning |
| Author | David Basin |
| Series | Lecture Notes In Artificial Intelligence |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2004-06-22 |
| Number of pages | 491 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |