vix.ing · top · new · best · stats · spec

Maurice Bruynooghe

  1. Predicate Logic as a Modelling Language: The IDP System
    2014/01/24 by Broes De Cat, Bart Bogaerts, De Cat, Broes +7 · 1 citation
    Computer Science · #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies