Artykuły w czasopismach: „Declarative programming”

1

Crossley, John N. "Declarative programming". Electronic Notes in Theoretical Computer Science 61 (styczeń 2002): 20. http://dx.doi.org/10.1016/s1571-0661(04)00302-0.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

BáRány, Vince, Balder Ten Cate, Benny Kimelfeld, Dan Olteanu i Zografoula Vagena. "Declarative Probabilistic Programming with Datalog". ACM Transactions on Database Systems 42, nr 4 (13.11.2017): 1–35. http://dx.doi.org/10.1145/3132700.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Hanus, Michael. "Reduction Strategies for Declarative Programming". Electronic Notes in Theoretical Computer Science 57 (grudzień 2001): 184–91. http://dx.doi.org/10.1016/s1571-0661(04)00273-7.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

Komorowski, Henryk Jan. "A declarative logic programming environment". Journal of Systems and Software 8, nr 2 (marzec 1988): 77–89. http://dx.doi.org/10.1016/0164-1212(88)90002-7.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

Lloyd, J. W., i K. S. Ng. "Declarative programming for agent applications". Autonomous Agents and Multi-Agent Systems 23, nr 2 (8.06.2010): 224–72. http://dx.doi.org/10.1007/s10458-010-9138-1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Schor, Marshall I. "Declarative Knowledge Programming: Better Than Procedural?" IEEE Expert 1, nr 1 (kwiecień 1986): 36–43. http://dx.doi.org/10.1109/mex.1986.5006497.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

Louridas, Panagiotis. "Declarative GUI Programming in Microsoft Windows". IEEE Software 24, nr 4 (lipiec 2007): 16–19. http://dx.doi.org/10.1109/ms.2007.105.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

Lloyd, John W. "Declarative programming for artificial intelligence applications". ACM SIGPLAN Notices 42, nr 9 (październik 2007): 123–24. http://dx.doi.org/10.1145/1291220.1291152.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Finkelstein, Stacy E., Peter Freyd i James Lipton. "A new framework for declarative programming". Theoretical Computer Science 300, nr 1-3 (maj 2003): 91–160. http://dx.doi.org/10.1016/s0304-3975(01)00308-5.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

Echahed, Rachid, i Wendelin Serwe. "Defining Actions in Concurrent Declarative Programming". Electronic Notes in Theoretical Computer Science 64 (wrzesień 2002): 176–94. http://dx.doi.org/10.1016/s1571-0661(04)80350-5.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

11

HOFSTEDT, PETRA, i PETER PEPPER. "Integration of declarative and constraint programming". Theory and Practice of Logic Programming 7, nr 1-2 (styczeń 2007): 93–121. http://dx.doi.org/10.1017/s1471068406002833.

Pełny tekst źródła

Streszczenie:

AbstractCombining a set of existing constraint solvers into an integrated system of cooperating solvers is a useful and economic principle to solve hybrid constraint problems. In this paper we show that this approach can also be used to integrate different language paradigms into a unified framework. Furthermore, we study the syntactic, semantic and operational impacts of this idea for the amalgamation of declarative and constraint programming.

Style APA, Harvard, Vancouver, ISO itp.

12

Chen, Adam, Parisa Fathololumi, Eric Koskinen i Jared Pincus. "Veracity: declarative multicore programming with commutativity". Proceedings of the ACM on Programming Languages 6, OOPSLA2 (31.10.2022): 1726–56. http://dx.doi.org/10.1145/3563349.

Pełny tekst źródła

Streszczenie:

There is an ongoing effort to provide programming abstractions that ease the burden of exploiting multicore hardware. Many programming abstractions ( e.g. , concurrent objects, transactional memory, etc.) simplify matters, but still involve intricate engineering. We argue that some difficulty of multicore programming can be meliorated through a declarative programming style in which programmers directly express the independence of fragments of sequential programs. In our proposed paradigm, programmers write programs in a familiar, sequential manner, with the added ability to explicitly express the conditions under which code fragments sequentially commute. Putting such commutativity conditions into source code offers a new entry point for a compiler to exploit the known connection between commutativity and parallelism. We give a semantics for the programmer’s sequential perspective and, under a correctness condition, find that a compiler-transformed parallel execution is equivalent to the sequential semantics. Serializability/linearizability are not the right fit for this condition, so we introduce scoped serializability and show how it can be enforced with lock synthesis techniques. We next describe a technique for automatically verifying and synthesizing commute conditions via a new reduction from our commute blocks to logical specifications, upon which symbolic commutativity reasoning can be performed. We implemented our work in a new language called Veracity, implemented in Multicore OCaml. We show that commutativity conditions can be automatically generated across a variety of new benchmark programs, confirm the expectation that concurrency speedups can be seen as the computation increases, and apply our work to a small in-memory filesystem and an adaptation of a crowdfund blockchain smart contract.

Style APA, Harvard, Vancouver, ISO itp.

13

Hewett, Rattikorn, Phongphun Kijsanayothin, Stephanie Bak i Marry Galbrei. "Cybersecurity policy verification with declarative programming". Applied Intelligence 45, nr 1 (26.01.2016): 83–95. http://dx.doi.org/10.1007/s10489-015-0749-8.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

14

Guns, Tias. "Declarative pattern mining using constraint programming". Constraints 20, nr 4 (14.09.2015): 492–93. http://dx.doi.org/10.1007/s10601-015-9220-z.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

Kosky, Anthony. "Declarative Languages for Advanced Information Technologies". Journal of Information Technology 3, nr 2 (czerwiec 1988): 110–18. http://dx.doi.org/10.1177/026839628800300208.

Pełny tekst źródła

Streszczenie:

In recent times there has been a great increase in interest in declarative programming languages, which are based on sound mathematical formalisms, independent of the machinery on which they are implemented. Such languages are easier to understand and debug, and have advantages with regard to program transformation and verification, and parallel implementation over conventional, imperative languages. In this essay I will discuss the various paradigms available for declarative programming, and also the object orientated programming paradigm, and put forward various ideas that I feel are of particular interest.

Style APA, Harvard, Vancouver, ISO itp.

16

Kruglov, Leonid, i Yury Brodsky. "MODEL-ORIENTED PROGRAMMING". Proceedings of CBU in Natural Sciences and ICT 2 (24.10.2021): 63–67. http://dx.doi.org/10.12955/pns.v2.154.

Pełny tekst źródła

Streszczenie:

The problem of complex multi-component system processing arises in many fields of science and engineering. A system can be described in terms of its components, behavior, and interaction. This work proposes a new declarative Turing complete “model-oriented” programming paradigm based on the concept of “model-component” - a complex structure with well-defined characteristics and behavior, and no external methods. The set of model-components is closed under the union operation of model-components into “model-complex”. The proposed approach allows the program to describe the complex system and behavior of its components in a declarative way, possesses a higher level of encapsulation than the object-oriented paradigm, involves a reduced amount of imperative programming, and is naturally focused on parallel computations.

Style APA, Harvard, Vancouver, ISO itp.

17

Gebser, Martin, Tomi Janhunen i Jussi Rintanen. "Declarative encodings of acyclicity properties". Journal of Logic and Computation 30, nr 4 (8.09.2015): 923–52. http://dx.doi.org/10.1093/logcom/exv063.

Pełny tekst źródła

Streszczenie:

Abstract Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such structural properties is non-obvious and can be challenging indeed. In this article, we take a number of acyclicity properties into consideration and investigate various logic-based approaches to encode them. We use answer set programming as the primary representation language but also consider mappings to related formalisms, such as propositional logic, difference logic and linear programming. We study the compactness of encodings and the resulting computational performance on benchmarks involving acyclic or tree structures.

Style APA, Harvard, Vancouver, ISO itp.

18

Golemanova, Emilia, i Tzanko Golemanov. "Genetic Algorithms in a Visual Declarative Programming". WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS 19 (21.06.2022): 138–52. http://dx.doi.org/10.37394/23209.2022.19.14.

Pełny tekst źródła

Streszczenie:

mperative languages like Java, C++, and Python are mostly used for the implementation of Genetic algorithms (GA). Other programming paradigms are far from being an object of study. The paper explores the advantages of a new non-mainstream programming paradigm, with declarative and nondeterministic features, in the implementation of GA. Control Network Programming (CNP) is a visual declarative style of programming in which the program is a set of recursive graphs, that are graphically visualized and developed. The paper demonstrates how the GA can be implemented in an automatic, i.e. non-procedural (declarative) way, using the built-in CNP inference mechanism and tools for its control. The CNP programs are easy to develop and comprehend, thus, CNP can be considered a convenient programming paradigm for efficient teaching and learning of nondeterministic, heuristic, and stochastic algorithms, and in particular GA. The outcomes of using CNP in delivering a course on Advanced Algorithm Design are shown and analyzed, and they strongly support the positive results in teaching when CNP is applied.

Style APA, Harvard, Vancouver, ISO itp.

19

STAVYTSKYI, Pavlo, i Viktoriia VOITKO. "METHOD OF THE DECLARATIVE METAPROGRAMMING BASED ON DOMAIN-SPECIFIC PROGRAMMING LANGUAGES". Herald of Khmelnytskyi National University. Technical sciences 311, nr 4 (sierpień 2022): 249–55. http://dx.doi.org/10.31891/2307-5732-2022-311-4-249-255.

Pełny tekst źródła

Streszczenie:

A concept of declarative metaprogramming which focuses on program code generation is considered. The method is based on using domain-specific languages that are implemented by means of existing general-purpose programming languages. Since metaprogramming is based on using programs that produce other programs, the declarative approach means that the input and the output program code must be as close as possible in terms of syntax or ideally identical. In order to generate a program code, it is required to write templates that hold the exact structure of a resulting generated code but contain placeholders for specifics of concrete generated instances. Such an approach is highly useful when there is a need of generating a large number of similar program files by structure but different in details. The simplest way to define such templates would be just by constructing them from string literals by injecting the specific details using a string interpolation mechanism for example. However, such an approach does not provide type safety and compile time validation, so there is no guarantee the generated code is a correct and compilable program. The domain-specific language, on the other hand, replicates all the syntactic constructions of the target programming language so that, the resulting generated code would be the same as code written by the programmer. Moreover, having preserved all the syntax validations by the compiler on which the domain-specific language is based. The paper considers a concrete example of a code generator for a Starlark programming language, a dialect of Python while the domain specific-language is based on Kotlin language. Using the toolset of Kotlin, such a domain-specific language replicates such Starlark constructs as variable assignments, list comprehensions, library functions, slices, etc with a required level of customizability.

Style APA, Harvard, Vancouver, ISO itp.

20

Watson, I., V. Woods, P. Watson, R. Banach, M. Greenberg i J. Sargeant. "Flagship: a parallel architecture for declarative programming". ACM SIGARCH Computer Architecture News 16, nr 2 (17.05.1988): 124–30. http://dx.doi.org/10.1145/633625.52415.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

21

Mens, Tom, Roel Wuyts, Kris De Volder i Kim Mens. "Declarative Meta Programming to Support Software Development". ACM SIGSOFT Software Engineering Notes 28, nr 2 (marzec 2003): 1. http://dx.doi.org/10.1145/638750.638770.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

22

Myers, Brad A., Dario A. Giuse i Brad Vander Zanden. "Declarative programming in a prototype-instance system". ACM SIGPLAN Notices 27, nr 10 (31.10.1992): 184–200. http://dx.doi.org/10.1145/141937.141953.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

Sivaramakrishnan, KC, Gowtham Kaki i Suresh Jagannathan. "Declarative programming over eventually consistent data stores". ACM SIGPLAN Notices 50, nr 6 (7.08.2015): 413–24. http://dx.doi.org/10.1145/2813885.2737981.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

24

Rossi, Gianfranco. "Set-based Nondeterministic Declarative Programming in Singleton". Electronic Notes in Theoretical Computer Science 76 (listopad 2002): 216–32. http://dx.doi.org/10.1016/s1571-0661(04)80795-3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

25

Bakay, Á., L. Madarász, A. Hinsenkamp, Z. Papp i T. P. Dobrowiecki. "Declarative Programming Tools for Fermentor Control System". IFAC Proceedings Volumes 23, nr 8 (sierpień 1990): 293–97. http://dx.doi.org/10.1016/s1474-6670(17)51839-x.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

26

DAGNINO, FRANCESCO, DAVIDE ANCONA i ELENA ZUCCA. "Flexible coinductive logic programming". Theory and Practice of Logic Programming 20, nr 6 (22.09.2020): 818–33. http://dx.doi.org/10.1017/s147106842000023x.

Pełny tekst źródła

Streszczenie:

AbstractRecursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called flexible coinduction, to express a variety of intermediate interpretations, necessary in some cases to get the correct meaning. We provide a detailed formal account of an extension of logic programming supporting flexible coinduction. Syntactically, programs are enriched by coclauses, clauses with a special meaning used to tune the interpretation of predicates. As usual, the declarative semantics can be expressed as a fixed point which, however, is not necessarily the least, nor the greatest one, but is determined by the coclauses. Correspondingly, the operational semantics is a combination of standard SLD resolution and coSLD resolution. We prove that the operational semantics is sound and complete with respect to declarative semantics restricted to finite comodels.

Style APA, Harvard, Vancouver, ISO itp.

27

Rizzo, Nicola, i Agostino Dovier. "3coSoKu and its declarative modeling". Journal of Logic and Computation 32, nr 2 (18.01.2022): 307–30. http://dx.doi.org/10.1093/logcom/exab086.

Pełny tekst źródła

Streszczenie:

Abstract In this paper, we analyze the physical puzzle IcoSoKu, a game about placing some given triangular tiles on the faces of an icosahedron in order to fill the capacities of its vertices, and we propose its generalization called 3coSoKu, admitting an arbitrary playing field with triangular faces, arbitrary capacities and an arbitrary set of triangular tiles. First, we prove the strong NP-completeness of 3coSoKu, even when the playing field is a convex polyhedron with equilateral triangles as faces. Second, we encode 3coSoKu both in the constraint modeling language MiniZinc and in the logic programming paradigm known as Answer Set Programming and we develop a visual tool for an accessible interface to the solver. Finally, we use our encodings to verify experimentally that every initial state for IcoSoKu admits a solution.

Style APA, Harvard, Vancouver, ISO itp.

28

COSTANTINI, STEFANIA. "SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE". International Journal of Foundations of Computer Science 01, nr 03 (wrzesień 1990): 233–47. http://dx.doi.org/10.1142/s0129054190000175.

Pełny tekst źródła

Streszczenie:

This paper presents the declarative and procedural semantics of Reflective Prolog, a new logic language able to represent metaknowledge and use it in the proof process via an extended resolution procedure including forms of implicit reflection. The declarative semantics of a Reflective Prolog definite program is provided in terms of the Least Reflective Herbrand Model of the program, characterized by means of a suitable mapping. The extended resolution is then shown to be sound and complete with respect to the Least Reflective Herband Model.

Style APA, Harvard, Vancouver, ISO itp.

29

WIKAREK, Jarosław, Paweł SITEK i Mieczysław JAGODZIŃSKI. "A DECLARATIVE APPROACH TO SHOP ORDERS OPTIMIZATION". Applied Computer Science 15, nr 4 (30.12.2019): 5–15. http://dx.doi.org/10.35784/acs-2019-25.

Pełny tekst źródła

Streszczenie:

The paper presents the problem of material requirements planning with optimization of load distribution between work centers and workers’ groups. Moreover, it discusses the computational example for shop orders optimization. The data for this example were taken from the relational database. The method of Constraint Logic Programming (CLP) for shop orders optimization has been suggested. Using Constraint Logic Programming, the constraints may be directly introduced to the problem declaration, which is equivalent to the source code of the program. The ECLiPSe-CLP software system has been presented. It allows for solving optimization problems concerning dimensions greater than in the case of the professional mathematical programming solver “LINGO”. The application of ECLiPSe-CLP in accessing data from relational databases has been presented.

Style APA, Harvard, Vancouver, ISO itp.

30

Calimeri, Francesco, Giovambattista Ianni, Thomas Krennwallner i Francesco Ricca. "The Answer Set Programming Competition". AI Magazine 33, nr 4 (21.12.2012): 114. http://dx.doi.org/10.1609/aimag.v33i4.2448.

Pełny tekst źródła

Streszczenie:

The Answer Set Programming (ASP) Competition is a biannual event for evaluating declarative knowledge representation systems on hard and demanding AI problems. The competition consists of two main tracks: the ASP system track and the model and solve track. The traditional system track compares dedicated answer set solvers on ASP benchmarks, while the model and solve track invites any researcher and developer of declarative knowledge representation systems to participate in an open challenge for solving sophisticated AI problems with their tools of choice. This article provides an overview of the ASP competition series, reviews its origins and history, giving insights on organizing and running such an elaborate event, and briefly discusses about the lessons learned so far.

Style APA, Harvard, Vancouver, ISO itp.

31

Keane, John A. "An overview of the Flagship system". Journal of Functional Programming 4, nr 1 (styczeń 1994): 19–45. http://dx.doi.org/10.1017/s0956796800000927.

Pełny tekst źródła

Streszczenie:

AbstractThe Flagship Project1 was a research collaboration between the University of Manchester, Imperial College London and International Computers Ltd. The project was unusual in that it aimed to produce a complete computing system based on a declarative programming style. Three areas of a declarative system were addressed: (1) programming languages and programming environments; (2) the machine architecture and computational models; and (3) the software environment. This overview paper discusses each of these areas, the intention being to present the project as a coherent whole.

Style APA, Harvard, Vancouver, ISO itp.

32

HANUS, MICHAEL, i SVEN KOSCHNICKE. "An ER-based framework for declarative web programming". Theory and Practice of Logic Programming 14, nr 3 (30.10.2012): 269–91. http://dx.doi.org/10.1017/s1471068412000385.

Pełny tekst źródła

Streszczenie:

AbstractWe describe a framework to support the implementation of web-based systems intended to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore, the implementation ensures the consistency of the database w.r.t. the data dependencies specified in the ER model, i.e., updates initiated by the user cannot lead to an inconsistent state of the database. In order to generate a high-level declarative implementation that can be easily adapted to individual customer requirements, the framework exploits previous works on declarative database programming and web user interface construction in Curry.

Style APA, Harvard, Vancouver, ISO itp.

33

Norilo, Vesa. "Kronos: A Declarative Metaprogramming Language for Digital Signal Processing". Computer Music Journal 39, nr 4 (grudzień 2015): 30–48. http://dx.doi.org/10.1162/comj_a_00330.

Pełny tekst źródła

Streszczenie:

Kronos is a signal-processing programming language based on the principles of semifunctional reactive systems. It is aimed at efficient signal processing at the elementary level, and built to scale towards higher-level tasks by utilizing the powerful programming paradigms of “metaprogramming” and reactive multirate systems. The Kronos language features expressive source code as well as a streamlined, efficient runtime. The programming model presented is adaptable for both sample-stream and event processing, offering a cleanly functional programming paradigm for a wide range of musical signal-processing problems, exemplified herein by a selection and discussion of code examples.

Style APA, Harvard, Vancouver, ISO itp.

34

Appeltauer, Malte, Robert Hirschfeld i Jens Lincke. "Declarative Layer Composition with The JCop Programming Language." Journal of Object Technology 12, nr 2 (2013): 4:1. http://dx.doi.org/10.5381/jot.2013.12.2.a4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

35

Bujosa, Andrés, i Regino Criado. "SYNTACTIC ELEMENTS OF DECLARATIVE PROGRAMMING: SYMBOLIC LINEAR EQUATIONS". Fundamenta Informaticae 25, nr 1 (1996): 39–48. http://dx.doi.org/10.3233/fi-1996-25104.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

36

Greenberg, Mark, i Viv Woods. "Flagship—a parallel reduction machine for declarative programming". Computing & Control Engineering Journal 1, nr 2 (1990): 81. http://dx.doi.org/10.1049/cce:19900022.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

37

Yan, Song Yuan. "Foundations of declarative testing in arbitrary logic programming". International Journal of Computer Mathematics 34, nr 3-4 (styczeń 1990): 145–60. http://dx.doi.org/10.1080/00207169008803872.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

38

Negreanu, Lorina. "Declarative Programming with Temporal Constraints, in the LanguageCG". Scientific World Journal 2015 (2015): 1–10. http://dx.doi.org/10.1155/2015/540854.

Pełny tekst źródła

Streszczenie:

Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the languageCG, which tackles this issue. InCG, users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in turn, be coupled with evolving environments, thus empowering users to control the environment’s evolution.CGrelies on a structure for storing temporal information, together with a dedicated query mechanism. Hence, we explore the computational complexity of our query satisfaction problem. We discuss previous implementation attempts ofCGand introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness ofCGprogram execution, using the Event-B modeling approach.

Style APA, Harvard, Vancouver, ISO itp.

39

Yuan Yan, Song. "Foundations of declarative debugging in arbitrary logic programming". International Journal of Man-Machine Studies 32, nr 2 (luty 1990): 215–32. http://dx.doi.org/10.1016/s0020-7373(05)80047-1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

40

Finkelstein, Stacy E., Peter Freyd i James Lipton. "Erratum to: “A new framework for declarative programming”". Theoretical Computer Science 311, nr 1-3 (styczeń 2004): 527. http://dx.doi.org/10.1016/j.tcs.2003.09.011.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

41

Amato, Gianluca, James Lipton i Robert McGrail. "On the algebraic structure of declarative programming languages". Theoretical Computer Science 410, nr 46 (listopad 2009): 4626–71. http://dx.doi.org/10.1016/j.tcs.2009.07.038.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

42

Savnik, Iztok, Tomaž Mohorič i Vanja Josifovski. "Extending database programming language with declarative querying facilities". Microprocessing and Microprogramming 40, nr 10-12 (grudzień 1994): 905–8. http://dx.doi.org/10.1016/0165-6074(94)90066-3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

43

Lifschitz, Vladimir. "Answer Sets and the Language of Answer Set Programming". AI Magazine 37, nr 3 (7.10.2016): 7–12. http://dx.doi.org/10.1609/aimag.v37i3.2670.

Pełny tekst źródła

Streszczenie:

Answer set programming is a declarative programming paradigm based on the answer set semantics of logic programs. This introductory article provides the mathematical background for the discussion of answer set programming in other contributions to this special issue.

Style APA, Harvard, Vancouver, ISO itp.

44

Brewka, Gerhard, Thomas Eiter i Miroslaw Truszczynski. "Answer Set Programming: An Introduction to the Special Issue". AI Magazine 37, nr 3 (7.10.2016): 5–6. http://dx.doi.org/10.1609/aimag.v37i3.2669.

Pełny tekst źródła

Streszczenie:

This editorial introduces answer set programming, a vibrant research area in computational knowledge representation and declarative programming. We give a brief overview of the articles that form this special issue on answer set programming and of the main topics they discuss.

Style APA, Harvard, Vancouver, ISO itp.

45

LOPES, NUNO P., JUAN A. NAVARRO, ANDREY RYBALCHENKO i ATUL SINGH. "Applying Prolog to develop distributed systems". Theory and Practice of Logic Programming 10, nr 4-6 (lipiec 2010): 691–707. http://dx.doi.org/10.1017/s1471068410000360.

Pełny tekst źródła

Streszczenie:

AbstractDevelopment of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. While Datalog-based languages have been actively explored for programming distributed systems, Prolog received relatively little attention in this application area so far. In this paper we present a Prolog-based programming system, called DAHL, for the declarative development of distributed systems. DAHL extends Prolog with an event-driven control mechanism and built-in networking procedures. Our experimental evaluation using a distributed hash-table data structure, a protocol for achieving Byzantine fault tolerance, and a distributed software model checker—all implemented in DAHL—indicates the viability of the approach.

Style APA, Harvard, Vancouver, ISO itp.

46

CALIMERI, FRANCESCO, GIOVAMBATTISTA IANNI i FRANCESCO RICCA. "The third open answer set programming competition". Theory and Practice of Logic Programming 14, nr 1 (6.09.2012): 117–35. http://dx.doi.org/10.1017/s1471068412000105.

Pełny tekst źródła

Streszczenie:

AbstractAnswer Set Programming (ASP) is a well-established paradigm of declarative programming in close relationship with other declarative formalisms such as SAT Modulo Theories, Constraint Handling Rules, FO(.), PDDL and many others. Since its first informal editions, ASP systems have been compared in the now well-established ASP Competition. The Third (Open) ASP Competition, as the sequel to the ASP Competitions Series held at the University of Potsdam in Germany (2006–2007) and at the University of Leuven in Belgium in 2009, took place at the University of Calabria (Italy) in the first half of 2011. Participants competed on a pre-selected collection of benchmark problems, taken from a variety of domains as well as real world applications. The Competition ran on two tracks: the Model and Solve (M&S) Track, based on an open problem encoding, and open language, and open to any kind of system based on a declarative specification paradigm; and the System Track, run on the basis of fixed, public problem encodings, written in a standard ASP language. This paper discusses the format of the competition and the rationale behind it, then reports the results for both tracks. Comparison with the second ASP competition and state-of-the-art solutions for some of the benchmark domains is eventually discussed.

Style APA, Harvard, Vancouver, ISO itp.

47

Van Hentenryck, Pascal. "Constraint logic programming". Knowledge Engineering Review 6, nr 3 (wrzesień 1991): 151–94. http://dx.doi.org/10.1017/s0269888900005798.

Pełny tekst źródła

Streszczenie:

AbstractConstraint logic programming (CLP) is a generalization of logic programming (LP) where unification, the basic operation of LP languages, is replaced by constraint handling in a constraint system. The resulting languages combine the advantages of LP (declarative semantics, nondeterminism, relational form) with the efficiency of constraint-solving algorithms. For some classes of combinatorial search problems, they shorten the development time significantly while preserving most of the efficiency of imperative languages. This paper surveys this new class of programming languages from their underlying theory, to their constraint systems, and to their applications to combinatorial problems.

Style APA, Harvard, Vancouver, ISO itp.

48

Madkour, Abdelrahman, Chris Martens, Steven Holtzen, Casper Harteveld i Stacy Marsella. "Probabilistic Logic Programming Semantics For Procedural Content Generation". Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 19, nr 1 (6.10.2023): 295–305. http://dx.doi.org/10.1609/aiide.v19i1.27525.

Pełny tekst źródła

Streszczenie:

Research in procedural content generation (PCG) has recently heralded two major methodologies: machine learning (PCGML) and declarative programming. The former shows promise by automating the specification of quality criteria through latent patterns in data, while the latter offers significant advantages for authorial control. In this paper we propose the use of probabilistic logic as a unifying framework that combines the benefits of both methodologies. We propose a Bayesian formalization of content generators as probability distributions and show how common PCG tasks map naturally to operations on the distribution. Further, through a series of experiments with maze generation, we demonstrate how probabilistic logic semantics allows us to leverage the authorial control of declarative programming and the flexibility of learning from data.

Style APA, Harvard, Vancouver, ISO itp.

49

Sinyugin, N. P. "Visual declarative-algorithmic language «InteloGraf» in rocket space technology". Informacionno-technologicheskij vestnik 14, nr 4 (30.12.2017): 156–64. http://dx.doi.org/10.21499/2409-1650-2017-4-156-164.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

50

Paramonov, A. V. "ADVANCED TOOLS OF DECLARATIVE PLC PROGRAMMING USING VISUAL MODELS". Scientific and Technical Volga region Bulletin 8, nr 5 (maj 2018): 239–41. http://dx.doi.org/10.24153/2079-5920-2018-8-5-239-241.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Artykuły w czasopismach na temat „Declarative programming”

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych