Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

Proceedings of the Doctoral Consortium and Poster Session of the 5th International Symposium on Rules (RuleML 2011@IJCAI)

Proceedings of the Pacific Knowledge Acquisition Workshop 2004

Process Makna - A Semantic Wiki for Scientific Workflows

Processing Uncertainty and Indeterminacy in Information Systems success mapping

Products of Weighted Logic Programs

Profiling of a network behind an infectious disease outbreak

Progress in animation of an EMA-controlled tongue model for acoustic-visual speech synthesis

Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?

Proof System for Plan Verification under 0-Approximation Semantics

Proofs, proofs, proofs, and proofs

Propagating Conjunctions of AllDifferent Constraints

Propagating orientation constraints for the Hubble Space Telescope

Properties and Applications of Programs with Monotone and Convex Constraints

Proportional Conflict Redistribution Rules for Information Fusion

Proposal of Pattern Recognition as a necessary and sufficient Principle to Cognitive Science

Proposition of the Interactive Pareto Iterated Local Search Procedure - Elements and Initial Experiments

Propositional Defeasible Logic has Linear Complexity

Propositional Independence - Formula-Variable Independence and Forgetting