Publications

Server halma.mpi-inf.mpg.de

Entries sorted by: 1. Author,Editor - 1. by Individual - 2. A..Z Index

Login to this database

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

Year

Author(s) [non member]

Editor(s) [non member]

Title

Type

Althaus, Ernst

1998

Althaus, Ernst

Berechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes

Thesis - Masters thesis

Alur, Rajeev (ed.)

2004

Ganzinger, Harald
[Hagen, George]
[Nieuwenhuis, Robert]
[Oliveras, Albert]
[Tinelli, Cesare]

[Alur, Rajeev]
[Peled, Doron]

DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188

Proceedings Article

Amadio, Roberto

2002

Charatonik, Witold
[Amadio, Roberto]

[Brim, Lubos]
[Jancar, Petr]
[Kretinsky, Mojomir]
[Kucera, Antonin]

On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514

Proceedings Article

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

Anjaneyulu, KSR (ed.)

1996

Krishna Rao, M. R. K.

Anjaneyulu, KSR
Sasikumar, M.
Ramani, S.

Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30

Proceedings Article

Antoy, Sergio

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

Apt, Krzysztof (ed.)

1992

Hanus, Michael

Apt, Krzysztof

On the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206

Proceedings Article

Apt, K. (ed.)

1999

[Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano]

[Apt, K.]
[Marek, V. W.]
[Truszczynski, M.]
[Warren, D. S.]

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

Ardizzone, E. (ed.)

1991

Basin, David A.
Giunchiglia, Fausto
Traverso, P.

Ardizzone, E.
Gaglio, S.
Sorbello, F.

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

Areces, Carlos

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]

Ganzinger, Harald

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

Areces, Carlos (ed.)

2003

de Nivelle, Hans
[Demri, Stéphane]

[Areces, Carlos]
[Blackburn, Patrick]

Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30

Proceedings Article

Argon, Pablo

2001

[Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas

Pacholski, Leszek
Ruzicka, Peter

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

Arikawa, Setsuo (ed.)

1996

Krishna Rao, M. R. K.

Arikawa, Setsuo
Sharma, Arun

A class of Prolog programs inferable from positive data
In: Algorithmic Learning Theory, 272-284

Proceedings Article

Aroyo, Lora (ed.)

2005

Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]

Meersman, Robert
Tari, Zahir
Herrero, Pilar
Méndez, Gonzalo
Cavedon, Lawrence
Martin, David
Hinze, Annika
Buchanan, George
Pérez, María S.
Robles, Víctor
Humble, Jan
Albani, Antonia
Dietz, Jan L.G.
Panetto, Herve
Scannapieco, Monica
Halpin, Terry
Spyns, Peter
Zaha, Johannes Maria
Zimány, Esteban
Stefanakis, Emmanuel
Dillon, Tharam
Feng, Ling
Jarrar, Mustafa
Lehmann, Jos
de Moor, Aldo
Duval, Erik
Aroyo, Lora

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

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)