Torsten Schaub
- Graphs and colorings for answer set programming
2005/02/21 by Kathrin Konczak, Konczak, Kathrin, Thomas Linke +3 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #cs.AI #cs.LO
- An ASP semantics for Constraints involving Conditional Aggregates
2020/02/17 by Pedro Cabalar, Jorge Fandinno, Cabalar, Pedro +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
- Answer Set Planning: A Survey
2022/02/11 by Tran Cao Son, Enrico Pontelli, Son, Tran Cao +5 · 1 citation
Computer Science · #Multi-Agent Systems and Negotiation #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning
- Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
2024/03/18 by Roland Kaminski, Kaminski, Roland, Torsten Schaub +7 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Formal Methods in Verification
- Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report
2026/07/20 by Pedro Cabalar, Jorge Fandinno, Nicolas Rühling +3
Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies