Conrad Drescher

According to our database, Conrad Drescher authored at least 14 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

LoCo - A Logic for Configuration Problems.

Markus Aschinger, Conrad Drescher, Georg Gottlob, Heribert Vollmer

ACM Trans. Comput. Log., 2014

2012

The Partner Units Problem a Constraint Programming Case Study.

Conrad Drescher

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

LoCo - A Logic for Configuration Problems.

Markus Aschinger, Conrad Drescher, Heribert Vollmer

Proceedings of the ECAI 2012, 2012

Unifying Software, Product Configuration: A Research Roadmap.

Arnaud Hubaux, Dietmar Jannach, Conrad Drescher, Leonardo Murta, Tomi Männistö, Krzysztof Czarnecki, Patrick Heymans, Tien Nguyen, Markus Zanker

Proceedings of the Workshop on Configuration at ECAI 2012, 2012

2011

Action Logic Programs: How to Specify Strategic Behavior in Dynamic Domains Using Logical Rules.

Conrad Drescher

PhD thesis, 2011

ALPprolog - A new logic programming method for dynamic domains.

Conrad Drescher, Michael Thielscher

Theory Pract. Log. Program., 2011

Introducing LoCo, a Logic for Configuration Problems

Markus Aschinger, Conrad Drescher, Georg Gottlob

Proceedings of the Proceedings Second Workshop on Logics for Component Configuration, 2011

Structural Decomposition Methods and What They are Good For.

Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen

Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

Tackling the Partner Units Configuration Problem.

Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen

Proceedings of the IJCAI 2011, 2011

Optimization Methods for the Partner Units Problem.

Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

2009

A Declarative Agent Programming Language Based on Action Theories.

Conrad Drescher, Stephan Schiffel, Michael Thielscher

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Putting ABox Updates into Action.

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2008

A Fluent Calculus Semantics for ADL with Plan Constraints.

Conrad Drescher, Michael Thielscher

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

Integrating Action Calculi and Description Logics.

Conrad Drescher, Michael Thielscher

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007