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.

Pedro Cabalar
SearchCollections
Map detail
Pedro Cabalar13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPedro CabalarAPedro CabalarResearcherA System for Explainable Answer Set ProgrammingWA System for Explainabl...preprint / 2020Modular Answer Set Programming as a Formal Specification LanguageWModular Answer Set Prog...preprint / 2020Towards Metric Temporal Answer Set ProgrammingWTowards Metric Temporal...preprint / 2020eclingo: A solver for Epistemic Logic ProgramsWeclingo: A solver for E...preprint / 2020A Uniform Treatment of Aggregates and Constraints in Hybrid ASPWA Uniform Treatment of ...preprint / 2020An ASP semantics for Constraints involving Conditional AggregatesWAn ASP semantics for Co...preprint / 2020Implementing Dynamic Answer Set ProgrammingWImplementing Dynamic An...preprint / 2020Towards Constraint Temporal Answer Set ProgrammingWTowards Constraint Temp...preprint / 2025Functional Answer Set ProgrammingWFunctional Answer Set P...preprint / 2010A Logical Charaterisation of Ordered DisjunctionWA Logical Charaterisati...preprint / 2010An Algebra of Causal ChainsWAn Algebra of Causal Ch...preprint / 2013Causal Graph Justifications of Logic ProgramsWCausal Graph Justificat...preprint / 2014
Person12 links

Pedro Cabalar

Researcher

PaperA System for Explainable Answer Set ProgrammingAuthorship / preprint / 2020PaperModular Answer Set Programming as a Formal Specification LanguageAuthorship / preprint / 2020PaperTowards Metric Temporal Answer Set ProgrammingAuthorship / preprint / 2020Papereclingo: A solver for Epistemic Logic ProgramsAuthorship / preprint / 2020PaperA Uniform Treatment of Aggregates and Constraints in Hybrid ASPAuthorship / preprint / 2020PaperAn ASP semantics for Constraints involving Conditional AggregatesAuthorship / preprint / 2020PaperImplementing Dynamic Answer Set ProgrammingAuthorship / preprint / 2020PaperTowards Constraint Temporal Answer Set ProgrammingAuthorship / preprint / 2025

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)