TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 9.

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Hacid, Mohand-Saïd and Raś, Zbigniew and Murray, Neil and Tsumoto, Shusaku (eds.) (2005):
Normal Forms for Knowledge Compilation.
In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}'05, Saratoga Springs/NY, USA, Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik (2004):
Linearity and regularity with negation normal form.
In: Theoretical Computer Science, pp. 325--354, 328, (3), [Article]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Fermüller, Christian and Egly, Uwe (eds.) (2002):
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
In: Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Copenhagen, Denmark, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Goré, Rajeev and Leitsch, Alexander and Nipkow, Tobias (eds.) (2001):
Ordered Resolution vs. Connection Graph Resolution.
In: Proc. International Joint Conference on Automated Reasoning IJCAR, Siena, Italy, Springer-Verlag, In: LNCS, 2083, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
de Swart, Harrie (ed.) (1998):
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion.
In: Proc. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oosterwijk, The Netherlands, Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Raś, Zbigniew and Skowron, Andrzej (eds.) (1997):
Completeness for Linear Regular Negation Normal Form Inference Systems.
In: Foundations of Intelligent Systems, 10th International Symposium, {ISMIS}'97, Charlotte, North Carolina, USA, Springer-Verlag, In: LNCS, 1325, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Galmiche, Didier (ed.) (1997):
A Remark on Proving Completeness.
In: Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Pont-`{a}-Mousson, France, [Conference or Workshop Item]

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik
Miglioli, Pierangelo and Moscato, Ugo and Mundici, Daniele and Ornaghi, Mario (eds.) (1996):
A Remark on the P-Simulatability of Proof Systems by Path Dissolution.
In: Short Papers presented at 5th International Workshop, {TABLEAUX'96}, Palermo, Italy, [Conference or Workshop Item]

Beckert, Bernhard and Hähnle, Reiner and Ramesh, Anavai and Murray, Neil
Pfenning, Frank (ed.) (1994):
On Anti-Links.
In: Proc. 5th International Conference on Logic Programming and Automated Reasoning, Kiev, Ukraine, Springer-Verlag, In: LNCS, 822, [Conference or Workshop Item]

This list was generated on Sat Aug 17 00:46:30 2019 CEST.