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.

João Leite
SearchCollections
Map detail
João Leite9 visible / 9 total nodes / 8 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJoão LeiteAJoão LeiteResearcherThe Rise and Fall of Semantic Rule Updates Based on SE-ModelsWThe Rise and Fall of Se...preprint / 2013Back and Forth Between Rules and SE-Models (Extended Version)WBack and Forth Between ...preprint / 2011Splitting and Updating Hybrid Knowledge Bases (Extended Version)WSplitting and Updating ...preprint / 2011Towards Closed World Reasoning in Dynamic Open Worlds (Extended Version)WTowards Closed World Re...preprint / 2010On Strong and Default Negation in Logic Program Updates (Extended Version)WOn Strong and Default N...preprint / 2014On Minimal Change in Evolving Multi-Context Systems (Preliminary Report)WOn Minimal Change in Ev...preprint / 2015Towards Efficient Evolving Multi-Context Systems (Preliminary Report)WTowards Efficient Evolv...preprint / 2015A Syntactic Operator for Forgetting that Satisfies Strong PersistenceWA Syntactic Operator fo...preprint / 2019
Person8 links

João Leite

Researcher

PaperThe Rise and Fall of Semantic Rule Updates Based on SE-ModelsAuthorship / preprint / 2013PaperBack and Forth Between Rules and SE-Models (Extended Version)Authorship / preprint / 2011PaperSplitting and Updating Hybrid Knowledge Bases (Extended Version)Authorship / preprint / 2011PaperTowards Closed World Reasoning in Dynamic Open Worlds (Extended Version)Authorship / preprint / 2010PaperOn Strong and Default Negation in Logic Program Updates (Extended Version)Authorship / preprint / 2014PaperOn Minimal Change in Evolving Multi-Context Systems (Preliminary Report)Authorship / preprint / 2015PaperTowards Efficient Evolving Multi-Context Systems (Preliminary Report)Authorship / preprint / 2015PaperA Syntactic Operator for Forgetting that Satisfies Strong PersistenceAuthorship / 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)