4126 search results - page 250 / 826 » Set based logic programming |
162
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
159
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
167
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
159
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We are interested in learning programs for multiple related tasks given only a few training examples per task. Since the program for a single task is underdetermined by its data, ...
322
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...