Conrad Drescher : Publications
Journal papers
-
[1]
ALPprolog — A New Logic Programming Method for Dynamic Domains
Conrad Drescher and Michael Thielscher
In Theory and Practice of Logic Programming. 2011.
Proceedings of the 27th International Conference on Logic Programming (ICLP 2011) − Special Issue of TPLP
Details about ALPprolog — A New Logic Programming Method for Dynamic Domains | BibTeX data for ALPprolog — A New Logic Programming Method for Dynamic Domains | Download (pdf) of ALPprolog — A New Logic Programming Method for Dynamic Domains
Conference papers
-
[1]
The Partner Units Problem − A Constraint Programming Case Study
Conrad Drescher
In Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence‚ ICTAI'12. 2012.
Details about The Partner Units Problem − A Constraint Programming Case Study | BibTeX data for The Partner Units Problem − A Constraint Programming Case Study | Download (pdf) of The Partner Units Problem − A Constraint Programming Case Study
-
[2]
Unifying Software and Product Configuration: A Research Roadmap
Arnaud Hubaux‚ Dietmar Jannach‚ Conrad Drescher‚ Leonardo Murta‚ Tomi Mannisto‚ Krzysztof Czarnecki‚ Patrick Heymans‚ Tien Nguyen and Markus Zanker
In Proceedings of the ECAI 2012 Workshop on Configuration. 2012.
Details about Unifying Software and Product Configuration: A Research Roadmap | BibTeX data for Unifying Software and Product Configuration: A Research Roadmap | Download (pdf) of Unifying Software and Product Configuration: A Research Roadmap
-
[3]
LoCo — A Logic for Configuration Problems
Markus Aschinger‚ Conrad Drescher and Heribert Vollmer
In Proceedings of the 20th European Conference on Artificial Intelligence‚ ECAI 2012. 2012.
Details about LoCo — A Logic for Configuration Problems | BibTeX data for LoCo — A Logic for Configuration Problems | Download (pdf) of LoCo — A Logic for Configuration Problems
-
[4]
Introducing LoCo‚ a Logic for Configuration Problems
Markus Aschinger‚ Conrad Drescher and Georg Gottlob
In Proceedings of the 2nd Workshop on Logics for Component Configuration‚ LoCoCo 2011. Perugia‚ Italy. 2011.
Details about Introducing LoCo‚ a Logic for Configuration Problems | BibTeX data for Introducing LoCo‚ a Logic for Configuration Problems | Download (pdf) of Introducing LoCo‚ a Logic for Configuration Problems
-
[5]
Tackling the Partner Units Configuration Problem
Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob‚ Peter Jeavons and Evgenij Thorstensen
In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Barcelona‚ Spain. 2011.
Details about Tackling the Partner Units Configuration Problem | BibTeX data for Tackling the Partner Units Configuration Problem | Download (pdf) of Tackling the Partner Units Configuration Problem
-
[6]
Optimization Methods for the Partner Units Problem
Markus Aschinger‚ Conrad Drescher‚ Gerhard Friedrich‚ Georg Gottlob‚ Peter Jeavons‚ Anna Ryabokon and Evgenij Thorstensen
In Proceedings of the 8th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2011). Berlin‚ Germany. 2011.
Details about Optimization Methods for the Partner Units Problem | BibTeX data for Optimization Methods for the Partner Units Problem | Download (pdf) of Optimization Methods for the Partner Units Problem
-
[7]
Putting ABox Updates into Action
Conrad Drescher‚ Hongkai Liu‚ Franz Baader‚ Peter Steinke and Michael Thielscher
In Proceedings of the Workshop on Nonmonotonic Reasoning‚ Action and Change (NRAC 2009). Pasadena‚ California‚ USA. 2009.
Details about Putting ABox Updates into Action | BibTeX data for Putting ABox Updates into Action
-
[8]
Putting ABox Updates into Action
Conrad Drescher‚ Hongkai Liu‚ Franz Baader‚ Steffen Guhlemann‚ Uwe Petersohn‚ Peter Steinke and Michael Thielscher
In Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009). Trento‚ Italy. 2009.
Details about Putting ABox Updates into Action | BibTeX data for Putting ABox Updates into Action
-
[9]
A Declarative Agent Programming Language Based On Action Theories
Conrad Drescher‚ Stephan Schiffel and Michael Thielscher
In Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009). Trento‚ Italy. 2009.
Details about A Declarative Agent Programming Language Based On Action Theories | BibTeX data for A Declarative Agent Programming Language Based On Action Theories
-
[10]
A Fluent Calculus Semantics for ADL with Plan Constraints
Conrad Drescher and Michael Thielscher
In Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008). Dresden‚ Germany. 2008.
Details about A Fluent Calculus Semantics for ADL with Plan Constraints | BibTeX data for A Fluent Calculus Semantics for ADL with Plan Constraints
-
[11]
Integrating Action Calculi and Description Logics
Conrad Drescher and Michael Thielscher
In Proceedings of the 30th Annual German Conference on Artificial Intelligence (KI 2007). Osnabrueck‚ Germany. 2007.
Details about Integrating Action Calculi and Description Logics | BibTeX data for Integrating Action Calculi and Description Logics
Technical reports
-
[1]
Tackling the Partner Units Configuration Problem
Markus Aschinger‚ Conrad Drescher‚ Gerhard Friedrich‚ Georg Gottlob‚ Peter Jeavons‚ Anna Ryabokon and Evgenij Thorstensen
No. CS−RR−10−28. Computing Laboratory‚ University of Oxford. 2010.
Details about Tackling the Partner Units Configuration Problem | BibTeX data for Tackling the Partner Units Configuration Problem | Download (pdf) of Tackling the Partner Units Configuration Problem
Miscellaneous
-
[1]
Structural Decomposition Methods‚ and What They are Good For
Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob‚ Peter Jeavons and Evgenij Thorstensen
2011.
Invited Paper at STACS 2011
Details about Structural Decomposition Methods‚ and What They are Good For | BibTeX data for Structural Decomposition Methods‚ and What They are Good For | Download (pdf) of Structural Decomposition Methods‚ and What They are Good For