87,200 Hits in 5.4 sec

Page 1390 of Linguistics and Language Behavior Abstracts: LLBA Vol. 27, Issue 3 [page]

1993 Linguistics and Language Behavior Abstracts: LLBA  
Foundations for Processing Language with Logical Types and Active Constraints, Chpt in NATURAL LANGUAGE UNDERSTAND- ING AND LOGIC PROGRAMMING, III, Brown, Charles Grant, & Koch, Gregers (Eds), Amsterdam  ...  Such a system has been created by combining the principles of type con- struction systems with the expressive power of the constraint logic pro- gramming framework.  ... 

Guest editor's introduction

Pascal Van Hentenryck
1993 The Journal of Logic Programming  
is particularly appropriate for a variety of applications such as natural language and symbolic processing.  ...  Finally, CLP opens new horizons and application areas for logic programming.  ...  is particularly appropriate for a variety of applications such as natural language and symbolic processing.  ... 
doi:10.1016/0743-1066(93)90042-f fatcat:qvzctk4dyjbaxpxzoggj6awny4

An Open Platform for Business Process Modeling and Verification [chapter]

Antonio De Nicola, Michele Missikoff, Maurizio Proietti, Fabrizio Smith
2010 Lecture Notes in Computer Science  
properties and methods for querying BP repositories, which can be supported by tools already developed in the area of logic programming.  ...  The BPAL language for business process modeling and verification is described in Section 3.  ...  PSL (Process Specification Language) [6] , defines a logic-based neutral representation for manufacturing processes.  ... 
doi:10.1007/978-3-642-15364-8_6 fatcat:kbvkyxzjkzbrldajseliiobrea

SBVR vs OCL: A Comparative Analysis of Standards [article]

Imran Sarwar Bajwa, Behzad Bordbar, Mark Lee
2013 arXiv   pre-print
Business constraints/rules can be written using SBVR (Semantics of Business Vocabulary and Rules) while OCL (Object Constraint Language) is the well-known medium for writing software constraints.  ...  In software modelling, the designers have to produce UML visual models with software constraints.  ...  • OCL is not a programming language and it is not possible to write program logic or flow control in OCL. • It is not possible to invoke processes or activate nonquery operations within OCL because OCL  ... 
arXiv:1304.7346v1 fatcat:nsljt7qx55fuve4ybcc6lkvkqu

Introduction to the 34-th international conference on logic programming special issue

2018 Theory and Practice of Logic Programming  
This special issue of Theory and Practice of Logic Programming (TPLP) contains the regular papers accepted for presentation at the 34-th International Conference on Logic Programming (ICLP 2018), held  ...  designed the web pages; Paul Fodor and Neda Saeedloei, who jointly chaired the Doctoral Program of ICLP; and  ...  gratitude to the full ICLP 2018 organization committee, namely Marco Gavanelli who acted as general chairs; Enrico Pontelli, who served as workshop chair; Enrico Pontelli, who acted as publicity chair and  ... 
doi:10.1017/s1471068418000352 fatcat:npib57qunzgzvhp4grx2fsavae

Logic programming in the context of multiparadigm programming: the Oz experience [article]

Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2002 arXiv   pre-print
A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease.  ...  Oz is a multiparadigm language that supports logic programming as one of its major paradigms.  ...  Higher-order logic programming. Vol. 5 of (Gabbay et al., 1995) . Chap. 8. Nikhil, Rishiyur S. 1994a (July). ID language reference manual version 90.1. Tech. rept. Memo 284-2.  ... 
arXiv:cs/0208029v1 fatcat:aef4drwtkfd4tcyknziqfegbja

Functional Logic Programming: From Theory to Curry [chapter]

Michael Hanus
2013 Lecture Notes in Computer Science  
This paper surveys the foundations of functional logic programming that are relevant for Curry, the main features of Curry, and extensions and applications of Curry and functional logic programming.  ...  The declarative multi-paradigm language Curry is influenced by recent advances in the foundations and implementation of functional logic languages.  ...  Furthermore, I would like to thank Sergio Antoy, Bernd Braßel, and Germán Vidal for their constructive remarks to improve the readability of the paper.  ... 
doi:10.1007/978-3-642-37651-1_6 fatcat:bi7s3wzbvbh5xf57gsox7uhhjq

Logic programming in the context of multiparadigm programming: the Oz experience

2003 Theory and Practice of Logic Programming  
Some knowledge of traditional logic programming (with Prolog or concurrent logic languages) is assumed. P. Van Roy et al. guards, active objects, and sophisticated control of the search process.  ...  A multiparadigm language is designed to support different programming paradigms (logic, functional, constraint, object-oriented, sequential, concurrent, etc.) with equal ease.  ...  We thank Krzysztof Apt, Manuel Hermenegildo, Kazunori Ueda, and others for their questions and comments at the ICLP99 tutorial where the original talk was given.  ... 
doi:10.1017/s1471068403001741 fatcat:opfvkb5i3vellfgk7s3mozjo7i

Design, Analysis and Reasoning about Tools: Abstracts from the Third Workshop

Flemming Nielson
1993 DAIMI Report Series  
Common properties, which seem to have called for a full Hoare logic beyond the reach of type checking and decidability, can now be expressed in a uniform descriptive language integrating types and program  ...  Also a type reconstruction algorithm with constraint solution "on the fly" has been developed for the strictness analysis.  ... 
doi:10.7146/dpb.v22i457.6930 fatcat:qqr3ybpuqrc3fmwjlsamx3kuwu

Natural language processing and logic programming

Veronica Dahl
1994 The Journal of Logic Programming  
This paper examines the main points of contact between logic programming and natural language processing, and covers some of the important issues that arise using logic programming techniques in natural  ...  language processing.  ...  The attraction in using logic programming for processing language is threefold.  ... 
doi:10.1016/0743-1066(94)90036-1 fatcat:txdqkmwyvjgmfjtn6yt2dpwr4a

Web Components and the Semantic Web

Máire Casey, Claus Pahl
2003 Electronical Notes in Theoretical Computer Science  
We investigate Web component engineering activites that are crucial for the development, composition, and deployment of components on the Web.  ...  Focussing on Web component composition we develop description and reasoning techniques that support a component developer in the composition activities, focussing here on matching.  ...  We propose to combine Semantic Web techniques -ontologies and underlying logics [4] with techniques widely used in foundations of software engineering -process calculi and software architecture techniques  ... 
doi:10.1016/s1571-0661(04)80741-2 fatcat:ztzhqdkdenaqdgunbujfrnceci


Alexei A. Morozov, Olga S. Sushkova, Alexander F. Polupanov
2017 Radioelectronics Nanosystems Information Technologies  
The logic-based approach to the intelligent video surveillance allows easy definition of people complex behaviour in terms of simpler activities and postures.  ...  An approach to the 3D intelligent video surveillance based on the means of the objectoriented logic programming is proposed.  ...  Kershner and Renata A. Tolmatcheva for the help in the preparation of 3D video samples and Angelos Barmpoutis for his J4K [59] library that was used for the data collection.  ... 
doi:10.17725/rensit.2017.09.205 fatcat:p4qzuh44abgnhdwgi4i6beug7a

Un estudio de los cálculos computacionales usados en aplicaciones musicales

Gerardo M. Sarria M.
1969 Ingeniería y Competitividad  
The intuitive "programming language" feeling and the mathematical foundations of process calculi allow building and analyzing compositions written in MWSCCS.  ...  Faust (Gaudrain and Orlarey, 2003 ) is a programming language designed for realtime sound processing and synthesizing.  ... 
doi:10.25100/iyc.v15i2.2598 fatcat:zpsa3sdd3nbyfcwtflexpewunu

A Declarative Framework for Constrained Search Problems in Manufacturing [chapter]

Sitek Pawek, Wikarek Jaroslaw
2008 Automation and Robotics  
using 0-1 variables), their computing time in the presence of many constraints is very long (due to combinatorial explosion), and they cannot process various constraints applied to the main problem.  ...  However, the use of procedural languages brings the following well known disadvantages: the development time of the programs is very long and the programs are very complex, hence difficult to maintain  ...  According to a different definition, a program is 'declarative' if it is written in a purely functional programming language, logic programming language, or constraint programming language.  ... 
doi:10.5772/6107 fatcat:h2skdpbe2vbpnpsjrhnas6ghgq

Representation of Business Rules in UML&OCL Models for Developing Information Systems [chapter]

Lina Nemuraite, Lina Ceponiene, Gediminas Vedrickas
2008 Lecture Notes in Business Information Processing  
In practice, business rules often are managed by software developers and system analysts; more straightforward and safer processes for capturing and modifying business rules are related with visual business  ...  process models.  ...  RuleML [30] , designed for interchange between different languages and types of rules, is based on the construct common for all types of rules -logical sentence (or logical formula).  ... 
doi:10.1007/978-3-540-89218-2_14 fatcat:vxglob2cx5aqfhr3ftgbslmusi
« Previous Showing results 1 — 15 out of 87,200 results