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.

Michael Gelfond
SearchCollections
Map detail
Michael Gelfond7 visible / 7 total nodes / 6 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael GelfondAMichael GelfondResearcherVicious Circle Principle and Logic Programs with AggregatesWVicious Circle Principl...preprint / 2014Vicious Circle Principle and Formation of Sets in ASP Based LanguagesWVicious Circle Principl...preprint / 2016Modular Action Language ALMWModular Action Language...preprint / 2015SPARC - Sorted ASP with Consistency Restoring RulesWSPARC - Sorted ASP with...preprint / 2013Language ASP{f} with Arithmetic Expressions and Consistency-Restoring RulesWLanguage ASP{f} with Ar...preprint / 2013KR$^3$: An Architecture for Knowledge Representation and Reasoning in RoboticsWKR$^3$: An Architecture...preprint / 2014
Person6 links

Michael Gelfond

Researcher

PaperVicious Circle Principle and Logic Programs with AggregatesAuthorship / preprint / 2014PaperVicious Circle Principle and Formation of Sets in ASP Based LanguagesAuthorship / preprint / 2016PaperModular Action Language ALMAuthorship / preprint / 2015PaperSPARC - Sorted ASP with Consistency Restoring RulesAuthorship / preprint / 2013PaperLanguage ASP{f} with Arithmetic Expressions and Consistency-Restoring RulesAuthorship / preprint / 2013PaperKR3^3: An Architecture for Knowledge Representation and Reasoning in RoboticsAuthorship / preprint / 2014

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)