BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Vladimir Lifschitz
SearchCollections
Map detail
Vladimir Lifschitz13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipVladimir LifschitzAVladimir LifschitzResearcherStrong Equivalence of Logic Programs with CountingWStrong Equivalence of L...preprint / 2022Lloyd-Topor Completion and General Stable ModelsWLloyd-Topor Completion ...preprint / 2013Relational Theories with Null Values and Non-Herbrand Stable ModelsWRelational Theories wit...preprint / 2012Positive Dependency Graphs RevisitedWPositive Dependency Gra...preprint / 2022Relating Two Dialects of Answer Set ProgrammingWRelating Two Dialects o...preprint / 2019On Equivalence of Infinitary Formulas under the Stable Model SemanticsWOn Equivalence of Infin...preprint / 2014Deductive Systems for Logic Programs with CountingWDeductive Systems for L...preprint / 2025On the Semantics of GringoWOn the Semantics of Gringopreprint / 2013Stable Models for Infinitary Formulas with Extensional AtomsWStable Models for Infin...preprint / 2016Proving Infinitary FormulasWProving Infinitary Form...preprint / 2016Abstract GringoWAbstract Gringopreprint / 2018Representing First-Order Causal Theories by Logic ProgramsWRepresenting First-Orde...preprint / 2011
Person12 links

Vladimir Lifschitz

Researcher

PaperStrong Equivalence of Logic Programs with CountingAuthorship / preprint / 2022PaperLloyd-Topor Completion and General Stable ModelsAuthorship / preprint / 2013PaperRelational Theories with Null Values and Non-Herbrand Stable ModelsAuthorship / preprint / 2012PaperPositive Dependency Graphs RevisitedAuthorship / preprint / 2022PaperRelating Two Dialects of Answer Set ProgrammingAuthorship / preprint / 2019PaperOn Equivalence of Infinitary Formulas under the Stable Model SemanticsAuthorship / preprint / 2014PaperDeductive Systems for Logic Programs with CountingAuthorship / preprint / 2025PaperOn the Semantics of GringoAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)