Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

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		Title	BibTeX cite key
Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz
Damm, Pinto, Ratschan
Daum, Maus, Schirmer, Seghir
de Nivelle
de Nivelle, Areces, de Rijke
de Nivelle, Baumgartner, Fuchs, Tinelli
de Nivelle, Bezem, Hendriks
de Nivelle, Blackburn, Bos, Kohlhase
de Nivelle, de Rijke
de Nivelle, Demri
de Nivelle, Hustadt, Schmidt
de Nivelle, Kazakov
de Nivelle, Meng
de Nivelle, Piskac
de Nivelle, Pratt-Hartmann
de Nivelle, Schulz (ed.)
de Raedt, Jaeger, Lee, Mannila
Degtyarev, Gurevich, Narendran, Veanes, Voronkov
Delahaye, Jaume, Prevosto
Delzanno
Delzanno, Esparza, Podelski
Delzanno, Galmiche, Martelli
Delzanno, Podelski
Delzanno, Raskin
Dimitrova
Dimopoulos
	1996		On Computing Logic Programs In: Journal of Automated Reasoning [17], 259-289	Domopoulos96
	1994		Classical Methods in Nonmonotonic Reasoning In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), 500-510	dim94a
	1994		The Computational Value of Joint Consistency In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65	dim94c
Dimopoulos, Magirou

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