# | | Year | Author(s) [non member] | | Title | Type | |
1 |
| Althaus, Ernst |
| |
| | 1998 | Althaus, Ernst | | Berechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes | Thesis - Masters thesis | |
1 |
| Alur, Rajeev (ed.) |
| |
| | 2004 | Ganzinger, Harald
[Hagen, George]
[Nieuwenhuis, Robert]
[Oliveras, Albert]
[Tinelli, Cesare] | | DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188 | Proceedings Article | |
1 |
| Amadio, Roberto |
| |
| | 2002 | Charatonik, Witold
[Amadio, Roberto] | | On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514 | Proceedings Article | |
2 |
| Anderson, Penny |
| |
| | 2000 | [Anderson, Penny]
Basin, David A. | | Program Development Schemata as Derived Rules
In: Journal of Symbolic Computation [30], 5-36 | Journal Article | |
| | 1995 | Anderson, Penny
Basin, David A. | | Deriving and Applying Logic Program Transformers
In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), 301-318 | Proceedings Article | |
1 |
| |
| | 1996 | Krishna Rao, M. R. K. | | Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30 | Proceedings Article | |
1 |
| |
| | 1994 | [Antoy, Sergio]
[Echahed, Rachid]
Hanus, Michael | | A Needed Narrowing Strategy
In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), 268-279 | Proceedings Article | |
1 |
| |
| | 1992 | Hanus, Michael | | On the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206 | Proceedings Article | |
1 |
| |
| | 1999 | [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 | Part of a Book | |
1 |
| |
| | 1991 | Basin, David A.
Giunchiglia, Fausto
Traverso, P. | | Automating Meta-Theory Creation and System Extension
In: Proc. Trends in AI: 2nd Congress of the Italian Association for Artificial Intelligence (AI*IA), 48-57 | Proceedings Article | |
2 |
| |
| | 2001 | [Areces, Carlos]
[de Rijke, Maarten]
de Nivelle, Hans | | Resolution in modal, description and hybrid logic
In: Journal of Logic and Computation [11], 717-736 | Journal Article | |
| | 1999 | de Nivelle, Hans
[Areces, Carlos]
[de Rijke, Maarten] | | Prefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201 | Proceedings Article | |
1 |
| Areces, Carlos (ed.) |
| |
| | 2003 | de Nivelle, Hans
[Demri, Stéphane] | | Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30 | Proceedings Article | |
1 |
| Argon, Pablo |
| |
| | 2001 | [Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas | | Model Checking for Communication Protocols
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170 | Proceedings Article | |
1 |
| Arikawa, Setsuo (ed.) |
| |
| | 1996 | Krishna Rao, M. R. K. | | A class of Prolog programs inferable from positive data
In: Algorithmic Learning Theory, 272-284 | Proceedings Article | |
1 |
| Aroyo, Lora (ed.) |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27 | Proceedings Article | |