Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Michael Gelfond

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 Evgenii Balai

> Home > Persons > Michael Gelfond

Publications

2023
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/GelfondFB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/GelfondFB23
Michael Gelfond, Jorge Fandinno, Evgenii Balai:
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. Theory Pract. Log. Program. 23(4): 715-729 (2023)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-03874
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-03874
Michael Gelfond, Jorge Fandinno, Evgenii Balai:
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach. CoRR abs/2306.03874 (2023)
2020
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/KahlWBG020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/KahlWBG020
Patrick Kahl, Richard Watson, Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
The language of epistemic specifications (refined) including a prototype solver. J. Log. Comput. 30(4): 953-989 (2020)
[c68]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iclp/GelfondB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/GelfondB20
Michael Gelfond, Evgenii Balai:
Causal Analysis of Events Occurring in Trajectories of Dynamic Domains. ICLP Workshops 2020
2019
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/BalaiGZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/BalaiGZ19
Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
P-log: refinement and a new coherency condition. Ann. Math. Artif. Intell. 86(1-3): 149-192 (2019)
2017
[c64]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lpnmr/BalaiG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BalaiG17
Evgenii Balai, Michael Gelfond:
Refining and Generalizing P-log - Preliminary Report. ASPOCP@LPNMR 2017
2016
[c61]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/BalaiG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BalaiG16
Evgenii Balai, Michael Gelfond:
On the Relationship between P-log and LP^MLN. IJCAI 2016: 915-921
2013
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/BalaiGZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BalaiGZ13
Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
Towards Answer Set Programming with Sorts. LPNMR 2013: 135-147
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-1386
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-1386
Evgenii Balai, Michael Gelfond, Yuanlin Zhang:
SPARC - Sorted ASP with Consistency Restoring Rules. CoRR abs/1301.1386 (2013)

a service of

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.