1950 search results - page 126 / 390 » Lambda-Free Logical Frameworks |
178
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can a...
171
click to vote
FCT
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
168
click to vote
ACSC
2002
IEEE
15 years 11 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
195
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
169
click to vote
AAAI
2008
15 years 9 months ago
2008
Recent research in nonmonotonic logic programming has focused on program equivalence relevant for program optimization and modular programming. So far, most results concern the st...