Yuliya Lierler

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 Vladimir Lifschitz

> Home > Persons > Yuliya Lierler

Publications

2023
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/FandinnoHLLT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/FandinnoHLLT23
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple:
External Behavior of a Logic Program and Verification of Refactoring. Theory Pract. Log. Program. 23(4): 933-947 (2023)
[i23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-17485
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-17485
Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple:
External Behavior of a Logic Program and Verification of Refactoring. CoRR abs/2305.17485 (2023)
2015
[c30]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aaaiss/BaileyHLLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaaiss/BaileyHLLM15
Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael:
The Winograd Schema Challenge and Reasoning about Correlation. AAAI Spring Symposia 2015
2013
[c24]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iwcs/LierlerL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcs/LierlerL13
Yuliya Lierler, Vladimir Lifschitz:
Logic Programs vs. First-Order Formulas in Textual Inference. IWCS 2013: 340-346
2012
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/FerrarisLLLY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/FerrarisLLLY12
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang:
Representing first-order causal theories by logic programs. Theory Pract. Log. Program. 12(3): 383-412 (2012)
2011
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/LierlerL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/LierlerL11
Yuliya Lierler, Vladimir Lifschitz:
Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations. LPNMR 2011: 205-210
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1103-4558
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1103-4558
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang:
Representing First-Order Causal Theories by Logic Programs. CoRR abs/1103.4558 (2011)
2009
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/LierlerL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/LierlerL09
Yuliya Lierler, Vladimir Lifschitz:
One More Decidable Class of Finitely Ground Programs. ICLP 2009: 489-493
2000
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0003042
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0003042
Yuliya Babovich, Esra Erdem, Vladimir Lifschitz:
Fages' Theorem and Answer Set Programming. CoRR cs.AI/0003042 (2000)

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.