|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Markus Aschinger, Conrad Drescher, Georg Gottlob |
Introducing LoCo, a Logic for Configuration Problems  |
LoCoCo  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Michael Thielscher |
ALPprolog --- A New Logic Programming Method for Dynamic Domains  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Conrad Drescher, Inês Lynce, Ralf Treinen (eds.) |
Proceedings Second Workshop on Logics for Component Configuration  |
LoCoCo  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Michael Thielscher |
ALPprolog - A new logic programming method for dynamic domains.  |
TPLP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen |
Tackling the Partner Units Configuration Problem.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen |
Structural Decomposition Methods and What They are Good For.  |
STACS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen |
Optimization Methods for the Partner Units Problem.  |
CPAIOR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher |
Putting ABox Updates into Action.  |
FroCos  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Stephan Schiffel, Michael Thielscher |
A Declarative Agent Programming Language Based on Action Theories.  |
FroCos  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Michael Thielscher |
A Fluent Calculus Semantics for ADL with Plan Constraints.  |
JELIA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Drescher, Michael Thielscher |
Integrating Action Calculi and Description Logics.  |
KI  |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|