Conrad Drescher

16 papers A* 1A 2B 3Misc 1Journal 3Unranked 4

Year	Rank	Type	Title / Venue / Authors
2014	J	`jnl`	LoCo - A Logic for Configuration Problems. ACM Trans. Comput. Log. Markus Aschinger, Conrad Drescher, Georg Gottlob, Heribert Vollmer
2012	A	`conf`	LoCo - A Logic for Configuration Problems. ECAI Markus Aschinger, Conrad Drescher, Heribert Vollmer
2012	B	`conf`	The Partner Units Problem a Constraint Programming Case Study. ICTAI Conrad Drescher
2012	—	`conf`	Unifying Software, Product Configuration: A Research Roadmap. Configuration Workshop Arnaud Hubaux, Dietmar Jannach, Conrad Drescher, Leonardo Murta, Tomi Männistö, Krzysztof Czarnecki, Patrick Heymans, Tien Nguyen, Markus Zanker
2011	J	`jnl`	ALPprolog - A new logic programming method for dynamic domains. Theory Pract. Log. Program. Conrad Drescher, Michael Thielscher
2011	J	`jnl`	ALPprolog --- A New Logic Programming Method for Dynamic Domains CoRR Conrad Drescher, Michael Thielscher
2011	—	`—`	Action Logic Programs: How to Specify Strategic Behavior in Dynamic Domains Using Logical Rules. Conrad Drescher
2011	—	`conf`	Introducing LoCo, a Logic for Configuration Problems LoCoCo Markus Aschinger, Conrad Drescher, Georg Gottlob
2011	B	`conf`	Optimization Methods for the Partner Units Problem. CPAIOR Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen
2011	—	`ed.`	Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011. LoCoCo Conrad Drescher, Inês Lynce, Ralf Treinen
2011	A	`conf`	Structural Decomposition Methods and What They are Good For. STACS Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
2011	A*	`conf`	Tackling the Partner Units Configuration Problem. IJCAI Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
2009	—	`conf`	A Declarative Agent Programming Language Based on Action Theories. FroCoS Conrad Drescher, Stephan Schiffel, Michael Thielscher
2009	—	`conf`	Putting ABox Updates into Action. FroCoS Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
2008	B	`conf`	A Fluent Calculus Semantics for ADL with Plan Constraints. JELIA Conrad Drescher, Michael Thielscher
2007	Misc	`conf`	Integrating Action Calculi and Description Logics. KI Conrad Drescher, Michael Thielscher