#### Filter Results:

- Full text PDF available (5)

#### Publication Year

1981

2015

- This year (0)
- Last 5 years (1)
- Last 10 years (2)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Ehud Y. Shapiro
- IJCAI
- 1981

A framework for inductive inference in logic is presented: a Model Inference Problem is defined, and it is shown that problems of machine learning and program synthesis from examples can be… (More)

- Ehud Y. Shapiro
- ICLP
- 1982

D We investigate the complexity of derivations from logic programs, and find it closely related to the complexity of computations of alternating Turing machines. In particular, we define three… (More)

- Ehud Y. Shapiro
- POPL
- 1982

The notion of program correctness with respect to an interpretation is defined for a class of programming languages. Under this definition, if a program terminates with an incorrect output then it… (More)

- Ehud Y. Shapiro
- IJCAI
- 1983

One natural way to implement rule-based expert systems is via logic programs. The rules in such systems are usually definite clauses, or can easily be expressed as such, and the inference mechanbms… (More)

- Ehud Y. Shapiro
- SIGART Newsletter
- 1983

I was intriqued by Mahadeva Rao's paper in SIGART #82 on an algorithm for playing mastermind, and its Pascal implementation. In this note I suggest a simpler algorithm for playing mastermind, and… (More)

- Ehud Y. Shapiro
- Commun. ACM
- 1983

As part of Japan's effort to become a leader in the computer industry, the Institute for New Generation Computer Technology has launched a revolutionary ten-year plan for the development of large… (More)

Statistical sleuthing is concerned with the use of various probabilistic and statistical tools and methods to help explain or “tell the story” about some given situation. In this type of statistical… (More)

- Ehud Y. Shapiro
- IJCAI
- 1981

The abstract setting in which the system operates, and from which it derives its name, is the fol lowing the system is intially given some first order language L„ I here is some unknown model M f or… (More)

- Mike Porton, Dimitris Drikakis, Ehud Y. Shapiro, Elizabeth Surrey
- 2009 23rd IEEE/NPSS Symposium on Fusion…
- 2009

Indirect heating of neutralizer gas by the beam is believed to be responsible for the reduced neutralization efficiency encountered in positive ion neutral beam systems. This effect depends upon the… (More)

Schizophrenia is among the most debilitating of mental illnesses (NARSAD 2003). Although relatively rare, affecting less than 1% of the population, this form of psychosis is the focus of a great deal… (More)

- ‹
- 1
- ›