Torsten Schaub performs multidisciplinary study on Programming language and Software engineering in his works. He regularly ties together related areas like Answer set programming in his Set (abstract data type) studies. Artificial intelligence and Selection (genetic algorithm) are commonly linked in his work. Selection (genetic algorithm) and Artificial intelligence are frequently intertwined in his study. His work often combines Theoretical computer science and Discrete mathematics studies. Torsten Schaub combines Discrete mathematics and Theoretical computer science in his studies. He integrates many fields in his works, including Solver and Mathematical optimization. Torsten Schaub performs multidisciplinary study in Mathematical optimization and Solver in his work. His study in Constraint (computer-aided design) extends to Geometry with its themes.
In his research, Torsten Schaub performs multidisciplinary study on Programming language and Semantics (computer science). His multidisciplinary approach integrates Semantics (computer science) and Theoretical computer science in his work. Theoretical computer science and Algorithm are two areas of study in which he engages in interdisciplinary research. Torsten Schaub performs integrative study on Algorithm and Programming language in his works. Set (abstract data type) is closely attributed to Answer set programming in his research. The study of Answer set programming is intertwined with the study of Set (abstract data type) in a number of ways. He performs integrative Artificial intelligence and Logic programming research in his work. In his works, Torsten Schaub undertakes multidisciplinary study on Logic programming and Artificial intelligence. Torsten Schaub frequently studies issues relating to Default logic and Description logic.
In the subject of general Routing (electronic design automation), his work in Embedded system is often linked to Distributed computing, thereby combining diverse domains of study. In most of his Embedded system studies, his work intersects topics such as Routing (electronic design automation). In his articles, he combines various disciplines, including Distributed computing and Programming language. His Programming language study frequently draws connections to adjacent fields such as Process (computing). He frequently studies issues relating to Answer set programming and Set (abstract data type). His research ties Satisfiability and Theoretical computer science together. His work in Artificial intelligence is not limited to one particular discipline; it also encompasses Encoding (memory). His Encoding (memory) study frequently draws connections between related disciplines such as Artificial intelligence. He applies his multidisciplinary studies on Logic programming and Answer set programming in his research.
His Programming language study frequently involves adjacent topics like Theory of computation. His work on Answer set programming expands to the thematically related Set (abstract data type). His work on Set (abstract data type) expands to the thematically related Answer set programming. In his works, he conducts interdisciplinary research on Theoretical computer science and Theory of computation. He integrates Mathematical optimization and Scheduling (production processes) in his studies. He merges many fields, such as Scheduling (production processes) and Mathematical optimization, in his writings. Artificial intelligence is often connected to Class (philosophy) in his work. Many of his studies on Class (philosophy) involve topics that are commonly interrelated, such as Artificial intelligence. The study of Astronomy is intertwined with the study of Course (navigation) in a number of ways.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Conflict-driven answer set solving: From theory to practice
Martin Gebser;Benjamin Kaufmann;Torsten Schaub.
Artificial Intelligence (2012)
Answer Set Solving in Practice
Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Torsten Schaub.
(2012)
Potassco: The Potsdam Answer Set Solving Collection
Martin Gebser;Benjamin Kaufmann;Roland Kaminski;Max Ostrowski.
Ai Communications (2011)
Conflict-driven answer set solving
Martin Gebser;Benjamin Kaufmann;André Neumann;Torsten Schaub.
international joint conference on artificial intelligence (2007)
Clasp: a conflict-driven answer set solver
Martin Gebser;Benjamin Kaufmann;André Neumann;Torsten Schaub.
international conference on logic programming (2007)
Clingo = ASP + Control: Preliminary Report
Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Torsten Schaub.
arXiv: Programming Languages (2014)
GrinGo: a new grounder for answer set programming
Martin Gebser;Torsten Schaub;Sven Thiele.
international conference on logic programming (2007)
Advances in gringo series 3
Martin Gebser;Roland Kaminski;Arne König;Torsten Schaub.
international conference on logic programming (2011)
Theory Solving Made Easy with Clingo 5
Martin Gebser;Roland Kaminski;Benjamin Kaufmann;Max Ostrowski.
international conference on logic programming (2016)
A framework for compiling preferences in logic programs
James P. Delgrande;Torsten Schaub;Hans Tompits.
Theory and Practice of Logic Programming (2003)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
University of Klagenfurt
TU Wien
TU Wien
Leiden University
Madrid Institute for Advanced Studies
Leipzig University
The University of Texas at Austin
Max Planck Society
University of Kentucky
University of Freiburg
Association for Computational Linguistics
Southwest University
Technical University of Munich
University College London
Northwestern University
Dalian University of Technology
Global Alliance in Management Education
Heinrich Heine University Düsseldorf
University of Tromsø - The Arctic University of Norway
Pennsylvania State University
University of Minnesota
Goethe University Frankfurt
Fujita Health University
Harvard University
University of Pennsylvania
University of Sydney