Michael Kifer

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Theresa Swift

> Home > Persons > Michael Kifer

Publications

2024
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/SwiftK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/SwiftK24
Theresa Swift, Michael Kifer:
Multi-paradigm Logic Programming in the ErgoAI System. LPNMR 2024: 126-139
2023
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GrosofKSFB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GrosofKSFB23
Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield:
Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years 2023: 224-236
2015
[c88]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ruleml/GrosofBFKGCS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GrosofBFKGCS15
Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift:
Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. Challenge+DC@RuleML 2015
2013
[c83]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ruleml/AndersenBCDFGKLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AndersenBCDFGKLS13
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift:
Advanced Knowledge Base Debugging for Rulelog. RuleML (2) 2013
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AndersenBCDFGKLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AndersenBCDFGKLS13
Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift:
Understanding Rulelog Computations in Silk. CoRR abs/1308.4125 (2013)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.