Kaminski, Roland
- Multi-shot ASP solving with clingo
2017/05/27 by Gebser, Martin, Kaminski, Roland, Kaufmann, Benjamin +1 · 27 citations
#Artificial Intelligence (cs.AI) #D.1.6 #FOS: Computer and information sciences
- Clingo = ASP + Control: Preliminary Report
2014/05/14 by Gebser, Martin, Kaminski, Roland, Kaufmann, Benjamin +1 · 8 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- How to build your own ASP-based system?!
2020/08/15 by Kaminski, Roland, Romero, Javier, Schaub, Torsten +1 · 7 citations
#Artificial Intelligence (cs.AI) #F.4.1 F.2.2 #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Clingo goes Linear Constraints over Reals and Integers
2017/07/13 by Janhunen, Tomi, Kaminski, Roland, Ostrowski, Max +3 · 5 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Grounding Recursive Aggregates: Preliminary Report
2016/03/12 by Martin Gebser, Roland Kaminski, Gebser, Martin +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Databases (cs.DB) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation
- Answer Set Programming for Stream Reasoning
2013/01/08 by Martin Gebser, Torsten Grote, Gebser, Martin +9 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
- On the Foundations of Grounding in Answer Set Programming
2021/08/10 by Roland Kaminski, Kaminski, Roland, Torsten Schaub +1 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.4 #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation
- Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
2024/03/18 by Roland Kaminski, Torsten Schaub, Kaminski, Roland +7 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Formal Methods in Verification