Follow

Submissions from 2000

Link

Dislocated Topologies, Pascal Hitzler and Anthony K. Seda

PDF

Dimensionality Reduction Using Genetic Algorithms, Michael L. Raymer, William F. Punch, Erik D. Goodman, Leslie A. Kuhn, and Anil K. Jain

PDF

A New Fixed-Point Theorem for Logic Programming Semantics, Anthony K. Seda and Pascal Hitzler

PDF

Classes of Logic Programs which Possess Unique Supported Models, Anthony K. Seda and Pascal Hitzler

Link

Compensating for Sparse Data in Evolutionary Generation of Fuzzy Models, Daniel Spiegel and Thomas Sudkamp

Nonmonotonic logic, Thomas Sudkamp

Link

Similarity as a Foundation for Possibility, Thomas Sudkamp

Link

A Greedy Approach to Rule Reduction in Fuzzy Models, Thomas Sudkamp, Aaron Knapp, and Jon Knapp

Candidate Subcircuits for Functional Module Identification in Logic Circuits, Jennifer L. White, Anthony S. Wojcik, Moon-Jung Chung, and Travis E. Doom

Submissions from 1999

Link

18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, Rajesh N. Dave and Thomas Sudkamp

Design Recovery for Incomplete Combinational Logic, Travis E. Doom, Anthony S. Wojcik, and Moon-Jung Chung

Acceptable Programs Revisited, Pascal Hitzler and Anthony K. Seda

PDF

Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases, Pascal Hitzler and Anthony K. Seda

Link

Some Issues Concerning Fixed-Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and the Knaster-Tarski Theorem, Pascal Hitzler and Anthony K. Seda

PDF

How Proteins Fold, Flex, and Bind Other Molecules, Leslie A. Kuhn, Volker Schnecke, Michael L. Raymer, and Paul C. Sanschagrin

Visualization of Temporal Distances, Gerik Scheuermann and Thomas Wischgoll

A Characterization of Acceptability, Anthony K. Seda and Pascal Hitzler

PDF

Characterizations of Classes of Programs by Three-Valued Operators, Anthony K. Seda and Pascal Hitzler

Learning, Adaptivity, and Complexity in a Hierarchical Fuzzy Model, Thomas Sudkamp and Robert J. Hammell II

Link

Evolutionary Strategies for Fuzzy Models: Local vs Global Construction, Thomas Sudkamp and Daniel Spiegel

Submissions from 1998

Identifying High-Level Components in Combinational Circuits, Travis E. Doom, Jennifer L. White, Anthony S. Wojcik, and Greg Chisholm

Link

Learning Fuzzy Rules from Data, Robert J. Hammell II and Thomas Sudkamp

Strong and Weak Topologies, Pascal Hitzler

PDF

Strictly Level-Decreasing Logic Programs, Pascal Hitzler and Anthony K. Seda

Link

Identifying the Determinants of Conserved Protein Solvation, Michael L. Raymer, Paul C. Sanschagrin, and Leslie A. Kuhn

Link

Elucidating the Determinants of Conserved Protein Surface Solvation Using a Genetic Algorithm and Nearest Neighbor Classifier, Michael L. Raymer, Paul C. Sanschagrin, William F. Punch, Erik D. Goodman, and Leslie A. Kuhn

PDF

Generalized Ultrametrics, Domains and an Application to Computational Logic, Anthony K. Seda and Pascal Hitzler

Link

Granularity and Specificity in Fuzzy Function Approximation, Thomas Sudkamp and Robert J. Hammell II

Scalability in Fuzzy Rule-based Learning, Thomas Sudkamp and Robert J. Hammell II

Link

Generation of Fuzzy Models via Evolutionary Strategies, Thomas Sudkamp and Daniel Spiegel

Submissions from 1997

Reengineering from Partial Specifications through BDD Representation of Functional Constraint, Travis E. Doom and Anthony S. Wojcik

Link

A Fuzzy Model for Learning and Adaptivity, Robert J. Hammell II and Thomas Sudkamp

Der Kontraktionssatz auf metrischen Raumen, Pascal Hitzler

Fixpunktsemantik, Pascal Hitzler

PDF

Fixpunktsemantik Logischer Programme, Pascal Hitzler

PDF

Topology and Logic Programming Semantics, Pascal Hitzler

Link

Simultaneous Feature Extraction and Selection Using a Masking Genetic Algorithm, Michael L. Raymer, William F. Punch, Erik D. Goodman, Paul C. Sanschagrin, and Leslie A. Kuhn

Link

Discovering the Chemistry of Conserved First-Shell and Active-Site Hydration in Proteins Using Pattern Classification with a Genetic Algorithm, Michael L. Raymer, William F. Punch, Paul C. Sanschagrin, Erik D. Goodman, and Leslie A. Kuhn

Predicting Conserved Water-Mediated and Polar Ligand Interactions in Proteins Using a K-nearest-neighbors Genetic Algorithm, Michael L. Raymer, Paul C. Sanschagrin, William F. Punch, Sridhar Venkataraman, Erik D. Goodman, and Leslie A. Kuhn

Link

Sur Les Programmes Logiques Localement Stratifi'es, Anthony K. Seda and Pascal Hitzler

Link

Topology and Iterates in Computational Logic, Anthony K. Seda and Pascal Hitzler

Link

Learning Algorithms and Dimensionality, Thomas Sudkamp and Robert J. Hammell II

Link

Candidate Subcircuit Generation to Facilitate Identification of High-Level Components in Logic Circuits, Jennifer L. White, Travis E. Doom, Anthony S. Wojcik, Moon-Jung Chung, and Greg Chisholm

Link

An Approach to the Redesign of Digital Circuits from Partial Information, Anthony S. Wojcik, C. Wey, Travis E. Doom, and J. Samarziya

Submissions from 1996

Link

Beyond RISC - The Post-RISC Architecture, Mark Brehob, Travis E. Doom, Richard Enbody, William H. Moore, Sherry Q. Moore, Ron Sass, and Charles Severance

PDF

Spieltheorie, Alexander Chocholaty and Pascal Hitzler

Geometric Compatibility Modification, Valerie Cross and Thomas Sudkamp

An Adaptive Hierarchical Fuzzy Model, Robert J. Hammell II and Thomas Sudkamp

Link

Predicting and Analyzing Determinants of Water-Mediated Ligand Recognition, Leslie A. Kuhn, Michael L. Raymer, William F. Punch, Paul C. Sanschagrin, and Erik D. Goodman

Link

Genetic Programming for Improved Data Mining: Application to the Biochemistry of Protein Interactions, Michael L. Raymer, William F. Punch, Erik D. Goodman, and Leslie A. Kuhn

Link

A Fuzzy-valued Matching Index, Thomas Sudkamp and Valerie Cross

Link

Toward Fuzzy-valued Matching and Similarity Assessment, Thomas Sudkamp and Valerie Cross

Rule base Completion in Fuzzy Models, Thomas Sudkamp and Robert J. Hammell II

Submissions from 1995

Link

Adaptivity in a Hierarchical Fuzzy Model, Robert J. Hammell II and Thomas Sudkamp

A Two Level Architecture for Fuzzy Learning, Robert J. Hammell II and Thomas Sudkamp

PDF

Predicting Conserved Water-Mediated Interactions in Protein Active Sites, Michael L. Raymer, Sridhar Venkataraman, William F. Punch, Erik D. Goodman, and Brenda Kuhn

Submissions from 1994

Link

Geometric Plausible Inference, Valerie Cross and Thomas Sudkamp

Link

Patterns of Fuzzy Rule-based Inference, Valerie Cross and Thomas Sudkamp

Interpolation, Completion, and Learning Fuzzy Rules, Thomas Sudkamp

Submissions from 1993

Link

Fuzzy Implication and Compatibility Modification, Valerie Cross and Thomas Sudkamp

Geometric Measures of Possibilisitic Uncertainty, Thomas Sudkamp

Similarity, Interpolation, and Fuzzy Rule Construction, Thomas Sudkamp

Submissions from 1992

Unification based FP Interpreters, Chris Fickert and Thomas Sudkamp

On Probability-possibility Transformations, Thomas Sudkamp

Link

The Consistency of Dempster-Shafer Updating, Thomas Sudkamp

The Semantics of Plausibility and Possibility, Thomas Sudkamp

Submissions from 1991

Link

A Comparison of Probabilistic Methods for Classification, M. B. Clausing and Thomas Sudkamp

Link

Iterative, Probabilistic Classification Using Uncertain Information, M. B. Clausing and Thomas Sudkamp

Link

Compatibility and Aggregation in Fuzzy Evidential Reasoning, Valerie Cross and Thomas Sudkamp

Link

Representation and Support Generation in Fuzzy Relational Databases, Valerie Cross and Thomas Sudkamp

Submissions from 1990

Link

A Probabilistic Iterative Architecture for Classification, M. B. Clausing and Thomas Sudkamp

Link

Evaluation of Approximate Reasoning Methodologies, Valerie Cross and Thomas Sudkamp

Submissions from 1989

Link

Fuzzy Evidential Reasoning, Thomas Sudkamp

Link

Selection of Subdomains in Hierarchic Path Generation, Thomas Sudkamp and Jill Courte

Submissions from 1988

PDF

Transformation Based Endorsement Systems, Thomas Sudkamp

Link

Hierarchic Path Generation, Thomas Sudkamp, Carl Lizza, and Charles Wagner

Submissions from 1987

Domain Independent Support Propagation Architectures, Thomas Sudkamp

Link

Analysis of Heuristic Search Models, Thomas Sudkamp and Robert Shanahan

Submissions from 1986

Link

Grammers for Functional Languages, Thomas Sudkamp

Link

Inference Propagation in Emitter, System Hierarchies, Thomas Sudkamp

Submissions from 1984

Link

Towards a Better Understanding of Bidirectional Search, Henry W. Davis, Randy B. Pollack, and Thomas Sudkamp

Submissions from 1979

Link

On Full Cylindric Set Algebras, Thomas Sudkamp

Submissions from 1978

Link

An Additional Remark on Self-conjugate Functions of Boolean Algebras, Thomas Sudkamp

Link

Self-conjugate Functions on Boolean Algebras, Thomas Sudkamp

Submissions from 1976

Link

A Proof of Sobociński's Conjecture Concerning a Certain set of Lattice-theoretical Formulas, Thomas Sudkamp