Conrad Drescher
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| \textsf{LoCo} -- a logic for configuration problems | 2015-12-11 | Paper |
| LoCo—A Logic for Configuration Problems ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| scientific article; zbMATH DE number 5999532 (Why is no real title available?) | 2012-01-23 | Paper |
| ALPprolog - a new logic programming method for dynamic domains Theory and Practice of Logic Programming | 2011-08-16 | Paper |
| Optimization Methods for the Partner Units Problem Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2011-05-26 | Paper |
| Putting ABox updates into action Frontiers of Combining Systems | 2010-01-07 | Paper |
| A declarative agent programming language based on action theories Frontiers of Combining Systems | 2010-01-07 | Paper |
| A Fluent Calculus Semantics for ADL with Plan Constraints Logics in Artificial Intelligence | 2008-10-27 | Paper |
Research outcomes over time
This page was built for person: Conrad Drescher
