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.

Torsten Schaub
SearchCollections
Map detail
Torsten Schaub13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTorsten SchaubATorsten SchaubResearcherOn the Foundations of Grounding in Answer Set ProgrammingWOn the Foundations of G...preprint / 2022Implementing the First-Order Logic of Here and ThereWImplementing the First-...preprint / 2026Introduction to the 26th International Conference on Logic Programming Special IssueWIntroduction to the 26t...preprint / 2010Detecting Inconsistencies in Large Biological Networks with Answer Set ProgrammingWDetecting Inconsistenci...preprint / 2010Automatic Network Reconstruction using ASPWAutomatic Network Recon...preprint / 2011ASP modulo CSP: The clingcon systemWASP modulo CSP: The cli...preprint / 2012Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent PerspectiveWFormalizing Multi-Agent...preprint / 2016Towards Metric Temporal Answer Set ProgrammingWTowards Metric Temporal...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 / 2020The ASP-based Nurse Scheduling System at the University of Yamanashi HospitalWThe ASP-based Nurse Sch...preprint / 2026
Person12 links

Torsten Schaub

Researcher

PaperOn the Foundations of Grounding in Answer Set ProgrammingAuthorship / preprint / 2022PaperImplementing the First-Order Logic of Here and ThereAuthorship / preprint / 2026PaperIntroduction to the 26th International Conference on Logic Programming Special IssueAuthorship / preprint / 2010PaperDetecting Inconsistencies in Large Biological Networks with Answer Set ProgrammingAuthorship / preprint / 2010PaperAutomatic Network Reconstruction using ASPAuthorship / preprint / 2011PaperASP modulo CSP: The clingcon systemAuthorship / preprint / 2012PaperFormalizing Multi-Agent Systems Using Action Descriptions in Single Agent PerspectiveAuthorship / preprint / 2016PaperTowards Metric Temporal Answer Set ProgrammingAuthorship / preprint / 2020

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)