Вы здесь

Denecker M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Strong Correspondence between Description Logics and Open Logic Programming 1997 Van Belleghem K., Denecker M., De Schreye D. Logic Programming 11.03.1998
СТ A Terminological Interpretation of (Abductive) Logic Programming 1995 Denecker M. Lecture Notes in Artificial Intelligence 06.07.1995
СТ Abstracting s-semantics Using a Model-Theoretic Approach 1994 Boulanger D., Bruynooghe M., Denecker M. Lecture Notes in Computer Science 13.10.1994
СТ Combining Situation Calculus and Event Calculus 1995 Van Belleghem K., Denecker M., De Schreye D. Logic Programming: Proc. of the Twelfth Intern. Conf. 06.05.1996
СТ Compositionality of Normal Open Logic Programs 1997 Verbaeten S., Denecker M., De Schreye D. Logic Programming 05.03.1998
СТ Data Integration Using ID-Logic 2004 Van Nuffelen B., Cortes-Calabuig A., Denecker M., Arieli O., Bruynooghe M. Lecture Notes in Computer Science Lecture Notes in Computer Science 13.07.2004
СТ Detecting Unsolvable Queries for Definite Logic Programs 1998 Bruynooghe M., Vandecasteele H., De Waal D. A., Denecker M. Lecture Notes in Computer Science 13.10.1998
СТ On the Transformation of Object-Oriented Conceptual Models to Logical Theories 2002 Bekaert P., Van Nuffelen B., Bruynooghe M., Gilis D., Denecker M. Lecture Notes in Computer Science 31.10.2002
СТ Representing Incomplete Knowledge in Abductive Logic Programming 1993 Denecker M., De Schreye D. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ SLDNFA: an Abductive Procedure for Normal Abductive Programs 1992 Denecker M., De Scherye D. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ The Abductive Event Calculus as a General Framework for Temporal Databases 1994 Van Belleghem K., Denecker M., De Schreye D. Lecture Notes in Artificial Intelligence 12.08.1994
СТ Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates 2001 Denecker M., Pelov N., Bruynooghe M. Lecture Notes in Computer Science 08.11.2001