339 search results - page 56 / 68 » Constraint Functional Logic Programming for Origami Construc... |
211
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
114
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...
JASSS
1998
15 years 27 days ago
1998
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
140
click to vote
AAMAS
1999
Springer
15 years 27 days ago
1999
Springer
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
111
click to vote
AUTOMATICA
2005
15 years 1 months ago
2005
This paper proposes a quadratic programming (QP) approach to robust model predictive control (MPC) for constrained linear systems having both model uncertainties and bounded distu...