Corpus based Enrichment of GermaNet Verb Frames

Cost Based Satisficing Search Considered Harmful

Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm

Covering rough sets based on neighborhoods: An approach without using neighborhoods

Cox's Theorem Revisited

CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming

CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements

Creating a new Ontology: a Modular Approach

Creating Intelligent Linking for Information Threading in Knowledge Networks

Creating Prototypes for Fast Classification in Dempster-Shafer Clustering

CTL Model Update for System Modifications

Cumulative and Averaging Fission of Beliefs

Cutset Sampling for Bayesian Networks