Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994
DBLP:	db/conf/ictl/ictl1994.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 33  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Silvana Badaloni, Marina Berati. Dealing with Time Granularity in a Temporal Planning System.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol. A Real Time Process Logic.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Kristof Van Belleghem, Marc Denecker, Danny De Schreye. The Abductive Event Calculus as a General Framework for Temporal Databases.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Orna Bernholtz, Orna Grumberg. Buy One, Get One Free!!!	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Leopoldo E. Bertossi, Cristian Ferretti. SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Patrick Blackburn, Claire Gardent, Maarten de Rijke. Back and Forth Through Time and Events.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Michael H. Böhlen, Robert W. Marti. On the Completeness of Temporal Database Query Languages.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Anthony J. Bonner, Michael Kifer. Applications of Transaction Logic to Knowledge Representation.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Jan Chomicki. Temporal Query Languages: A Survey.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994
	Conference paper Clare Dixon, Michael Fisher, Howard Barringer. A Graph-Based Approach to Resolution in Temporal Logic.	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings 1994	(0)	1994

Show item 1 to 10 of 33  

Your query returned 33 matches in the database.