Keyword:constraints

Papers
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