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.

Marc Denecker
SearchCollections
Map detail
Marc Denecker16 visible / 16 total nodes / 28 links

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

Co-authorshipCo-authorshipCo-authorshipAuthorshipWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalMarc DeneckerAMarc DeneckerResearcherTransforming Constraint Programs to Input for Local SearchWTransforming Constraint...preprint / 2026Patrick De CausmaeckerAPatrick De CausmaeckerResearcherJo DevriendtAJo DevriendtResearcherReiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, TooWReiter's Default Logic ...preprint / 2011Artificial IntelligenceTArtificial Intelligence22915 worksConstraint Propagation for First-Order Logic and Inductive DefinitionsWConstraint Propagation ...preprint / 2011Extending FO(ID) with Knowledge Producing Definitions: Preliminary ResultsWExtending FO(ID) with K...preprint / 2013Lazy Model Expansion: Interleaving Grounding with SearchWLazy Model Expansion: I...preprint / 2015Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint TheoryWAnalyzing Semantics of ...preprint / 2022Justifications and a Reconstruction of Parity Game Solving AlgorithmsWJustifications and a Re...preprint / 2021Exploiting Game Theory for Analysing JustificationsWExploiting Game Theory ...preprint / 2020A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint TheoryWA Category-Theoretic Pe...preprint / 2025FO(FD): Extending classical logic with rule-based fixpoint definitionsWFO(FD): Extending class...preprint / 2010A prototype of a knowledge-based programming environmentWA prototype of a knowle...preprint / 2011LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive DefinitionsWLPC(ID): A Sequent Calc...preprint / 2012
Person15 links

Marc Denecker

Researcher

PaperTransforming Constraint Programs to Input for Local SearchAuthorship / preprint / 2026PersonPatrick De CausmaeckerCo-authorship / ResearcherPersonJo DevriendtCo-authorship / ResearcherPaperReiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, TooAuthorship / preprint / 2011TopicArtificial IntelligenceWorks on / 22915 worksPaperConstraint Propagation for First-Order Logic and Inductive DefinitionsAuthorship / preprint / 2011PaperExtending FO(ID) with Knowledge Producing Definitions: Preliminary ResultsAuthorship / preprint / 2013PaperLazy Model Expansion: Interleaving Grounding with SearchAuthorship / preprint / 2015

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)