| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 343-357 | Maier, Patrick | [Gordon, Andrew D.] | 2003 | Proceedings Article |
| Compositional Termination Analysis of Symbolic Forward Analysis
In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, 109-125 | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | [Cortesi, Agostino] | 2002 | Proceedings Article |
| Computational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes | Weidenbach, Christoph | | 1996 | Thesis - PhD thesis |
| Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare] | [Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans | 2006 | Electronic Proceedings Article |
| Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367 | Nonnengart, Andreas
Weidenbach, Christoph | [Robinson, Alan]
[Voronkov, Andrei] | 2001 | Part of a Book |
| Computing Stable Models by Program Transformation
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 58-73 | Stuber, Jürgen | Van Hentenryck, Pascal | 1994 | Proceedings Article |
| Conditional Narrowing Modulo a Set of Equations
In: Applicable Algebra in Engineering, Communication and Computing [4], 147-168 | Bockmayr, Alexander | | 1993 | Journal Article |
| Conformant planning via heuristic forward search: A new approach
In: Artificial Intelligence [170], 507-541 | Hoffmann, Jörg
[Brafman, Ronen I.] | | 2006 | Journal Article |
| Conformant Planning via Heuristic Forward Search: A New Approach
In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 355-364 | [Brafman, Ronen]
Hoffmann, Jörg | [Zilberstein, Shlomo]
[Koehler, Jana]
[Koenig, Sven] | 2004 | Proceedings Article |
| Constraint-Based Analysis of Broadcast Protocols
In: Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL, 50-66 | Delzanno, Giorgio
[Esparza, Javier]
Podelski, Andreas | [Flum, Jörg]
[Rodríguez-Artalejo, Mario] | 1999 | Proceedings Article |
| Constraint-based Deductive Model Checking
In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270 | Delzanno, Giorgio
Podelski, Andreas | | 2001 | Journal Article |
| Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129 | Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas | [Stuckey, Peter J.] | 2002 | Proceedings Article |
| Constraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258 | Mukhopadhyay, Supratik
Podelski, Andreas | [Ramakrishnan, I.V.] | 2001 | Proceedings Article |
| Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328 | | Podelski, Andreas | 1995 | Proceedings |
| Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ? | Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica | [Cook, Byron]
[Podelski, Andreas] | 2007 | Proceedings Article |
| Constraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201 | Ganzinger, Harald
[Nieuwenhuis, Robert] | [Comon, Hubert]
[Marché, Claude]
[Treinen, Ralf] | 2001 | Proceedings Article |
| Constraints as Data: a New Perspective on Inferring Probabilities
In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 755-760 | Jaeger, Manfred | [Nebel, Bernhard] | 2001 | Proceedings Article |
| Constraints for Continuous Reachability in the Verification of Hybrid Systems
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210 | Ratschan, Stefan
She, Zhikun | [Calmet, Jacques]
[Ida, Tetsuo]
[Wang, Dongming] | 2006 | Proceedings Article |
| Constraints in functional logic programming (Abstract)
In: Integration of functional and logic languages, 4 | Bockmayr, Alexander | [Hanus, Michael]
[Lloyd, John W.]
[Moreno Navarro, Juan José] | 1996 | Proceedings Article |
| Context trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256 | Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar] | [Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias] | 2001 | Proceedings Article |
| Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | [Cavalcanti, Marcos] | 1999 | Part of a Book |
| Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80 | Hoffmann, Jörg
[Brafman, Ronen] | [Biundo, Susanne]
[Meyers, Karen]
[Rajan, Kanna] | 2005 | Proceedings Article |
| Contrary-to-duty reasoning with preference-based dyadic obligations
In: Annals of Mathematics and Artificial Intelligence [27], 49-78 | van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | 1999 | Journal Article |
| Control-Flow Analysis in Cubic Time
In: Proceedings of the 10th European Symposium on Programming (ESOP-01) held as part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 252-268 | Nielson, Flemming
[Seidl, Helmut] | Hussmann, Heinrich | 2001 | Proceedings Article |
| Convergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55 | Jaeger, Manfred | Pratt, Vaughan | 1998 | Proceedings Article |
| Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers
In: ACM Transactions on Computational Logic [5], 264-281 | Ratschan, Stefan | | 2004 | Journal Article |
| Cooperative Coevolution of Fuzzy Rules
In: Proceedings of the 2nd International ICSC Symposium on Fuzzy Logic and Applications (ISFL-97), 337-381 | Hopf, Jörn | [Steele, N.] | 1997 | Proceedings Article |
| Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160 | [Delahaye, David]
[Jaume, Mathieu]
Prevosto, Virgile | | 2005 | Journal Article |
| Correctness of unification without occur check in Prolog
In: Journal of Logic Programming [18], 99-122 | [Chadha, Ritu]
Plaisted, David A. | | 1994 | Journal Article |
| Counterexample-Guided Abstraction Refinement for Termination | Podelski, Andreas
Rybalchenko, Andrey
[Cook, Byron] | | 2005 | Unpublished/Draft |