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

Propositional satisfiability in answer-set programming

Propositional theories are strongly equivalent to logic programs

Pruning Isomorphic Structural Sub-problems in Configuration

Pruning Search Space in Defeasible Argumentation

Prunnig Algorithm of Generation a Minimal Set of Rule Reducts Based on Rough Set Theory