Sciweavers

2293 search results - page 86 / 459
» Temporal Logic in Information Systems
Sort
View
TPLP
2002
99views more  TPLP 2002»
14 years 9 months ago
Using Methods of Declarative Logic Programming for Intelligent Information Agents
At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources avail...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
VLDB
1998
ACM
134views Database» more  VLDB 1998»
15 years 2 months ago
Design, Implementation, and Performance of the LHAM Log-Structured History Data Access Method
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...
Peter Muth, Patrick E. O'Neil, Achim Pick, Gerhard...
WEBDB
2007
Springer
117views Database» more  WEBDB 2007»
15 years 4 months ago
XML Information Retrieval Considering Physical Page Layout of Logical Elements
XML information retrieval (XML-IR) systems utilize the logical structure of XML documents for retrieving relevant elements. From a practical point of view, displaying the search r...
Toshiyuki Shimizu, Masatoshi Yoshikawa
TARK
2007
Springer
15 years 4 months ago
A normal simulation of coalition logic and an epistemic extension
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
Jan Broersen, Andreas Herzig, Nicolas Troquard
ACL
2006
14 years 11 months ago
An Intermediate Representation for the Interpretation of Temporal Expressions
The interpretation of temporal expressions in text is an important constituent task for many practical natural language processing tasks, including question-answering, information...
Pawel P. Mazur, Robert Dale