81 search results - page 7 / 17 » Extending Homeomorphic Embedding in the Context of Logic Pro... |
AI
2010
Springer
13 years 8 months ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
ENTCS
2002
13 years 8 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
LANMR
2004
13 years 10 months ago
2004
In this paper some theoretical results in ASP are discussed in the context of application development. An application of ASP in collaborative learning is presented as a motivation....
BIRTHDAY
1999
Springer
14 years 27 days ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...