Complexity of and Algorithms for Borda Manipulation

Complexity of Nested Circumscription and Nested Abnormality Theories

Complexity of Prioritized Default Logics

Complexity of Terminating Preference Elicitation

Complexity Results and Approximation Strategies for MAP Explanations

Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences

Compositional Semantics Grounded in Commonsense Metaphysics

Comprehension and retrieval of failure cases in airborne observatories

Compressed Inference for Probabilistic Sequential Models

Compressing Binary Decision Diagrams

Computational Aspects of Reordering Plans

Computational Intelligence Characterization Method of Semiconductor Device

Computational Model of Music Sight Reading: A Reinforcement Learning Approach

Computational Understanding and Manipulation of Symmetries

Computer modeling of feelings and emotions: a quantitative neural network model of the feeling-of-knowing

Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract)

Computing Presuppositions by Contextual Reasoning

Computing with Logic as Operator Elimination: The ToyElim System

Concept of E-machine: How does a "dynamical" brain learn to process "symbolic" information? Part I

Concept Relation Discovery and Innovation Enabling Technology (CORDIET)