Belaid Benhamou


Ontology type: schema:Person     


Person Info

NAME

Belaid

SURNAME

Benhamou

Publications in SciGraph latest 50 shown

  • 2017-05 Local and global symmetry breaking in itemset mining in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
  • 2017 Harmony Search Based Algorithms for the Minimum Interference Frequency Assignment Problem in HARMONY SEARCH ALGORITHM
  • 2015 A Generic and Declarative Method for Symmetry Breaking in Itemset Mining in KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT
  • 2014 Dynamic Symmetry Breaking in Itemset Mining in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
  • 2013 Dynamic and Static Symmetry Breaking in Answer Set Programming in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
  • 2012-03 Dealing with Satisfiability and n-ary CSPs in a Logical Framework in JOURNAL OF AUTOMATED REASONING
  • 2010-06 Local Search Methods for the Optimal Winner Determination Problem in Combinatorial Auctions in JOURNAL OF MATHEMATICAL MODELLING AND ALGORITHMS
  • 2009-07 A memetic algorithm for the optimal winner determination problem in SOFT COMPUTING
  • 2008-06 Scatter Search and Genetic Algorithms for MAX-SAT Problems in JOURNAL OF MATHEMATICAL MODELLING AND ALGORITHMS
  • 2008 Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING
  • 2007 Local Symmetry Breaking During Search in CSPs in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING – CP 2007
  • 2006-04 Predicting and Detecting Symmetries in FOL Finite Model Search in JOURNAL OF AUTOMATED REASONING
  • 2006 Reasoning by Dominance in Not-Equals Binary Constraint Networks in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006
  • 2006 A Boolean Encoding Including SAT and n-ary CSPs in ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS
  • 2005 A Local Fusion Method of Temporal Information in SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY
  • 2004 Two Revision Methods Based on Constraints: Application to a Flooding Problem in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
  • 2002-07-04 Reasoning by Symmetry and Function Ordering in Finite Model Generation in AUTOMATED DEDUCTION—CADE-18
  • 2000 Two Techniques to Improve Finite Model Search in AUTOMATED DEDUCTION - CADE-17
  • 2000 AVAL: An Enumerative Method for SAT in COMPUTATIONAL LOGIC — CL 2000
  • 1998 Finite model search for equational theories (FMSET) in ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
  • 1998 Study of symmetry in qualitative temporal interval networks in ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, AND APPLICATIONS
  • 1994-02 Tractability through symmetries in propositional calculus in JOURNAL OF AUTOMATED REASONING
  • 1994 Two proof procedures for a cardinality based language in propositional calculus in STACS 94
  • 1992 Theoretical study of symmetries in propositional calculus and applications in AUTOMATED DEDUCTION—CADE-11
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "familyName": "Benhamou", 
        "givenName": "Belaid", 
        "id": "sg:person.011525467135.35", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011525467135.35"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:05", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1853.json", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.011525467135.35'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.011525467135.35'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.011525467135.35'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.011525467135.35'


     

    This table displays all metadata directly associated to this object as RDF triples.

    11 TRIPLES      9 PREDICATES      10 URIs      6 LITERALS      1 BLANK NODES

    Subject Predicate Object
    1 sg:person.011525467135.35 schema:familyName Benhamou
    2 schema:givenName Belaid
    3 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011525467135.35
    4 schema:sdDatePublished 2019-03-07T14:05
    5 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    6 schema:sdPublisher Nb9022487d75b4f79a33dea39c4799ceb
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 Nb9022487d75b4f79a33dea39c4799ceb schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...