A probabilistic methodology for multilabel classification
A Probabilistic Transmission Expansion Planning Methodology based on Roulette Wheel Selection and Social Welfare
A Program-Level Approach to Revising Logic Programs under the Answer Set Semantics
A Proof Theoretic View of Constraint Programming
A proposal to design expert system for the calculations in the domain of QFT
A Proposed Decision Support System/Expert System for Guiding Fresh Students in Selecting a Faculty in Gomal University, Pakistan
A Protocol for Self-Synchronized Duty-Cycling in Sensor Networks: Generic Implementation in Wiselib
A Prototype for Educational Planning Using Course Constraints to Simulate Student Populations
A prototype of a knowledge-based programming environment
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
A Qualitative Dynamical Modelling Approach to Capital Accumulation in Unregulated Fisheries
A Rational Decision Maker with Ordinal Utility under Uncertainty: Optimism and Pessimism
A Reactive Tabu Search Algorithm for Stimuli Generation in Psycholinguistics
A Real-Time Model-Based Reinforcement Learning Architecture for Robot Control
A Reflection on the Structure and Process of the Web of Data
A remark on higher order RUE-resolution with EXTRUE
A reusable iterative optimization software library to solve combinatorial problems with approximate reasoning
A Robust Linguistic Platform for Efficient and Domain specific Web Content Analysis
A Scalable Method for Solving High-Dimensional Continuous POMDPs Using Local Approximation
A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie