Skip to search formSkip to main contentSkip to account menu

Declarative programming

Known as: Declarative language, Declarative programming language, Declarative program 
In computer science, declarative programming is a programming paradigm—a style of building the structure and elements of computer programs—that… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
AMPLAdaptive grammarAlma-0Analytica

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Enhancing Declare Maps Based on Event Correlations
Traditionally, most process mining techniques aim at discovering procedural process models (e.g., Petri nets, BPMN, and EPCs… 
2007
2007
Fading scripts in computer-supported collaborative learning: the role of distributed monitoring
Computer-based collaboration scripts constitute a form of distributed control and disburden the learners from the regulation of… 
Highly Cited
2006
Highly Cited
2006
Recovery Policies for Enhancing Web Services Reliability
Web services are gaining acceptance as a standards-based approach for integrating loosely coupled services often distributed over… 
2006
2006
Managing Large Networks of Virtual Machines
As the number of available virtualization tools and their popularity continues to grow, the way in which virtual machines can be… 
2002
2002
Using Logic Programming to Detect Activities in Pervasive Healthcare
In this experience paper we present a case study in using logic programming in a pervasive computing project in the healthcare… 
2000
2000
Device Database Systems
3UDYHHQ 6HVKDGUL LV FXUUHQWO\ RQ OHDYH DW 0LFURVRIW 0LFURVRIW 2QH 0LFURVRIW :D\ 5HGPRQG :$ SUDYVH#PLFURVRIW FRP $EVWUDFW In the… 
1996
1996
ROL: A Deductive Object Base Language
Highly Cited
1992
Highly Cited
1992
A Language and Protocol to Support Intelligent Agent Interoperability
We describe a language and protocol intended to support interoperability among intelligent agents in a distributed application… 
1989
1989
A Methodology and Tool for Knowledge Acquisition in Keats-2
1988
1988
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)