3440 search results - page 481 / 688 » Logics For Context-Free Languages |
206
click to vote
BPM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
190
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
182
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
203
click to vote
SIS
2007
15 years 8 months ago
2007
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
197
click to vote
AAAI
2004
15 years 8 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...