![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Book Series
-
Book
Fully Integrated Data Environments
Persistent Programming Languages, Object Stores, and Programming Environments
-
Book
-
Book
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Temporal database technology for air traffic flow management
The function of air traffic flow management (ATFM) is to ensure that air traffic operates within adequate margins of safety. Existing ATFM systems are manual which are over-conservative in. operation resulting...
-
Book
-
Book
-
Book and Conference Proceedings
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Logic for knowledge representation
The very terminology "logic programming" tends to reinforce the view that logic is another, albeit very important, tool to further the ends of the software engineer. This perhaps has distracted attention from ...