#### Filter Results:

- Full text PDF available (1)

#### Publication Year

1989

2015

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

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Robert G. Jeroslow, Jinchang Wang
- Annals of Mathematics and Artificial Intelligence
- 1990

We describe an algorithm for the satisfiability problem of prepositional logic, which is significantly more efficient for this problem than is a general mixed-integer programming code. Our algorithm is a list processor using a tree-search method, and is based on Loveland's form of the algorithm of Davis and Putnam.

- Robert G. Jeroslow, R. Kipp Martin, Ronald L. Rardin, Jinchang Wang
- Math. Program.
- 1992

- Robert G. Jeroslow, Jinchang Wang
- INFORMS Journal on Computing
- 1989

- Jinchang Wang, Thomas Kämpke
- Computers & OR
- 2004

- Jinchang Wang, John H. Vande Vate
- Annals of Mathematics and Artificial Intelligence
- 1990

An expert system applies the deduction rules in its knowledge base to a set of initial data to reach a conclusion. When the initial data are insufficient, the expert system may ask the user for additional information. This paper analyzes effectiveness and efficiency of question-asking strategies in expert systems with Horn clause knowledge bases. An… (More)

- Ellen Kraft, Jinchang Wang
- IJT
- 2010

This article shows the results of a study of the cyberbullying and cyberstalking experiences of students at a public liberal arts college. A survey was administered online to sophomores, juniors, seniors, and graduate students at the college. The prevalence rates were 10% for cyberbullying and 9% for cyberstalking, shown in the sample of 471 respondents.… (More)

- Jinchang Wang
- Annals of Mathematics and Artificial Intelligence
- 2005

In many applications of knowledge-based systems, initially given data are often not sufficient to reach a conclusion and more data are needed. A question-selection algorithm is to identify missing information and select proper questions to ask. We present a question-selection algorithm for propositional knowledge-based systems, which aims at asking more… (More)

- Jinchang Wang, Evangelos Triantaphyllou
- Annals of Mathematics and Artificial Intelligence
- 1996

In many applications of knowledge based systems, the initial data are insufficient to fulfill inference. In that case, knowledge based systems ask users questions in order to acquire more information. When and what to ask is determined by a question-asking strategy. This paper deals with question-asking strategies for a Horn system in which the response… (More)

- Jinchang Wang, Thomas Kämpke
- J. Comb. Optim.
- 2006

- Jinchang Wang
- Satisfiability Problem: Theory and Applications
- 1996