MPG.eBooks - Search Results

181

Non-Standard Inferences in Description Logics : From Foundations and Definitions to Algorithms and Analysis

by Küsters, Ralf
Published 2001

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

182

Logics in Artificial Intelligence : European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... about Actions in Prioritized Default Theory -- Towards a Conditional Logic of Actions and Causation...”

Read Now

183

Data Mining Using Grammar Based Genetic Programming and Applications

by Man Leung Wong, Kwong Sak Leung
Published 2002

Springer US

Subjects: “...Data Structures and Information Theory...”

Read Now

184

Logics in Artificial Intelligence : 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Table of Contents: “... -- Verifying Communicating Agents by Model Checking in a Temporal Action Logic -- Qualitative Action Theory...”

Read Now

185

Fuzzy Modeling and Control

by Piegat, Andrzej
Published 2001

Physica

Table of Contents: “...1. Introduction -- 1.1 Essence of fuzzy set theory -- 1.2 Development of fuzzy set theory -- 2...”

Read Now

186

Conceptual Structures: Broadening the Base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Theory Building -- Conceptual Structures for Data and Knowledge Bases -- Searching for Objects...”

Read Now

187

Conceptual Structures: Logical, Linguistic, and Computational Issues : 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proce...

Published 2000

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

188

Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... Proof Construction in Type Theory Using Resolution -- System Description: TPS: A Theorem Proving System...”

Read Now

189

Advances in Case-Based Reasoning : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

190

Conceptual Structures: Standards and Practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

191

Understanding Understanding : Essays on Cybernetics and Cognition

by Foerster, Heinz von
Published 2003

Springer New York

Subjects: “...Control theory...”

Read Now

192

Active Fault Tolerant Control Systems : Stochastic Analysis and Synthesis

by Mahmoud, Mufeed, Jiang, Jin, Zhang, Youmin
Published 2003

Springer Berlin Heidelberg

Subjects: “...Control and Systems Theory...”

Read Now

193

Propositional, Probabilistic and Evidential Reasoning : Integrating Numerical and Symbolic Approaches

by Liu, Weiru
Published 2001

Physica

Table of Contents: “... to Symbolic Assignments -- 5 Combining Multiple Pieces of Evidence -- 6 The Dempster-Shafer Theory of Evidence...”

Read Now

194

Color Image Processing and Applications

by Plataniotis, Konstantinos N., Venetsanopoulos, Anastasios N.
Published 2000

Springer Berlin Heidelberg

Subjects: “...Coding and Information Theory...”

Read Now

195

Developments in Applied Artificial Intelligence : 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 20...

Published 2003

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

196

Word Equations and Related Topics : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings

Published 1992

Springer Berlin Heidelberg

Table of Contents: “... for word equations-two improvements and a generalization -- Unification theory -- Algebraic and logical...”

Read Now

197

Combinatorial Pattern Matching : 12th Annual Symposium, CPM 2001 Jerusalem, Israel, July 1-4, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... of the Hannenhalli-Pevzner Theory -- Tandem Cyclic Alignment -- An Output-Sensitive Flexible Pattern Discovery...”

Read Now

198

Combinatorial Pattern Matching : Fifth Annual Symposium, CPM '94, Asilomar, CA, USA, June 5 - 8, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Subjects: “...Coding and Information Theory...”

Read Now

199

AI 2002: Advances in Artificial Intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... -- Learning Theory I -- Agents -- Intelligent Systems -- Bayesian Reasoning and Classification -- Evolutionary...”

Read Now

200

Engineering of Intelligent Systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest,...

Published 2001

Springer Berlin Heidelberg

Table of Contents: “... Design with Customer Preferences -- Applying Logic of Information Flow and Situation Theory to Model...”

Narrow Search