Server halma.mpi-inf.mpg.de
Entries sorted by: 5. Year - 8. Counting Publications
Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
| # | Y |  | Author/Editor | | Title | |
|---|
| 1 |
 | 2013 |
| |
| 2 |
| |
| 16 |
| 2007 |
| |
| 43 |
| |
| 41 |
| 2005 |
| |
| 37 |
| |
| 36 |
| 2003 |
| |
| 39 |
| |
| 58 |
| 2001 |
| |
| 48 |
| |
| 61 |
 | 1999 |
| |
| 6 |
|
| |
| | | Basin, David A.
Krieg-Brückner, Bernd | | Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562 | |
| | | Bozzano, Marco
Delzanno, Giorgio
Martelli, Maurizio
Mascardi, Viviana
Zini, Floriano | | Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32 | |
| | | Nonnengart, Andreas
Szalas, Andrzej | | A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18 | |
| | | van der Torre, Leendert W. N.
Tan, Yao-Hua | | An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90 | |
| | | van der Torre, Leendert W. N.
Tan, Yao-Hua | | Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192 | |
| | | Weydert, Emil | | JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Spinning Ideas - Electronic Essays Dedicated to Peter Gaerdenfors on His Fiftieth Birthday, 1-11 | |
| 2 |
|
| Proceedings |
| |
| 30 |
|
| |
| 15 |
|
| Journal Article |
| |
| 3 |
|
| |
| 5 |
|
| Thesis - PhD thesis |
| |
| 73 |
| |
| 42 |
| 1997 |
| |
| 64 |
| |
| 55 |
| 1995 |
| |
| 64 |
| |
| 47 |
| 1993 |
| |
| 26 |
| |
Previous Page |
Next Page |
Expand All |
Collapse All |
Search (Full Text)
