HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2021 easychair.org. All rights reserved.