1151 search results - page 186 / 231 » Collaborative Programming: Applications of Logic and Automat... |
ILP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
130
click to vote
TLDI
2010
ACM
14 years 12 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
Fair allocation of payoffs among cooperating players who can form various coalitions of differing utilities is the classic game theoretic “coalition problem.” Shapley’s va...
ICLP
1997
Springer
15 years 3 months ago
1997
Springer
We introduce and explore a property of deductive data bases with updates wich we call total homeostaticity, and which substantially generalizes the following their property: ”fo...
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...