Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
Agreement and coalition formation in multiagent-based virtual marketplaces
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
Health data management in the medical arena
AIC'04 Proceedings of the 4th WSEAS International Conference on Applied Informatics and Communications
Knowledge-Based Systems
Argumentation-based decision making in ambient intelligence environments
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Intelligent mixed reality for the creation of ambient assisted living
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Inter-organization cooperation for ambient assisted living
Journal of Ambient Intelligence and Smart Environments
Electronic health records: organizational, regional, national, or worldwide?
BEBI'08 Proceedings of the 1st WSEAS international conference on Biomedical electronics and biomedical informatics
Using personality types to support argumentation
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
| Hi-index | 0.00 |
There is as yet no general agreement as to the best solution to the operation of time and negation in data bases. This paper presents an approach to handle these problems in a logic data base system. A simple logic interpreter is introduced that allows for effective reasoning based on the manipulation of a sequence of snapshots. These ideas have been realized in an extension to the query language Query-By-Example, which has been implemented in the logic programming language Prolog.