OBJECTS IN A LOGIC PROGRAMMING FRAMEWORK

被引：0

作者：

BROGI, A ^{[1
]}

LAMMA, E ^{[1
]}

MELLO, P ^{[1
]}

机构：

[1] UNIV BOLOGNA,DEIS,I-40136 BOLOGNA,ITALY

来源：

LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1992年 / 592卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Some basic notions of object-oriented programming such as objects, messages and inheritance are provided of a clean definition according to the logic programming paradigm. Objects are represented by logic theories, while inheritance mechanisms are expressed through meta-level axioms. The sending of a message is interpreted as a request for the proof of a formula. The main contribution of the paper is to provide a clean semantic characterization for these notions defining both a proof-theory and a compositional model-theory.

引用

页码：102 / 113

页数：12

共 50 条

[21] A Functorial Framework for Constraint Normal Logic Programming
P. Lucio
F. Orejas
E. Pasarella
E. Pino
Applied Categorical Structures, 2008, 16 : 421 - 450
[22] An abductive framework for negation in disjunctive logic programming
Aravindan, C
LOGICS IN ARTIFICIAL INTELLIGENCE, 1996, 1126 : 252 - 267
[23] A logic programming framework for combinational circuit synthesis
Tarau, Paul
Luderman, Brenda
LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 180 - +
[24] A functorial framework for constraint normal logic programming
Lucio, Paqui
Orejas, Fernando
Pasarella, Edelmira
Pino, Elvira
ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, 2006, 4060 : 555 - 577
[25] Constraint logic programming framework for integrated decision supports
Ryu, YU
DECISION SUPPORT SYSTEMS, 1998, 22 (02) : 155 - 170
[26] A Distributed Argumentation Framework using Defeasible Logic Programming
Thimm, Matthias
Kern-Isberner, Gabriele
COMPUTATIONAL MODELS OF ARGUMENT, PROCEEDINGS OF COMMA 2008, 2008, 172 : 381 - 392
[27] Integrating lists, multisets, and sets in a logic programming framework
Dovier, A
Policriti, A
Rossi, G
FRONTIERS OF COMBINING SYSTEMS, 1996, 3 : 303 - 319
[28] A logic programming based framework for security protocol verification
Wang, Shujing
Zhang, Yan
FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2008, 4994 : 638 - 643
[29] On reductants in the framework of multi-adjoint logic programming
Julian-Iranzo, Pascual
Medina, Jesus
Ojeda-Aciego, Manuel
FUZZY SETS AND SYSTEMS, 2017, 317 : 27 - 43
[30] Free Objects in Constraint-logic Object-oriented Programming
Dagefoerde, Jan C.
Winkelmann, Hendrik
Kuchen, Herbert
PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021, 2021,

← 1 2 3 4 5 →