The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Logic programming emphasises a de- scriptive approach to computing, where a program is a formal, executable specification of a problem, in contrast to the imperative approach, where a program just describes ... (J-TOYT-C; Toyohashi) An alternative approach to the semantics of disjunctive logic programs and deductive databases. (English summary) J. Automat. Reason. 13 (1994), no. 1, 145-172. ...
First, declarative model for scheduling problem domain is introduced. After that model is interpreted as scheduling domain language and as predicate transition Petri net. ... This paper presents deductive programming for scheduling scenario generation. Modeling for solution is achieved through program transformations. ... First, deductive programming will be used as methodology for solution to scheduling problem. ...arXiv:1304.3716v1 fatcat:eyn5q5jor5elnemrym3c2h55zi
In F-Logic, a comprehensive deductive and object-oriented formalism [M. Kifer, G. Lausen and J. Wu, J. Assoc. Comput. ... When combining the deductive and the object-oriented approaches, it can happen that facts deduced by the explicit rules conflict with facts deduced implicitly by inheritance. ...
problem becomes less complex, etc. ... Approaches prior to this paper include minimalism, default logic, and negation as fail- ure. ...
The proper integration provides a flexible and powerful environment, as rule-based components provide facilities for deductive retrieval and pattern matching, and object-oriented components provide a clear ... Based on the knowledge object concept, this paper presents a factor-centered representation language, Factor++, which models logic rules into the object-oriented paradigm, and a scheduling system, Schedular ... ACKNOWLEDGMENT The authors are grateful to the three anonymous referees for their constructive comments and references on the first version of the paper, and to the Associate Editor for his/her supportive ...doi:10.1109/3468.833091 fatcat:33atm5xytrc5rajlytyhm3tfxi
Finally, there are new issues raised by the introduction of higher functionality such as knowledge-based or object-oriented capabilities within a parallel database system. ... Parallel database systems attempt to exploit recent multiprocessor computer architectures in order to build high-performance and high-availability database servers at a much lower price than equivalent ... The introduction of object-oriented capabilities also creates significant difficulties related to complex object declustering, transaction management, proper object-oriented operating system support and ...doi:10.1007/bf01264049 fatcat:owb356rtkra5fplbwktkwogdfi
Lecture Notes in Computer Science
The deductive capabilities provided by a deductive database o er some assistance in solving these problems, in particular by enabling spatial reasoning to be performed by a Geographic Information System ... In addition, deductive capabilities are shown to be essential for automatic data input and update in a GDB. ... Fernandes and M.L. Barja, for which w e are sincerely thankful. We w ould also like to thank Mr Neil Smith of Ordnance Survey and Dr. J.M.P. ...doi:10.1007/3-540-56869-7_25 fatcat:hksvzi3iq5dlpftbyuxrlrhroq
Lecture Notes in Computer Science
Such approaches address the need to describe the interactions of a system with its environment, and to express complex behaviourai requirements. ... In the behaviour-oriented approach, as discussed in FEATHER'S contribution, a system is specified in terms of its possible events and its reactions to those events. ... Such approaches address the need to describe the interactions of a system with its environment, and to express complex behaviourai requirements. ...doi:10.1007/3-540-57499-9_14 fatcat:eztaayoch5crzf76amxx6q7r3i
The resulting system is a flexible, yet efficient, KBS that gives the user the ability to express knowledge in a variety of high-level forms for advanced problem solving in data intensive applications. ... rule into one event-driven rule, offering centralized rule selection control for correct run-Lime behavior and conflict resolution, and b) using complex events to map the. conditions of production rules ... The pcrfonnance of deductive rules using the E-DEVICE approach was mea~ured to be fa~ter than the one-to-many approach on incremental insenions and deletions while under a set-oriented rule execuLion scheme ...doi:10.1109/69.877511 fatcat:simlo4bhvrfytlnz5hlgzqaocm
integration, particularly on agent-based approaches to these difficult problems. ... Traditional optimization approaches to these problems do not consider the constraints of both domains simultaneously and result in suboptimal solutions. ... and to coordinate them to solve complex problems. ...doi:10.1109/tsmcc.2006.874022 fatcat:dgqbnflcqbcftdeuhbpzyf2uoq
Using a simplified and nonexhaustive approach, we can observe the following: ... of a software system solution (referred to as UP, SP and BP in the paper) are unified, with the goal to optimally derive the behaviour of the system from its structure. ... This is a synthesis that has anticipated the revolutionary paradigm that is represented by object orientation. Is object orientation a paradigm without problems? ...doi:10.15837/ijccc.2013.5.6 fatcat:v5wqffrkn5hnjfz3j4qzz7gn2y
It focusses on order sequencing and machine allocation in a real time production environment. As part of an application-oriented research project, a use case is referenced. ... It focusses on order sequencing and machine allocation in a real time production environment. As part of an application-oriented research project, a use case is referenced. ... Acknowledgements The authors acknowledge the financial support by the Federal Ministry of Education and Research of Germany (BMBF) within the funding of projects on the topic of "Application of artificial ...doi:10.1016/j.procs.2021.01.348 fatcat:wrx32tyxeneaxfv3j3q44zsj6i
This paper presents a methodology to combine true object-oriented design of the compiler/CAD tool with an object-oriented hardware design methodology in C++. ... The resulting system provides all the benefits of object-oriented design to the compiler/CAD tool designer and to the hardware designer/programmer. ... ACKNOWLEDGMENT The authors would like to acknowledge the contributions of many students, current and past, to the JHDL system. ...doi:10.1109/92.920835 fatcat:qm53w6pj6fa3fjxnskuqjq6xta
Proceedings of the 24th international conference on Software engineering - ICSE '02
The approach taken is specifically designed to overcome the existing scalability problems caused by many design and implementation variants of design pattern instances. ... Finally, the paper gives some results and experiences about the application of the approach to the Java AWT and JGL libraries in comparison to other approaches. ... To recover an object-oriented model from other languages, identifying a class may require a complex graph transformation rule as proposed e.g. in Rigi [MOTU93] . ...doi:10.1145/581380.581382 fatcat:g3pnxynpmvfr5a2l6rmpwcf3mm
The approach taken is specifically designed to overcome the existing scalability problems caused by many design and implementation variants of design pattern instances. ... Finally, the paper gives some results and experiences about the application of the approach to the Java AWT and JGL libraries in comparison to other approaches. ... To recover an object-oriented model from other languages, identifying a class may require a complex graph transformation rule as proposed e.g. in Rigi [MOTU93] . ...doi:10.1145/581339.581382 dblp:conf/icse/NiereSWWW02 fatcat:xrlqy4gq7nhpzdmlqwcqtcv5ve
« Previous Showing results 1 — 15 out of 26,660 results