Michael Kifer


Ontology type: schema:Person     


Person Info

NAME

Michael

SURNAME

Kifer

Publications in SciGraph latest 50 shown

  • 2018-10-18 Knowledge Authoring for Rule-Based Reasoning in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS. OTM 2018 CONFERENCES
  • 2018-06-12 RIF: The Rule Interchange Format in ENCYCLOPEDIA OF SOCIAL NETWORK ANALYSIS AND MINING
  • 2018-05-17 Formal Executable Theory of Multilevel Modeling in ADVANCED INFORMATION SYSTEMS ENGINEERING
  • 2017-06-17 RIF: The Rule Interchange Format in ENCYCLOPEDIA OF SOCIAL NETWORK ANALYSIS AND MINING
  • 2016-11-01 Formalizing Goal Serializability for Evaluation of Planning Features in LOGICS IN ARTIFICIAL INTELLIGENCE
  • 2015-07-22 Planning with Regression Analysis in Transaction Logic in WEB REASONING AND RULE SYSTEMS
  • 2015-07-12 Representing Flexible Role-Based Access Control Policies Using Objects and Defeasible Reasoning in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS
  • 2015-07-11 The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress (Extended Abstract of Tutorial Presentation) in REASONING WEB. WEB LOGIC RULES
  • 2015-05-14 State Space Planning Using Transaction Logic in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2014-10-05 RIF: The Rule Interchange Format in ENCYCLOPEDIA OF SOCIAL NETWORK ANALYSIS AND MINING
  • 2014 Planning with Transaction Logic in WEB REASONING AND RULE SYSTEMS
  • 2013 Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES
  • 2012-07-31 Transaction Logic with Partially Defined Actions in JOURNAL ON DATA SEMANTICS
  • 2012 Deriving Predicate Statistics for Logic Rules in WEB REASONING AND RULE SYSTEMS
  • 2012 Formalizing Production Systems with Rule-Based Ontologies in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS
  • 2011 Rule Interchange Format: Logic Programming’s Second Wind? in INDUCTIVE LOGIC PROGRAMMING
  • 2011 Reasoning with Actions in Transaction Logic in WEB REASONING AND RULE SYSTEMS
  • 2011 KR and Reasoning on the Semantic Web: RIF in HANDBOOK OF SEMANTIC WEB TECHNOLOGIES
  • 2011 On the Equivalence between the Action Language and Partial Actions in Transaction Logic in WEB REASONING AND RULE SYSTEMS
  • 2011 Logic-Based Model-Level Software Development with F-OML in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS
  • 2010 Defeasibility in Answer Set Programs via Argumentation Theories in WEB REASONING AND RULE SYSTEMS
  • 2009-05-22 Ontologies in F-Logic in HANDBOOK ON ONTOLOGIES
  • 2009 Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence in LOGIC PROGRAMMING AND NONMONOTONIC REASONING
  • 2009 Query Answering in Belief Logic Programming in SCALABLE UNCERTAINTY MANAGEMENT
  • 2009 Logic Programming with Defaults and Argumentation Theories in LOGIC PROGRAMMING
  • 2008-01-01 WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic in THE SEMANTIC WEB: RESEARCH AND APPLICATIONS
  • 2008 Rule Interchange Format: The Framework in WEB REASONING AND RULE SYSTEMS
  • 2008 Semantic Web Service Choreography: Contracting and Enactment in THE SEMANTIC WEB - ISWC 2008
  • 2008 Rule Interchange Format: The Framework in RULE REPRESENTATION, INTERCHANGE AND REASONING ON THE WEB
  • 2007 Introduction to Operating System Design and Implementation, The OSP 2 Approach in NONE
  • 2006 Inheritance in Rule-Based Frame Systems: Semantics and Inference in JOURNAL ON DATA SEMANTICS VII
  • 2005 A Realistic Architecture for the Semantic Web in RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB
  • 2005 Rules and Ontologies in F-Logic in REASONING WEB
  • 2005 Nonmonotonic Reasoning in FLORA-2 in LOGIC PROGRAMMING AND NONMONOTONIC REASONING
  • 2004 Logic-Based Approaches to Workflow Modeling and Verification in LOGICS FOR EMERGING APPLICATIONS OF DATABASES
  • 2003 lora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: COOPIS, DOA, AND ODBASE
  • 2003 Reasoning about Anonymous Resources and Meta Statements on the Semantic Web in JOURNAL ON DATA SEMANTICS I
  • 2003 Inheritance and Rules in Object-Oriented Semantic Web Languages in RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB
  • 2002-11-05 Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2002: COOPIS, DOA, AND ODBASE
  • 2002-11-05 On the Semantics of Anonymous Identity and Reification in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2002: COOPIS, DOA, AND ODBASE
  • 2000-12-15 Applications of Annotated Predicate Calculus to Querying Inconsistent Databases in COMPUTATIONAL LOGIC — CL 2000
  • 2000-12-15 Design and Implementation of the Physical Layer in WebBases: The XRover Experience in COMPUTATIONAL LOGIC — CL 2000
  • 2000-12-15 FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine in COMPUTATIONAL LOGIC — CL 2000
  • 1998 A Logic for Programming Database Transactions in LOGICS FOR DATABASES AND INFORMATION SYSTEMS
  • 1998 The state of change: A survey in TRANSACTIONS AND CHANGE IN LOGIC DATABASES
  • 1998 Results on reasoning about updates in Transaction Logic in TRANSACTIONS AND CHANGE IN LOGIC DATABASES
  • 1995-03 Foreword: Deductive object-oriented databases in JOURNAL OF INTELLIGENT INFORMATION SYSTEMS
  • 1995 Deductive and object data languages: A quest for integration in DEDUCTIVE AND OBJECT-ORIENTED DATABASES
  • 1995 Sorted HiLog: Sorts in higher-order logic data languages in DATABASE THEORY — ICDT '95
  • 1994 Applications of transaction logic to knowledge representation in TEMPORAL LOGIC
  • 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", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.36425.36", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7870.8", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.17063.33", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.9619.7", 
            "type": "Organization"
          }
        ], 
        "familyName": "Kifer", 
        "givenName": "Michael", 
        "id": "sg:person.013375265322.23", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013375265322.23"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:56", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_693.jsonl", 
        "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.013375265322.23'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     




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


    ...