Keyword:constraints

Papers
Scalable Probabilistic Routes Suwei Yang, Victor Liang and Kuldeep S. Meel In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Constraint-Based Part-of-Speech Tagging Neng-Fa Zhou EasyChair Preprint no. 8379
The Role of Monitoring and Evaluation in Projects Management in Nigeria Simon Wakawa, Abayomi Adebisi, Bawa Garshima Gamiya, Sadiq Thomas and Oshiga Omotayo EasyChair Preprint no. 5131
Epistemic Logic Programs with World View Constraints Patrick Kahl and Anthony Leclerc EasyChair Preprint no. 231
Constraint-Based Inference in Probabilistic Logic Programs Arun Nampally, Timothy Zhang and C. R. Ramakrishnan EasyChair Preprint no. 210
Towards a Logical Framework for Latent Variable Modelling Trisha Nowland, Alissa Beath and Simon Boag EasyChair Preprint no. 196
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses Sophie Tourret, Mnacho Echenim and Nicolas Peltier In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
Alignnment of RNA with Structures of Unlimited Complexity Alessandro Dal Palù, Mathias Möhl and Sebastian Will In:WCB10. Workshop on Constraint Based Methods for Bioinformatics