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.

David Pearce
SearchCollections
Map detail
David Pearce7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDavid PearceADavid PearceResearcherFinding Bugs with Specification-Based Testing is Easy!WFinding Bugs with Speci...preprint / 2021Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional CaseWInterpolation in Equili...preprint / 2010Interpolable Formulas in Equilibrium Logic and Answer Set ProgrammingWInterpolable Formulas i...preprint / 2014On the complexity of Temporal Equilibrium LogicWOn the complexity of Te...preprint / 2015A Denotational Semantics for Equilibrium LogicWA Denotational Semantic...preprint / 2015Revisiting Explicit Negation in Answer Set ProgrammingWRevisiting Explicit Neg...preprint / 2019
Person6 links

David Pearce

Researcher

PaperFinding Bugs with Specification-Based Testing is Easy!Authorship / preprint / 2021PaperInterpolation in Equilibrium Logic and Answer Set Programming: the Propositional CaseAuthorship / preprint / 2010PaperInterpolable Formulas in Equilibrium Logic and Answer Set ProgrammingAuthorship / preprint / 2014PaperOn the complexity of Temporal Equilibrium LogicAuthorship / preprint / 2015PaperA Denotational Semantics for Equilibrium LogicAuthorship / preprint / 2015PaperRevisiting Explicit Negation in Answer Set ProgrammingAuthorship / preprint / 2019

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)