3973 search results - page 235 / 795 » Records for Logic Programming |
133
click to vote
INAP
2001
Springer
15 years 9 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
124
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
252
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
145
click to vote
AMI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
162
click to vote
CPAIOR
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...