Assertion-time inference in logic-based systems.

Bernie Elfrink; Han Reichgelt; Johannes (Han) Reichgelt

Assertion-time inference in logic-based systems.

Bernie Elfrink
, Han Reichgelt
, Johannes (Han) Reichgelt

University of South Florida

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	American English
Title of host publication	Assertion-time inference in logic-based systems.
State	Published - Jan 1 1989

Disciplines

Business

Cite this

@inbook{6eb097c7ce6f4621b9f339e56ef063c7,

title = "Assertion-time inference in logic-based systems.",

author = "Bernie Elfrink and Han Reichgelt and Reichgelt, \{Johannes (Han)\}",

note = "Elfrink, B. \& Reichgelt, H. (1989). Assertion-time inference in logic-based systems. In P. Jackson, H. Reichgelt, \& F. van Harmelen, Logic-based knowledge representation. (pp: 113-141). Cambridge, MA: MIT Press.",

year = "1989",

month = jan,

day = "1",

language = "American English",

booktitle = "Assertion-time inference in logic-based systems.",

}

TY - CHAP

T1 - Assertion-time inference in logic-based systems.

AU - Elfrink, Bernie

AU - Reichgelt, Han

AU - Reichgelt, Johannes (Han)

N1 - Elfrink, B. & Reichgelt, H. (1989). Assertion-time inference in logic-based systems. In P. Jackson, H. Reichgelt, & F. van Harmelen, Logic-based knowledge representation. (pp: 113-141). Cambridge, MA: MIT Press.

PY - 1989/1/1

Y1 - 1989/1/1

UR - https://digitalcommons.usf.edu/fac_publications/2039

M3 - Chapter

BT - Assertion-time inference in logic-based systems.

ER -

Assertion-time inference in logic-based systems.

Disciplines

Other files and links

Cite this