636 search results - page 63 / 128 » Operational Semantics for Functional Logic Languages |
157
Voted
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
140
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
129
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
157
Voted
ICLP
2010
Springer
15 years 2 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
115
click to vote
AAAI
2000
15 years 5 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...