Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gerhard Lakemeyer. Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. In AAAI. pages 531-537, 1990.

The following publications are possibly variants of this publication:

Limited Reasoning in First-Order Knowledge Bases with Full IntrospectionGerhard Lakemeyer. ai, 84(1-2):209-255, 1996. [doi]

On Perfect Introspection With Quantifying-inGerhard Lakemeyer. tark 1992: 199-213

On perfect introspection with Quantifying-inGerhard Lakemeyer. FUIN, 17(1-2):75-98, 1992.

A Tractable Knowledge Representation Service with Full IntrospectionGerhard Lakemeyer, Hector J. Levesque. tark 1988: 145-159

Limited Reasoning in First-Order Knowledge BasesGerhard Lakemeyer. ai, 71(2):213-255, 1994.

Models of belief for decidable reasoning in incomplete knowledge basesGerhard Lakemeyer. PhD thesis, University of Toronto, Canada, 1990. [doi]

runs on WebDSL