Thom Frühwirth


Ontology type: schema:Person     


Person Info

NAME

Thom

SURNAME

Frühwirth

Publications in SciGraph latest 50 shown

  • 2018-09-27 Implementation of Logical Retraction in Constraint Handling Rules with Justifications in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT
  • 2018-04-24 Confluence Modulo Equivalence with Invariants in Constraint Handling Rules in FUNCTIONAL AND LOGIC PROGRAMMING
  • 2018 Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason’s Mark Design in RULES AND REASONING
  • 2018 Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2018 CHR.js: A CHR Implementation in JavaScript in RULES AND REASONING
  • 2017 A Decidable Confluence Test for Cognitive Models in ACT-R in RULES AND REASONING
  • 2016 Translation of Cognitive Models from ACT-R to Constraint Handling Rules in RULE TECHNOLOGIES. RESEARCH, TOOLS, AND APPLICATIONS
  • 2016 Why Can’t You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints in RULE TECHNOLOGIES. RESEARCH, TOOLS, AND APPLICATIONS
  • 2015 Combining Forward and Backward Propagation in FRONTIERS OF COMBINING SYSTEMS
  • 2015 A Formal Semantics for the Cognitive Architecture ACT-R in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2015 Constraint Handling Rules - What Else? in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS
  • 2015 CHRAnimation: An Animation Tool for Constraint Handling Rules in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2011 A Rule-Based Approach to Long-Term Routing for Autonomous Sailboats in ROBOTIC SAILING
  • 2008 Welcome to Constraint Handling Rules in CONSTRAINT HANDLING RULES
  • 2008 Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR in RECENT ADVANCES IN CONSTRAINTS
  • 2007 Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees in RECENT ADVANCES IN CONSTRAINTS
  • 2006 Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains in RECENT ADVANCES IN CONSTRAINTS
  • 2005 Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis in LOGIC PROGRAMMING
  • 2005 A Linear-Logic Semantics for Constraint Handling Rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005
  • 2005 Specialization of Concurrent Guarded Multi-set Transformation Rules in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2004 Integration and Optimization of Rule-Based Constraint Solvers in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION
  • 2003 Essentials of Constraint Programming in NONE
  • 2001-03-29 Spatio-temporal Annotated Constraint Logic Programming in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2000 Proving Termination of Constraint Solver Programs in NEW TRENDS IN CONSTRAINTS
  • 2000 Semantics for Temporal Annotated Constraint Logic Programming in LABELLED DEDUCTION
  • 1999-06-11 On Completion of Constraint Handling Rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP98
  • 1999-05 Confluence and Semantics of Constraint Simplification Rules in CONSTRAINTS
  • 1999 Operational Equivalence of CHR Programs and Constraints in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING – CP’99
  • 1999 Compiling Constraint Handling Rules into Prolog with Attributed Variables in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING
  • 1998 Optimal Placement of Base Stations in Wireless Indoor Telecommunication in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP98
  • 1997 Constraint-Programmierung, Grundlagen und Anwendungen in NONE
  • 1997 Anwendungen Constraint basierter Programmierung in INFORMATIK ’97 INFORMATIK ALS INNOVATIONSMOTOR
  • 1996 On confluence of Constraint Handling Rules in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING — CP96
  • 1995 Constraint handling rules in CONSTRAINT PROGRAMMING: BASICS AND TRENDS
  • 1995 Temporal logic and annotated constraint logic programming in EXECUTABLE MODAL AND TEMPORAL LOGICS
  • 1994 Annotated constraint logic programming applied to temporal reasoning in PROGRAMMING LANGUAGE IMPLEMENTATION AND LOGIC PROGRAMMING
  • 1992 Constraint Logic Programming in LOGIC PROGRAMMING IN ACTION
  • 1990 Prolog und Meta-Interpreter in EXPERTENSYSTEME
  • 1986 VIP — DBS Ein Integriertes Logik-Orientiertes Datenbank Management System Unter VIP-Prolog in DIE ZUKUNFT DER INFORMATIONSSYSTEME LEHREN DER 80ER JAHRE
  • 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": "Fr\u00fchwirth", 
        "givenName": "Thom", 
        "id": "sg:person.013750414271.15", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:04", 
        "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_1840.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.013750414271.15'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

    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.013750414271.15 schema:familyName Frühwirth
    2 schema:givenName Thom
    3 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
    4 schema:sdDatePublished 2019-03-07T14:04
    5 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    6 schema:sdPublisher N12ccfd04526d4e869ce31a65110723ef
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 N12ccfd04526d4e869ce31a65110723ef schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization
     




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


    ...