The Abductive Event Calculus as a general framework for temporal databases | Zendy

Kristof Van Belleghem | Zendy; Marc Denecker | Zendy; Danny De Schreye | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

The Abductive Event Calculus as a general framework for temporal databases

Author(s) -

Kristof Van Belleghem,

Marc Denecker,

Danny De Schreye

Publication year - 1994

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-58241-X

DOI - 10.1007/bfb0013995

Subject(s) - event calculus , computer science , formalism (music) , temporal logic , logic programming , knowledge representation and reasoning , programming language , description logic , theoretical computer science , data integrity , circumscription , database theory , artificial intelligence , database , database design , art , musical , visual arts

. In earlier work, we have shown that the formalism of abductivelogic programs with FOL integrity constraints provides, under acompletion semantics, the same declarative expressivity for representingincomplete information as full first order logic. We have shown how thecombination of this formalism with a variant of the Event Calculus ofKowalski and Sergot results in a correct and very expressive frameworkfor temporal reasoning and representation. In this paper we demonstratehow this...

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research