1,719 Hits in 4.5 sec

Page 8274 of Mathematical Reviews Vol. , Issue 2001K [page]

2001 Mathematical Reviews  
Summary: “A model theory of a typed, declarative, temporal object-oriented language system is presented.  ...  In contradistinction to major difficulties in developing a model theory for full-fledged, typed procedural object-oriented languages, this paper shows that such a task be- comes possible for a suitably  ... 

Knowledge-Based Approach to the Executable Design Concept

Grzegorz J. Nalepa, Igor Wojnicki
2007 Deutsche Jahrestagung für Künstliche Intelligenz  
The Executable Design is a concept which allows to close the so-called semantic gap which exists between software design and its implementation.  ...  HeKatE project aims at developing a methodology and supporting technologies for Software Engineering based on Knowledge Engineering methods and paradigms.  ...  There is also a number of Object-Oriented interfaces and extensions in Prolog. The best example is LogTalk [15] (  ... 
dblp:conf/ki/NalepaW07a fatcat:2zrlfypz5jbp5nwkg7dmftrxr4

An object-oriented modelling enviornment

T. W. Page, S. Berson, W. Cheng, R. R. Muntz
1989 SIGPLAN notices  
This system has been prototyped in an objectoriented extension to Prolog. The impact that these two paradigms, logic and objects, have had on the design is discussed.  ...  Many tools and techniques exist for the modeling and analysis of computer and communication systems. These tools are often complex and tailored to a narrow range of problems.  ...  Acknowledgements The authors wish to acknowledge the contributions of Gary Rozenblat, Leana Golubchik, and Jon Edwards to the implementation of the Tangram modeling system.  ... 
doi:10.1145/74878.74907 fatcat:gbmtj3hcujh7toavzblrsvf2ta

Proposal of Generalized Rule Programming Model

Grzegorz J. Nalepa, Igor Wojnicki
2007 Deutsche Jahrestagung für Künstliche Intelligenz  
No generic solution for using rules to model business logic in classic software has been provided so far. In this paper a new approach for Generalized Rule-based Programming (GREP) is given.  ...  However, there are some fundamental semantical differences between it, and classic programming approaches.  ...  However, it does has a major drawback: the object-oriented semantics is very distant from the declarative rule semantics of GREP.  ... 
dblp:conf/ki/NalepaW07b fatcat:6cwrjuoyeja6xeokiieng2dl5u

Methodologies and Technologies for Rule-Based Systems Design and Implementation. Towards Hybrid Knowledge Engineering [chapter]

Grzegorz J. Nalepa
2008 Studies in Computational Intelligence  
It is a top-down hierarchical design methodology, based on new knowledge representation methods (XTT and ARD), on-line logical system analysis in Prolog, and XMLbased knowledge encoding.  ...  A preview of the Hekate project, which aims at developing a hybrid knowledge engineering methodology is also given.  ...  Java is a classic object-oriented programming language. However, it has become a language of choice for many Web-related AI projects.  ... 
doi:10.1007/978-3-540-77475-4_12 fatcat:uheal5zrazb5jn3jnyy2vunkq4

A survey of languages integrating functional, object-oriented and logic programming

K.W. Ng, C.K. Luk
1995 Microprocessing and Microprogramming  
All possible combinations of the three paradigms, namely logic + object-oriented, functional + logic, functional + object-oriented, and object-oriented + logic + functional, are considered separately.  ...  For the purpose of classification, we have proposed a design space of programming languages called the FOOL-space.  ...  Vulcan Vulcan [KTMB87] is a higher-lever language for object-oriented programming based on Concurrent Prolog [Sha87] .  ... 
doi:10.1016/0165-6074(94)00017-5 fatcat:wsjk5mpohnd2llne5k5s4i67iu

A goal-directed implementation of query answering for hybrid MKNF knowledge bases

2013 Theory and Practice of Logic Programming  
In this paper we provide such algorithms, and describe the implementation of a query-driven system,CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics  ...  semantics, and the ontology is modeled by a general oracle.  ...  Related Work CDF was originally developed in 2002-2003, and Type-0 ontologies were envisioned as a means to represent object-oriented knowledge in Prolog.  ... 
doi:10.1017/s1471068412000439 fatcat:ojemxrugrvehti6qqkk7fa5u3i

Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise

Suzette Stoutenburg, Leo Obrst, Deborah Nichols, Jason Peterson, Adrian Johnson
2005 W3C Workshops  
Separation of rules from executable code provides the foundation for dynamic system behavior and agile response to outside events.  ...  As the complexity and tempo of the world increase, C2 systems must move to a new paradigm that supports the ability to dynamically modify system behavior in complex, changing environments.  ...  Further application of reaction rules enables a UAV to be automatically deployed for a closer look at the unknown object.  ... 
dblp:conf/w3c/StoutenburgONPJ05 fatcat:kb47ykozrvdwtmev4roqncivvu

Logic-based configuration with a semantic network

David B Searls, Lewis M Norton
1990 The Journal of Logic Programming  
BEACON is based on a semantic network, KNET, implemented in PROLOG.  ...  Unlike other configuration expert systems, BEACON uses a declarative, logic-based approach, as opposed to a data-driven production system or hybrid design.  ...  BEACON is based on a semantic network, KNET, implemented in PROLOG.  ... 
doi:10.1016/0743-1066(90)90051-6 fatcat:l2jfzsqtdvgw3bzebbwpwapgbm

Towards Hybrid Techniques for Efficient Declarative Configuration

Ingo Feinerer
2012 International Configuration Workshop  
We argue for hybrid systems which combine and utilize efficient techniques from different configuration methodologies under a unified declarative interface.  ...  During the last decades configuration has been extensively employed in a wide range of application domains, implemented by a multitude of techniques like logics, procedural, object-oriented, or resourced-driven  ...  We argue for hybrid systems which combine specialized techniques from other fields into a unified declarative interface.  ... 
dblp:conf/confws/Feinerer12 fatcat:pnpe6eqkejhebo7vdt5zpzhheu

Implementing Query Answering for Hybrid MKNF Knowledge Bases [chapter]

Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
2010 Lecture Notes in Computer Science  
In this paper we provide such algorithms, and describe the implementation of a query-driven system, CDF-Rules, for hybrid knowledge bases combining both (non-monotonic) rules under the well-founded semantics  ...  semantics, and the ontology is modeled by a general Oracle.  ...  having, in fact, been integrated in Prolog systems.  ... 
doi:10.1007/978-3-642-11503-5_4 fatcat:eobsm4gnkfg73pr6s7yglojk7u

Towards Logic Programming as a Service: Experiments in tuProlog

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
2016 Workshop From Objects to Agents  
In particular, we present tuProlog as-a-service, a Prolog engine based on the tuProlog core made available as an encapsulated service to effectively support the spreading of intelligence in pervasive systems-mainly  ...  In this paper we explore the perspective of Logic Programming as a Service (LPaaS), with a broad notion of "service" going beyond the mere handling of the logic engine lifecycle, knowledge base management  ...  Also, we would like to thank Asia Mariani for her help in fixing the last version of the paper.  ... 
dblp:conf/woa/CalegariDMO16 fatcat:n5rj7z4uofamdcqq6v4xxc3ocu

The Functional Perspective on Advanced Logic Programming

Alexander Vandenbroucke, Marc Herbstritt
2016 International Conference on Logic Programming  
The basics of logic programming, as embodied by Prolog, are generally well-known in the programming language community.  ...  However, more advanced techniques, such as tabling, answer subsumption and probabilistic logic programming fail to attract the attention of a larger audience.  ...  I would like to thank the reviewers for taking the time to provide insightful comments and in-depth remarks.  ... 
doi:10.4230/oasics.iclp.2016.20 dblp:conf/iclp/Vandenbroucke16 fatcat:ljbcyks7tne63kbjlbgvyf37va

2P-Kt: logic programming with objects & functions in Kotlin

Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
2020 Workshop From Objects to Agents  
., object-oriented programming (OOP) and functional programming (FP).  ...  In particular, we present a Kotlin DSL for Prolog, showing how the Kotlin multiparadigm (OOP+FP) language can be enriched with LP in a straightforward and effective way.  ...  A. Omicini has been partially supported by the H2020 Project "AI4EU" (G.A. 825619).  ... 
dblp:conf/woa/CiattoCSDO20 fatcat:l665pewrrfavridah7nabokxnm

TRIPLE—A Query, Inference, and Transformation Language for the Semantic Web [chapter]

Michael Sintek, Stefan Decker
2002 Lecture Notes in Computer Science  
One of the most important differences to F-Logic and SiLRI is that TRIPLE does not have a fixed semantics for object-oriented features like classes and inheritance.  ...  FaCT [9], resulting in a hybrid rule language. This paper sketches syntax and semantics of TRIPLE.  ...  navigation purposes, path expressions have proven to be very useful in object oriented languages.  ... 
doi:10.1007/3-540-48005-6_28 fatcat:6s5wcxax7rbnnd2bxhtw46ov7e
« Previous Showing results 1 — 15 out of 1,719 results