 | 2011 |
|---|
| 11 |       | Conrad Drescher,
Inês Lynce,
Ralf Treinen:
Proceedings Second Workshop on Logics for Component Configuration
LoCoCo 2011 |
| 10 | | Markus Aschinger,
Conrad Drescher,
Gerhard Friedrich,
Georg Gottlob,
Peter Jeavons,
Anna Ryabokon,
Evgenij Thorstensen:
Optimization Methods for the Partner Units Problem.
CPAIOR 2011: 4-19 |
| 9 | | Markus Aschinger,
Conrad Drescher,
Georg Gottlob,
Peter Jeavons,
Evgenij Thorstensen:
Tackling the Partner Units Configuration Problem.
IJCAI 2011: 497-503 |
| 8 | | Markus Aschinger,
Conrad Drescher,
Georg Gottlob:
Introducing LoCo, a Logic for Configuration Problems
LoCoCo 2011: 36-45 |
| 7 | | Markus Aschinger,
Conrad Drescher,
Georg Gottlob,
Peter Jeavons,
Evgenij Thorstensen:
Structural Decomposition Methods and What They are Good For.
STACS 2011: 12-28 |
| 6 | | Conrad Drescher,
Michael Thielscher:
ALPprolog --- A New Logic Programming Method for Dynamic Domains
CoRR abs/1107.5242: (2011) |
| 5 | | Conrad Drescher,
Michael Thielscher:
ALPprolog - A new logic programming method for dynamic domains.
TPLP 11(4-5): 451-468 (2011) |
| 2009 |
|---|
| 4 | | Conrad Drescher,
Hongkai Liu,
Franz Baader,
Steffen Guhlemann,
Uwe Petersohn,
Peter Steinke,
Michael Thielscher:
Putting ABox Updates into Action.
FroCos 2009: 214-229 |
| 3 | | Conrad Drescher,
Stephan Schiffel,
Michael Thielscher:
A Declarative Agent Programming Language Based on Action Theories.
FroCos 2009: 230-245 |
| 2008 |
|---|
| 2 | | Conrad Drescher,
Michael Thielscher:
A Fluent Calculus Semantics for ADL with Plan Constraints.
JELIA 2008: 140-152 |
| 2007 |
|---|
| 1 | | Conrad Drescher,
Michael Thielscher:
Integrating Action Calculi and Description Logics.
KI 2007: 68-83 |
Data released under the ODC-BY 1.0 license — See also our legal information page