Logical Foundations of Computer Science

1996 ◽  
Vol 11 (3) ◽  
pp. 281-288 ◽  
Author(s):  
Luca Chittaro ◽  
Angelo Montanari

Time is one of the most relevant topics in AI. It plays a major role in several of AI research areas, ranging from logical foundations to applications of knowledge-based systems. Despite the ubiquity of time in AI, researchers tend to specialise and focus on time in particular contexts or applications, overlooking meaningful connections between different areas. In an attempt to promote crossfertilisation and reduce isolation, the Temporal Representation and Reasoning (TIME) workshop series was started in 1994. The third edition of the workshop was held on May 19–20 1996 in Key West, FL, with S. D. Goodwin and H. J. Hamilton as General Chairs, and L. Chittaro and A. Montanari as Program Chairs. A particular emphasis was given to the foundational aspects of temporal representation and reasoning through an investigation of the relationships between different approaches to temporal issues in AI, computer science and logic.


2014 ◽  
Vol 25 (7) ◽  
pp. 1463-1465
Author(s):  
ULRICH BERGER ◽  
VASCO BRATTKA ◽  
VICTOR SELIVANOV ◽  
DIETER SPREEN ◽  
HIDEKI TSUIKI

This special issue of Mathematical Structures in Computer Science is composed mainly of papers submitted by participants of the Dagstuhl Seminar on Computing with Infinite Data: Topological and Logical Foundations. The workshop took place in the Schloss Dagstuhl - Leibniz Center for Informatics in the first half of October 2011.


Sign in / Sign up

Export Citation Format

Share Document